Злочервие

Писал длинный пост про хаскель, IO и строго типизированные базы данных, позвонили клиенты, что у них "что-то случилось". "Что-то" я с двух слов диагностировал как "кончилось место на диске".

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

Тьюринг-полные языки времени компиляции

Что-то мне мозг гложет мысль. Если у нас язык шаблонов C++ или там система типов хаскеля тьюринг-полные - это же не означает что мы можем реализовать произвольные действия на них. Т.е. например описать две строки, конкатенировать их и вывести в виде одной строки. Собственно говоря, и машина тьюринга этого не умеет, в оригинале. Только если к ней прикрутить интерпретатор выходных значений, который бы умел выводить строки, тогда по идее можно такое сделать, в виде программы для нее.