AZ
лучше бы майки влили денек в Nemerle 1 )))))))))
немерля не нужна
Size: a a a
2020 April 24
AZ
немерля это такая дистрофичная скала на дотнете
AZ
Да все с майкрософтом нормально. Кмк у них просто недостаточно кадров а не это плохая компания. Там на гитхабе Жуковский их консультировал по поводу ХКТ.
> у макйрософта недостаточно кадров
p
> у макйрософта недостаточно кадров
Ну бля если они без тебя не могли с хкт разобраться
D
Например вернуть вектор который имеет длину на 1 больше чем входной
да это ерунда какая-то, у тебя есть требования к формальной верификации софта что ты пишешь? медицина, банки, военка?
p
Наверное индусов нанимают прост
AZ
Наверное индусов нанимают прост
во-первых нанимают, включая сео
AZ
во-вторых у них приоритеты легаси говно
p
Dima
да это ерунда какая-то, у тебя есть требования к формальной верификации софта что ты пишешь? медицина, банки, военка?
Зачем? Я хочу вернуть вектор который на один элемент имеет больше/меньше чем входной
B
немерля это такая дистрофичная скала на дотнете
ну да, а ФШарп э\то недохаскель
p
Это не верификация еще
p
Это просто зав типы
B
немного любви орт вендора и рекламы, и немерля бы взлетела
D
Зачем? Я хочу вернуть вектор который на один элемент имеет больше/меньше чем входной
так ты можешь без зав типов это сделать легко))
B
но там были полноценные макросы по круче раста и даже с автокомплитом!!!!
НЕ то что тупые Тайп провайдеры в фарше
НЕ то что тупые Тайп провайдеры в фарше
p
Dima
так ты можешь без зав типов это сделать легко))
Я не могу в типах это выразить чтобы компилятор проверил
B
тайап провайдеры по стуи превращают зяык в динамический, но в идее есть фейковые типчики
G
Я не могу в типах это выразить чтобы компилятор проверил
D
Я не могу в типах это выразить чтобы компилятор проверил
тебе это зачем? я уже спросил