SA
Man
This standard needs cleansing...sorry cleaning
This standard needs cleansing...sorry cleaning
Size: a a a
2020 October 13
AE
Знали кстати что имеется такая функция string-to-octets
Не кстати.
AE
Не знал.
VL
Знали кстати что имеется такая функция string-to-octets
Знал, я её юзаю в либе
SA
а есть какие нибудь причины noname почему ты пошел и попытался устроить в чате с идрисерами срач?
nn
а есть какие нибудь причины noname почему ты пошел и попытался устроить в чате с идрисерами срач?
никакого срача, просто интересуюсь чем идрис может помочь трудящимся
SA
в формате а нахуя мне нужен ваш язык?
MK
Трудящимся ничего не поможет, трудящиеся пишут на худших языках
ND
на го
SA
лицемерие))
когда сюда приходят челы и такое загоняют ты им вежливо отвечаешь?
когда сюда приходят челы и такое загоняют ты им вежливо отвечаешь?
SA
я хз может да тогда не лицемерие а аутизм
SA
но какбе я сомневаюсь
SA
одно только выделение категории трудящиеся вызывает...подозрение
nn
не понимаю. что не так?
SA
....
ну ладно поверю что аутизм объясню доступно
ну ладно поверю что аутизм объясню доступно
SA
> и чем идрис лучше лиспа или фшарпа? ирдис же компилится ракеткой? а там тоже типы есть. гуи, бд, веб,?
это звучит как провокация
никто не говорил тебе слова лучше
это звучит как провокация
никто не говорил тебе слова лучше
SA
люди просто пишут на языке
SA
какой норм вариант — спросить че вам в языке нравится допустим
или сказать а можно мне сравнение его системы типов с хаскелем
или сказать а можно мне сравнение его системы типов с хаскелем
AE
> и чем идрис лучше лиспа или фшарпа? ирдис же компилится ракеткой? а там тоже типы есть. гуи, бд, веб,?
это звучит как провокация
никто не говорил тебе слова лучше
это звучит как провокация
никто не говорил тебе слова лучше
Плюсую.
AE
Абсолютно неконструктивно.