Я имел ввиду хакабле чекер для школьников на Хаскеле
По пейперу и на либах
Вариантов же не так много, из тех что школьники выбирают чтобы педалить на досуге
Взять эти 43 языка побить на группы
надо с деревьев начинать классификацию
предлагаю так
Синтаксис самих языков нет смысла
что за деревья ты хотел? синтаксические?
распечатать их на карточках и играть как в карты
типа хаскель бьет haxe и т.д.
хотя для хаскеля там зоопарк будет
табличку надо едитить :)
ну в пурескрипте не совсем алгебраические :(
algebraic effects гуглятся
Всем привет. Ребята, подскажите, пожалуйста, или отправьте где почитать. Разбираюсь с кодировками в CoC. С простыми типами из Star-0 все понятно, со списками, вроде, тоже, но, допустим, есть у меня такой ADT: data WeirdList a = Nil | Cons a (WeirdList Int). Как его преобразовать в CoC?
а в чем проблема?
Кажется, написал тип и Nil (не формально вывел, а интуитивно написал на бумажке), а вот Cons не получился пока: https://paste.in.ua/2791/
