AP
это у haskell нормальный concurrency?
Конечно нормальный! Хочешь — прибиваешь нитки к системным. Не хочешь — зелёные плодишь. Все примитивы нужные есть, каналы, STM, вот это вот всё
Size: a a a
2021 February 24
SZ
Про него :)
Чего нет, того нет. Гил всегда костью поперек горла стоял, но ничего с ним сделать не могут.
SZ
Глазго и Хаскелль это неразделимы понятия)
Ага.
SZ
Он, кажется, в том самом универе учится.
МВ
Как создать список из Ord как тип?
МВ
type X a = Ord a => [a]
МВ
Как-то так
MK
а что ты хочешь с таким типом потом делать?
МВ
Я для примера написал
МВ
А так я хочу сделать рефакторинг. У меня есть AST - алгебраический тип. Мне это не нравится, т.к. не удобно расширять.
МВ
Уже написал пару тайп классов
МВ
Мне надо этот тип засунуть в алгебраический тип, а его в список
МВ
Вобщем, хочу ограничить generic классом в типе.
JS
Есть универы где преподают хаскелль? 😳
в России — ИТМО, ВШЭ
IK
в России — ИТМО, ВШЭ
Да и в МФТИ тоже
JS
о, здорово
IK
о, здорово
Знакомый был один, он 6 лет оттрубил в МФТИ, потом на PHD в цюрихский институт нейроинформатики поехал