VD>Паттерн-матчинг в Немерле похож на то что есть в Скале. Скала развивает идею паттерн-мачинага на ООП-типы. В Немерле реализация по проще, но тоже есть мысли на счет универсальной реализации. А вообще весь паттерн-матчинг растет из ML-я. Так что не удивительно, что паттерн-матчинг ОКамла, Хаскеля, Скалы и Немеля похожи. Различаюся только детали.
а у ML — из пролога, хотя и в сильно обрезанном виде
