С кратким комментарием — что именно произвело впечатление.
Вот меня, например, в следующем порядке поразили:
1) Haskell в институте — системой типов, по сравнению с другими языками казалось неземной красотой, что можно написать всякие Show a, Num a.
2) Prolog тоже в институте — первый опыт настоящей декларативности — пишешь не то, что нужно делать, а что нужно получить и доступные для этого действия. Описал задачу, а система сама все решила.
3) Forth — тем, что самый мощный язык может быть написан в несколько сотен строк.
4) Io и Lua — Io чистотой и элегантностью концепции, а Lua тем, что интерпретатор мощного (на уровне JS) и простого языка может ещё и быстро работать.
5) Lisp — дата-код-дата, полноценная среда для вычислений в компайл-тайме и рантайме.
Ну и по-мелочи:
1) Python — 2D-синтаксисом.
2) colorForth — цветной синтаксис.
3) Katahdin — тем, что можно не очень сложно объединить кучу языков под крышей одного рантайма в пределах одного файла или строки.
4) D — тем, что из C++, в принципе, мог получиться нормальный язык.
5) Pascal ещё в школе, тем что можно было работать с динамической памятью, использовать арифметику указателей и вообще все эти двусвязные списки и т.п.
Может потом ещё что вспомню...