Y
Size: a a a
2020 October 30
JS
Ну мне те, кто смотрел презентацию, стали предлагать FT, я – ок, тогда как это на FT сделать?
JS
ну да, на окамле местами красивее
JS
в Хаскеле другие штуки местами красивее
JS
идеальных языков нет
AT
> for :: (Declare init, SideStmt init) => init -> stmt -> expr -> block -> stmt
Это произведение получается, а не сумма... 😊
Это произведение получается, а не сумма... 😊
JS
> for :: (Declare init, SideStmt init) => init -> stmt -> expr -> block -> stmt
Это произведение получается, а не сумма... 😊
Это произведение получается, а не сумма... 😊
здесь именно произведение должно быть
JS
там в другом месте проблема. да, я не мастер в FT
Y
Вот, спасибо большое!
Но
Но
class (ArithOp op, LogicalOp op) => AssignOp op where assignOp :: op правда смущает – разве этот констрейнт не означает, что op И арифметический, И логический?AP
Вот да, где "ИЛИ"?
MK
По идее или надо инстансами делать
MK
Instance arith => assign
Instance logical => assign
Instance logical => assign
JS
Вот, спасибо большое!
Но
Но
class (ArithOp op, LogicalOp op) => AssignOp op where assignOp :: op правда смущает – разве этот констрейнт не означает, что op И арифметический, И логический?именно. это получился сопряжённый код. если данное может быть или А, или Б, это значит, что тип должен уметь работать и с А, и с Б
JS
если с обратной стороны смотреть, сумма данных превращается в произведение обработчиков этих данных
JS
Матчить только пока не понимаю как
если в FT, то инстансами
JS
что-то много текста получается
https://gist.github.com/cblp/815303e496c80575f2ce9a61f5eb3070
но в принципе у Хаскеля есть, что ответить Окамлю
https://gist.github.com/cblp/815303e496c80575f2ce9a61f5eb3070
но в принципе у Хаскеля есть, что ответить Окамлю