Вот, немного поковырял Haskell и испытал то же чувство, когда после Sinclair Basic (который с номерами строк и GOTO) перешел на Pascal.

Постоянный вопрос — неужели эту запись можно однозначно интерпретировать. Ну и краткость записи потрясает, как будто кто-то долго думал как можно записать короче, при этом чтобы не возникало коллизий.

Сожаление одно — это язык мечтателей. Т.е. сколько бы ты ни тратил на него времени, сколько бы не углублялся — в реальной твоей практике он тебе не понадобится Во всяком случае для меня — если у вас хороший мат. бэкграунд и пр. — ситуация может быть другой.

А так, вместо ребусов, для тренировки мозга — ОК.

Ну и вопрос. А есть ли языки более высокого уровня? Ну, если не считать языки естественные (гуманоидные тобишь), а вот реально чтобы можно было писать программы общего назначения. Или Haskell — это потолок?