Зло какое-то

Школьный Линукс и входной порог разработки

Борландовские Паскали, С и тому подобное работали под досом без плясок с бубном и ставились простым копированием.
Дельфи в 1997 году поставилась на 95 винду и заработала сразу. За день можно написать прототип DB приложения, вообще видя среду разработки в первый раз. Visual C в то же примерно время - то же самое, разве что писать чуть сложнее, это вам не RAD.
Вижуал студия с дотнетом в 2006 вроде бы году - аналогично, поставил, за день разобрался.

А в линуксе до сих пор какое-то вуду, стоит только выйти за рамки стандартных задач.

Осеннее обострение?

Что-то как лето с жарой закончилось, начались ежедневные ИТ-срачи, причем иногда на довольно дикие академически-хардкорные темы, типа "почему автор F# не встроил туда зависимые типы, но так, чтобы ими можно было пользоваться не сойдя с ума". Или "как бы это в статическую типизацию вкрутить функции с переменным числом параметров".

Простейшие мелочи типа дизайна mv или школьного линукса вызывают какие-то феерические треды на тему "Кто кого заборет - emacs, MFC или дотнет".

Да, кстати, на тему линуксовых исходников. В чем их открыть так, чтобы: 1) по идентификатору можно было сразу перейти и открыть файл, где он объявлен; 2) можно было скомпилировать и запустить; 3) если это все ляснется с segfault или еще чем - посмотреть где оно ляснулось и пройтись отладчиком. Ну или чтобы при падении само открывало нужное место в исходниках.

Третье я как-то уже сам догадался - билдишь с отладочной информацией и ходишь в gdb. Правда, хер оно интегрировано с редактором кода - из gdb первый пункт(навигация по идентификаторам) вроде не выполнишь.

Это я к тому, зачем нужны IDE.

интернетное

Гдееее мой байфлай7
Там в коментах срачъ, а с н900 особо не поучаствуешь.

"Обалдеешь ты среди гробов" или зависимые типы и метапрограммирование

(эпиграфом к посту служит цитата из ильфа и петрова, упомянутая plumqqz при обсуждении системы типов F#)

Так вот, по мотивам того обсуждения - как соотносятся метапрограммирование и зависимые типы? Мне что-то с ходу мерещится что зависимые типы можно имитировать, имея развитые средства метапрограммирования. Скорее всего, это будет адский закат солнца вручную (во всяком случае, у меня кодогенератор C# из модели БД выглядит именно так) но тем не менее, это должно быть возможно.