Oℕ
в скале 3 уже совсем почти так же
Size: a a a
2021 February 02
YS
будет на что перекатываться когда на хаскеле закончится работа с:
AΛ
В ближайшие годы работы на хаскеле и скале будет только больше
AΛ
Возможно я не прав
YS
ну вообще
YS
судя по тенденциям - как будто да
AΛ
Но даже в с++ тайпклассы затащили
MK
Контракты?
AΛ
Концепты
MK
Тьфу
MK
Да
ЗП
развели тут фримонадную демагонию
MK
да, ваще
NI
И даже не упомянули иерархические фримонады!!
YP
в скале 3 уже совсем почти так же
В твиттере уже 5 издание от Одерски про нее было. Стабилизировали язык?
AΛ
И даже не упомянули иерархические фримонады!!
А пейпер можно?
MK
😂
к
А пейпер можно?
Конечно, вполне себе пейпер - https://github.com/graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell
ЗП
А пейпер можно?
на что? монада в монаде, там даже это не реюзабельно) ибо строить надо все заново
нет чтобы какие-то мутуал рекурсшн фиксед поинты взять для этого
нет чтобы какие-то мутуал рекурсшн фиксед поинты взять для этого