ЗП
а где собрать то?
пока у себя, как будет выглядеть хоть как-то нормально то и в общий
а вообще я хочу по лямбда кубу+ собрать всю инфу от и до
а вообще я хочу по лямбда кубу+ собрать всю инфу от и до
Size: a a a
2020 April 16
ЗП
+ тут это уже системы, что после куба Барендрехта появились
ЗП
всякие кубики, секвенции и прочее
ЗП
в общем мой посыл
от utlc до наших дней
от utlc до наших дней
AG
тогда уже надо от комбинаторной логики начинать :)
ЗП
тогда уже надо от комбинаторной логики начинать :)
что не говори, это мой любимый язык) он как лего
AG
ну она и исторически раньше появилась
ЗП
и тем более у каждого комбинатора из аксиоматики есть своя лямбдовая характеристика
IJ
мне кажется, что Хаскель стал популярнее потому что стало больше программистов И появилось больше библиотек
IJ
пару лет назад на хаскеле можно было уже без больших проблем писать телеграм ботов
IJ
в 2007 году на хаскеле в условном Санкт-Петербурге писали человек десять, наверное
ЗП
тогда уже надо от комбинаторной логики начинать :)
а так я не нашел ни одного подробного ресурса по такому(
а хочется иметь все в одном месте
вот надо тебе про инферы почитать и смотришь сразу system f, outsidein и так по нарастающей, до DL и еще сложнее
а хочется иметь все в одном месте
вот надо тебе про инферы почитать и смотришь сразу system f, outsidein и так по нарастающей, до DL и еще сложнее
ЗП
+ иметь сразу какие-то исходники, чтобы текст кодом подтверждать
ЗП
кстати если бы сейчас начать делать лямбда куб, то какая бы это стереометрическая фигура была? если взять додекаэдр или еще что-то, то можно уложить как сделал Барендрехт?
ЗП
только включить все текущие работы, вплоть до наших дней
ИЧ
в 2007 году на хаскеле в условном Санкт-Петербурге писали человек десять, наверное
https://habr.com/ru/company/hh/blog/474096/ кажется ничего не изменилось
ИЧ
Кстати, оффтоп, но...
Может мне кто-нибудь пояснить, почему хаскель стал резко популярным?
Может мне кто-нибудь пояснить, почему хаскель стал резко популярным?
откуда инфа? судя по гугл трендам, изменений нет, раст точно растёт, на то есть понятные причины
AT
https://habr.com/ru/company/hh/blog/474096/ кажется ничего не изменилось
"от пользователей hh.ru", что как бы намекает. 😊
ИЧ
"от пользователей hh.ru", что как бы намекает. 😊
мы же говорим про условный Питер, в чём проблема?