Ну вот, кстати, прямо сейчас дискуссия какая-то завязывается. Давайте коней попридержим, придумаем всяких диких и не очень примеров и обсудим, стоило ли оно вообще :)
Блин, я тут который день читаю туториал Pony Lang. Это вот как идеи из FP и прочего маргинального программирования пролезли в мейнстримовую императивщину и нормально так там нагадили. Про пони, конечно, никто не слышал, но там очень жётско покорёжило умы создателей.
а можешь рассказать куда ты пони хочешь применить и в чем заключается "нагаженность"? *не знаю ничего про пони, но интересно
Нагажено туда в смысле он очень серьёзно инспирирован функциональными языками (но при этом там подчёркивается, что он им не являетсяя): фишки системы типов (типы-сумммы, типы-произведения), частичное применение, всё -- экспрешены и т.п. Много там.
Давайте продолжать генерировать идеи для дискуссий. Что ещё вы хотели бы обсудить? Мы ещё поднимали вопрос, как найти работу на ФЯ или на Coq. Там же можно обсудить, как организовать для себя такую работу.
Давайте продолжать генерировать идеи для дискуссий. Что ещё вы хотели бы обсудить? Мы ещё поднимали вопрос, как найти работу на ФЯ или на Coq. Там же можно обсудить, как организовать для себя такую работу.
> Мы ещё поднимали вопрос, как найти работу на ФЯ или на Coq Никак, работа есть только на жавке и жс