История изменений
Исправление AndreyKl, (текущая версия) :
гм, agda/idris :), Ну и на данном этапе, да. Ну и условно в той же степени в которой java/c# заменили все остальные языки. Потом ещё что то придумется. Но agda/idris ещё не промышленные. У хаскеля компилятор, либы, рантайм, stack. А у агды/идрис (пока) только фичи.
нет, ну остануться ассемблер, си, вероятно, какая то скриптота для скриптоты..
Тут конечно вопрос эк. эффективности - победят ли миллионы дешевейших индусов и украинцев или же технологии всё таки окажутся сильнее?
Пока в истории всё таки технологии двигались вперёд за счёт значительного повышения производительности труда.
Исправление AndreyKl, :
гм, agda/idris :), Ну и на данном этапе, да. Потом ещё что то придумется. Но agda/idris ещё не промышленные. У хаскеля компилятор, либы, рантайм, stack. А у агды/идрис (пока) только фичи.
нет, ну остануться ассемблер, си, вероятно, какая то скриптота для скриптоты..
Тут конечно вопрос эк. эффективности - победят ли миллионы дешевейших индусов и украинцев или же технологии всё таки окажутся сильнее?
Пока в истории всё таки технологии двигались вперёд за счёт значительного повышения производительности труда.
Исправление AndreyKl, :
гм, agda/idris :), Ну и на данном этапе, да. Потом ещё что то придумется. Но agda/idris ещё не промышленные. У хаскеля компилятор, либы, рантайм. А у агды/идрис (пока) только фичи.
нет, ну остануться ассемблер, си, вероятно, какая то скриптота для скриптоты..
Тут конечно вопрос эк. эффективности - победят ли миллионы дешевейших индусов и украинцев или же технологии всё таки окажутся сильнее?
Пока в истории всё таки технологии двигались вперёд за счёт значительного повышения производительности труда.
Исходная версия AndreyKl, :
гм, agda/idris :), но они ещё не промышленные. У хаскеля компилятор, либы, рантайм. А у агды/идрис (пока) только фичи.
нет, ну остануться ассемблер, си, вероятно, какая то скриптота для скриптоты..
Тут конечно вопрос эк. эффективности - победят ли миллионы дешевейших индусов и украинцев или же технологии всё таки окажутся сильнее?
Пока в истории всё таки технологии двигались вперёд за счёт значительного повышения производительности труда.