DB
мне вот-вот 20
Size: a a a
2020 December 04
AG
по хорошему там половина простыни должна быть в стандартной библиотеке
RR
Но с идрисом так не получается
AG
не получается контрибутить в стандартную библиотеку?
DB
не получается контрибутить в стандартную библиотеку?
просто не получается
RR
Мне для PM’а надо будет написать сабсет парсера для ямля
RR
не получается контрибутить в стандартную библиотеку?
Ну, то что там сейчас мало чего есть
RR
И либ, тоже мало
AG
ну всё в твоих руках
AG
я вот контрибучу то что мне нужно периодически
RR
Ну да, придётся
DB
Ну, то что там сейчас мало чего есть
велью пишут уже ваще-то
AA
до чего ж оно все страшное и вербозное по сравнению с рефайнед-тайп-костылищами на смт-страданиях типа ликвидхачкеля
RR
Но я то shit по алгоритмам
RR
велью пишут уже ваще-то
М?
DB
до чего ж оно все страшное и вербозное по сравнению с рефайнед-тайп-костылищами на смт-страданиях типа ликвидхачкеля
зато чистое сафети
DB
достаточно всякого, тобы писать велью
к
до чего ж оно все страшное и вербозное по сравнению с рефайнед-тайп-костылищами на смт-страданиях типа ликвидхачкеля
потому что то что в рефайнд типах делает компилятор, тут делает человек
AA
зато чистое сафети
речь про стравнение одного сейфети с другим