bagyr

OCaml — тот же F#, только без CLR и чуть кривше.
Clojure — не такой марсианский как остальные Лиспы, но все равно интересно.
В идеале — Haskell.
Если интересно поковыряться в коде на F#, то github.com/jaredpar/VsVim.

C#. Проще плюсов и есть поддерживаемый в Mono System.IO.Ports. Несложный гуй на WinForms на другие оси даже пересобирать не придется.

Линейная интерполяция по Hue в HSV? С синим и желтым работает.

Т. Кормен «Алгоритмы. Построение и анализ», желательно в подлиннике.
Очень многое из прочитанного можно в порядке обучения отыскать в исходниках стандартных библиотек Java, Go или Python.

>Как я понял, в этом заслуга языка lua.

Это заслуга Corona. Сам язык в первую очередь скриптовый, один из лучших в этой области.
Как главный язык, кто-то что-то ковыряет (например github.com/ignacio/LuaNode), но подозреваю, больше в порядке эксперимента.
Еще про luajit можно почитать.

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

HAKMEM
The Art of Unix Programming by Eric S. Raymond.

В CLR tail медленнее call даже в тех языках, где он поддерживается.

Ну и надо быть сильно уверенным в себе, чтобы утверждать, что всякая «задача не глубокая по сравнению с размером стека» всегда таковой и останется при любых условиях, я бы не рисковал без нужды.