(
https://youtu.be/nZDN6XCM1X0 #rescript #youtube
- Выкидываем typescript
- Или как гуманитарию вкатиться в ocamlocaml 😎
Size: a a a
2021 March 11
I
Я конечно офигел - чувак не заканчивал тех вуза, 5 лет проработал геологом, а теперь шарит за типизацию лучше 90% этого чата
AK
Konstantin dmz9
- Или как начать разрабатывать, а не собирать шалаш из костылей 😎
... никак?
предпочитаю каждый радоваться, что не мне
а так хз - ждать когда wasm придёт порядок наведёт
а так хз - ждать когда wasm придёт порядок наведёт
I
Кстати узнал из подкаста про https://hegel.js.org - типа альтернатива flow, от русского девелопера
AK
Я конечно офигел - чувак не заканчивал тех вуза, 5 лет проработал геологом, а теперь шарит за типизацию лучше 90% этого чата
потому-что если ты неправильно определишь тип породы, то будет не косой джейсон, а распидорасит весь процесс гидроразрыва сланца, например. в геологии всё серьёзнее
Kd
Я конечно офигел - чувак не заканчивал тех вуза, 5 лет проработал геологом, а теперь шарит за типизацию лучше 90% этого чата
как можно шарить за что то, что учится часа за 3 наверно
Kd
ему просто хватило усидчивости книжку дочитать
(
Konstantin dmz9
как можно шарить за что то, что учится часа за 3 наверно
Типизация она как плюсы
(
Учить можно бесконечно
(
Я как-то раз залез на нкатлаб, вбил в поиск восклицательный знак и ещё час просидел наверное над линейной логикой
(
Нихера не понял, естественно
VB
потому-что если ты неправильно определишь тип породы, то будет не косой джейсон, а распидорасит весь процесс гидроразрыва сланца, например. в геологии всё серьёзнее
Там есть курс палеонтологии
и методы определения возраста - жутко развивают усидчивость хе-хе
и методы определения возраста - жутко развивают усидчивость хе-хе
IP
https://youtu.be/nZDN6XCM1X0 #rescript #youtube
- Выкидываем typescript
- Или как гуманитарию вкатиться в ocamlocaml 😎
- Выкидываем typescript
- Или как гуманитарию вкатиться в ocamlocaml 😎
ocaml не нужен
I
ocaml не нужен
I
А на чем ты будешь coq писать
IP
А на чем ты будешь coq писать
На идрисне
IP
Ког не нужен, да
IP
А еще есть замечательный язык Arend!
D
На идрисне
Все нужно писать на Агде