RS
Я раз пхп потрогал...
Size: a a a
2020 March 26
RS
ну т.е. смысл учить язык отдельно от jvm
Это машина джавы которая?
DT
И формальными пруфами
о, это формальные доказательства? или как там это звучит
ЕР
о, это формальные доказательства? или как там это звучит
Да
DT
у меня мозг взорвался, когда я пытался это понять
RS
у меня мозг взорвался, когда я пытался это понять
значит что-то не то читал
DT
все начинается с примеров, которые и первоклашке понятны, но очень резко становится ваще нихуя не понятно)
RS
все начинается с примеров, которые и первоклашке понятны, но очень резко становится ваще нихуя не понятно)
🤣🤣
DT
formal methods in software engineering
RS
Чешешь репу и говоришь:
- А где я проебал переход?
- А где я проебал переход?
DT
вот как это называется
ЕР
Idris типа первый general-purpose язык с ними
RS
вот как это называется
Мой котлин закончился на том, что я андроид студию не смог запустить
DT
Мой котлин закончился на том, что я андроид студию не смог запустить
что интересно, я через андроид студию на жабе ваще без напряга писал, а как к котлу перешел, то тот же градл уже не осилил
RS
А не. Я вот до этого места дошел и закончил карьеру котлиниста... Слишком долго я хело ворлд делал
DT
Idris типа первый general-purpose язык с ними
т.е. без понимания формальных методов туда лучше не суваться)
AK
все начинается с примеров, которые и первоклашке понятны, но очень резко становится ваще нихуя не понятно)
как нарисовать сову
ЕР
т.е. без понимания формальных методов туда лучше не суваться)
Хз даж, я не стал
DT
как нарисовать сову
да-да)