- *haskell *programming *types *kindsНаткнулся тут на работу чуваков из Microsoft Research и ещё откуда-то. Как я понял(?) по первым строчкам, предлагают ввести полиморфизм в систему type kinds в Haskell. Дальше раздела «Abstract» у меня дело не пошло, так что… я просто оставлю это здесь: reddit.com#1597981from OLENDARENKO, 6 months ago
Sergey Olendarenko (GooRoo)
C++/Haskell programmer more