A
спасибо
Size: a a a
2021 March 29
AK
V Language Server? Srsly tho?
МБ
Хоть бы SML какой дали, а то какой-то совсем унылый набор будущего галерщика.
Напоминаете одного моего знакомого математика, который считает, что математиков не нужно учить программировать. А нужен только функан, только хардкор. На вопрос: а сколько ты готов взять на работу таких спецов из всего потока? - он отвечает: 3, потому что гранты не резиновые. Чему учить в вузе - нетривиальный вопрос.
РС
книжка афигенная, кстати, спасибо.
единственное не совсем понял как описание грамматики они хранят
единственное не совсем понял как описание грамматики они хранят
МБ
Коллеги, не попадались ли кому-нибудь статьи по аналогичным deforestation методам оптимизации?
РС
Хоть бы SML какой дали, а то какой-то совсем унылый набор будущего галерщика.
первый раз слышу)
AT
первый раз слышу)
SML == Standard ML.
РС
SML == Standard ML.
нуу функциональный яп, да, таких не давали. Но пролог тоже хорошо мир переворачивает)
AT
нуу функциональный яп, да, таких не давали. Но пролог тоже хорошо мир переворачивает)
В Prolog нет типов. И системы модулей тоже нет.
ВМ
То есть я получаю высшее и пытаюсь попасть в компании по типу jetBrains, где меня всему обучают?
У них есть стажировки, да: https://internship.jetbrains.com/
MO
Учусь в СУНЦ НГУ, особенная школа, спецкурс для учеников. На спеце писали простенький интерпретируемый язык. Компилятор немного даже работал в конце.
я на физфаке например учился, в академе очень много компиляторных контор, если шарите вас очень быстро возьмут и обучат
ВМ
То есть я получаю высшее и пытаюсь попасть в компании по типу jetBrains, где меня всему обучают?
Так же хорошо подымается уровень если поступить допольнительно в CSCenter, в жб насколько я понимаю очень активно мониторят это и отбирают себе тех кто оличился
MO
я на физфаке например учился, в академе очень много компиляторных контор, если шарите вас очень быстро возьмут и обучат
>JB, Huawei, Azul, МЦСТ, что-то поменьше
MO
Учусь в СУНЦ НГУ, особенная школа, спецкурс для учеников. На спеце писали простенький интерпретируемый язык. Компилятор немного даже работал в конце.
Что за спецкурс кстати? Кто ведет?
IP
Что за спецкурс кстати? Кто ведет?
Соловьев Владимир Валеревьевич, но со слов @malevrovich курса нет уже
s
Если человек понимает Prolog, то и ФП осилит.
s
В принципе, это работает и в обратную сторону: зная ФП, понять Prolog проще.
s
Да, и хотя пролог так себе язык в плане программирования, это отличный язык для псевдокода.
ВМ
кто-то срочно должен вбросить про изоморфизм Карри Ховарда
s
Карри-Говарда-Ламбека.