EM
Size: a a a
2020 January 17
СИ
Это всё ЦРУ.
Причем тут цру. В любом государстве есть институты и комитеты. Они исследуют и пишут . Министерства потом внедряют программы гранты и прлчее. Образование, популяризация рекоммендации.
не говоря уж о деятельности влиятельных интеллектуальных элит задающих дискурс
не говоря уж о деятельности влиятельных интеллектуальных элит задающих дискурс
AG
сама по себе даже пьянка не организовывается
Спорное утверждение...))
IG
Это не вы кстати на код эрланге по русски пишите?
IG
сама по себе даже пьянка не организовывается
В книжках лингвестических написано, что языки естественные стихийно образуются, но так написано думаю тоже с целью управления хитрого
СИ
тогда не учи детей своих писать и говорить грамотно, чтобы не ломать естественный ход вещей
LW
LW
тематическое видео с парижу
ML
тематическое видео с парижу
мы поставим на батарейках
RP
А то, что у английского фонетика и грамматика слегка не характерные для германских языков вас не смущает?
Фонетика как раз очень характерная
IG
тогда не учи детей своих писать и говорить грамотно, чтобы не ломать естественный ход вещей
Глупостью я наверно тут занимаюсь, пытаясь что-то доказать. Вообщем, изучайте матчасть.
2020 January 20
PK
Ребят! Я никто случаем тут не писал на языках с dependent types? Вроде Agda или Irdis?
PG
А почему вы спрашиваете?
PK
А почему вы спрашиваете?
Есть мысли, что систему типов эрланга можно прокачать до dt.
ML
Есть мысли, что систему типов эрланга можно прокачать до dt.
а что ты с каналами хочешь сделать?