Мнение студентов это хорошо. Но неплохо бы мнения уже поработавших людей узнать и посмотреть, как со временем меняются приоритеты. Может добавите в пост опрос?)
> если не сбалансируешь стек — компилятор пропустит
Это из-за бестиповости. В стековом Cat строгая типизация с выводом типов и там компилятор не пропустит некорректное выражение.
В Факторе стековые диаграммы обязательны и все слова проверяются компилятором.
Да и вроде некоторые форт-компилеры проверяли слова, основываясь на стековой диаграмме слова.
Спасибо! Прекрасная статья. После неё прочитал вот эту. Почти всё понял, но есть пара вопросов:
1. Я так понял, что Map, описанный а той статье и есть хаскелевый fmap?
2. Можно ли достать значение из коробки ( Just 5 => 5)? И что случиться, если там будет Nothing?
Язык выглядит красиво и юзабельно. Желаю вам продолжать работу над своим детищем.
Это из-за бестиповости. В стековом Cat строгая типизация с выводом типов и там компилятор не пропустит некорректное выражение.
В Факторе стековые диаграммы обязательны и все слова проверяются компилятором.
Да и вроде некоторые форт-компилеры проверяли слова, основываясь на стековой диаграмме слова.
1. Я так понял, что Map, описанный а той статье и есть хаскелевый fmap?
2. Можно ли достать значение из коробки ( Just 5 => 5)? И что случиться, если там будет Nothing?
В принципе, можно попробовать.