вместо условного isInstanceOf хаскел использует теги
лучше их называть конструкторами данных
сопоставляется структура образца и данного. если совпадают, то ветка выбирается
стоит сначала посмотреть на само сопоставление, пописать код, может, тогда и вопросы отпадут
Ну тут 2 вариант интерпретации — или человек спрашивает не там про реализацию. Или он настолько новичок, что не совсем правильно использует термины, так как по ошибке прочитал какую-то неновичковую статью и у него каша в голове.
Обсуждают сегодня