AG
в идрисе хаскельная идеология а не емельная
Size: a a a
2020 July 06
AG
типа всё открыто, модули только в виде неймспейсов
AG
точнее можно выборочно закрывать доступ к сигнатурам или имплементациям, но это обычно редко надо
AG
завтипы вообще сами по себе довольно антимодульны, потому что пруфу нужно знать тело функции, чтобы смочь по ней символьно шагать
R
а как велью архитектируть тада
w
а как велью архитектируть тада
Нужен телевизор за 300кк, коджимба гений, на кончиках пальцев.
AG
а как велью архитектируть тада
интерфейсами
R
интерфейсами
а они есть в идрисе?
R
множественная интерпретация
K
когда нибуть я схожу и сломаю себе пальцы
Да просто бы сходил со мной
AG
ну это ближе к тайпклассам
K
С тренером могу познакомить
w
С тренером могу познакомить
Эх, сча бы познакомить
R
Да просто бы сходил со мной
чтобы ты мне сломал пальцы?
R
ну это ближе к тайпклассам
ну корчое модульность как в хакилях, да?
R
С тренером могу познакомить
а там нжуна спецодежда?
R
да, када написал вопрос вспомнил что ты так и написал, извини