Здравствуйте, Shmj, Вы писали:

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

Полно. Но они еще реже используется.
Немного ближе к практике из этих языков Idris (там нет ленивости).
А так еще есть теорем пруверы. Agda, Coq, Lean theorem prover (в нем просто классный и самый понятный синтаксис для доказательства теорем),
Fstar (F*), Dafny. Кстати Wadler тут недавно написал книгу по Agda.

P.S. А так да, нужно математику хотя бы немного изучить. Если нужен список книг по математике могу написать

Здравствуйте, Shmj, Вы писали:

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

Полно. Но они еще реже используется.
Немного ближе к практике из этих языков Idris (там нет ленивости).
А так еще есть теорем пруверы. Agda, Coq, Lean theorem prover (в нем просто классный и самый понятный синтаксис для доказательства теорем),
Fstar (F*), Dafny. Кстати Wadler тут недавно написал книгу по Agda.

P.S. А так да, нужно математику хотя бы немного изучить. Если нужен список книг по математике могу написать
UPDATE: По Idris были лекции Брагилевского на русском. И еще есть книжка автора языка зачетная.