АГ
(К докладу это не относится, доклады все важны, доклады все нужны)
Size: a a a
2020 October 02
АГ
К моменту написания новой книги ты видимо пробуешь себя в качестве человека, которому важна развесистная система типов)
А ты проницательный!
YS
Отож с:
YS
меня система типов не остановит
YS
даже их отсутствие!
YS
(думаю попробовать кложуру)
AT
Ну, поддержки монад еще нету
Некоторая синтаксическая поддержка монад есть, но в окамле нет тайпклассов, поэтому там приходится явно указывать в какой монаде сейчас работаешь.
АГ
К моменту написания новой книги ты видимо пробуешь себя в качестве человека, которому важна развесистная система типов)
Но в отличие от предыдущей темы, я не могу утверждать, что лучше знаю, как это делать. Другая ситуация.
AT
Окамл слишком скучный. У него не fancy система типов. Да и системой типов я бы ее не стал называть. Просто типы
Мне кажется, что тебе нужно познакомиться ближе с системой модулей окамла
YS
вот на докладе и послушаем)
YS
(кто докладчик кстати?)
АГ
Да, пожалуй, модули - это то, где Окамл выигрывает
YS
Юра или Антон?
YS
Просто помню два человека точно вызывались
YS
и Андрей ещё, но он вроде про окамл не хотел рассказывать
AT
Точно не я в этот раз)
YS
Значит Юрий)
YS
В общем - окамл мне интересен
YS
Если бы не проблемы с мультитредов - учил бы)
YS
А так есть смысл вторым учить скалу, например