p
еще монад
Size: a a a
2020 August 05
SP
давайте поговорим про такое: анонимные рекорды нужны?
DS
давайте поговорим про такое: анонимные рекорды нужны?
Нужен row type полиморфизм как в пурсе
DS
И к нему уже анонимные рекорды
DS
А то будешь как в шарпе, где анонимные рекорды есть, но ничего с ними сделать вне одного метода ты толком не можешь
DS
(если к рефлексии и т.п. хрени не обращаться)
AZ
(если к рефлексии и т.п. хрени не обращаться)
По-моему последние таплы это оно и есть
AZ
и если я правильно понял про row type то оно тоже есть
DS
и если я правильно понял про row type то оно тоже есть
Нет, тут речь о том, что ты можешь легко описать метод который принимает тип Т у кого есть поля X и Y
p
Нужен row type полиморфизм как в пурсе
+
p
я так в своем языке буду делать
p
рекорды бдут только анонимные
AZ
Нет, тут речь о том, что ты можешь легко описать метод который принимает тип Т у кого есть поля X и Y
void Foo(f : (int X, int Y)) => ...p
а если хочется не анонимный делай
data Foo = MkFoo { a: B }
data Foo = MkFoo { a: B }
DS
void Foo(f : (int X, int Y)) => ...Нет, там могут быть и другие поля
AZ
а, типа автогенеренного Has?
DS
а, типа автогенеренного Has?
Именно
AZ
ну это все проблемы скрптухи, а в плюсах такое решается на раз два
D
вы уже пришли к окамлу?
SP
вы уже пришли к окамлу?
мы приходим к крестам