AZ
я конеш понимаю что семерка уже старовата, но все же
https://www.eff-lang.org/handlers-tutorial.pdf
А какую книжку почитать, чтоб такие статьи понимать?
Size: a a a
2020 January 08
G
Меня конкретно смущает синтаксис
AZ
а что тут непонятно?
G
Ну вот как это читать?
AZ
Меня конкретно смущает синтаксис
они прям в этой статье придумывают синтаксис
ML
— А правда, что ты нашёл хорошо оплачиваемую работу программистом?
— Да, только не программистом, а аналитиком. И не работу, а стажировку. И платят не мне, а я.
— Да, только не программистом, а аналитиком. И не работу, а стажировку. И платят не мне, а я.
AZ
enum Value {
Variable(x),
BooleanConstant(bool),
Function(Fn(A) -> B),
Handler(h)
}ML
enum Value {
Variable(x),
BooleanConstant(bool),
Function(Fn(A) -> B),
Handler(h)
}???
NL
— А правда, что ты нашёл хорошо оплачиваемую работу программистом?
— Да, только не программистом, а аналитиком. И не работу, а стажировку. И платят не мне, а я.
— Да, только не программистом, а аналитиком. И не работу, а стажировку. И платят не мне, а я.
ML
enum Value {
Variable(x),
BooleanConstant(bool),
Function(Fn(A) -> B),
Handler(h)
}Это какой язык?)
G
enum Value {
Variable(x),
BooleanConstant(bool),
Function(Fn(A) -> B),
Handler(h)
}Ааа
G
Так просто
AZ
Это какой язык?)
псевдо-раст офк. В расте у тебя нет GADT чтобы выразить все
ML
псевдо-раст офк. В расте у тебя нет GADT чтобы выразить все
При чем тут гаты?
AZ
При чем тут гаты?
у тебя у вариантов разные генерик аргументы
AZ
в частности Function и Bool
AZ
у кодого - 2 параметра, у була - ноль
ML
у тебя у вариантов разные генерик аргументы