Заканчивается 2014 год, а gcc до сих пор не может сгенерить нормальное сообщение об ошибке, если забыть поставить точку с запятой в конце определения класса или структурки.
@je Дурачек, что ли? Тебе говорят про "компилятор лучше", который ошибки показывать правильно, а ты советуешь какой-то хуевый язык с позорной системой типов и GC (что многим плюсовикам не подходит).
@kb Лан, палю, что столстил. Позорная система типов это как? В Go вроде типизация жёстче, рефлексия охуенная и компилятор поэтому хорошо ошибки ловит. GC вообще не тема для нытья, просто нехуй писать на плюсах системщину, в остальном GC справляется, только не говори, что она медленная, вон на obj-c хуячат и норм им.
@kuzy000 Ну хуй знает, он вроде и молодец, пытается угадать, и сделать замечания, но у него хуйня какая-то получается иногда. http://dpaste.com/3TVBA8V // inb4 специально его запутал
@je Похуй на ошибки, gcc постоянно ругается там где их нет и не хочет компилировать, приходиться под него костыли делать, иногда.
// запутал епт http://ideone.com/RlmB2f
@je From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
@4da Короче ты тупой, если ты пытаешься свести всё к тому, что Лисп типизирован, потому что реализован на машине Тьюринга, то это хуйня. Существуют ещё нормальные типизированные лямбда-исчисления с мощнейшей типизацией, это началось от ML и воплотилось в Хаскель. И вот эти вещи охуенны.
@kb Это особенности реализации, дженериков нет и не будет по заявлениям разработчиков, здесь всё на интерфейсах должно работать, насколько часто это анноит нужно спросить реальных разработчиков. Олсо система типов-то от этого не ослабла, она гораздо сильнее плюсовой, они по сути пытались хаскель скопировать в этом плане, частично у них получилось.
@kb Дженерики к системе типов относить прямо вообще не стоит, кстати. Взять ту же джаву, там это просто синтаксический сахар, можешь объявить функцию, работающую с генериком определённого типа и функцию с object и кастовать внутри, это сгенерится в один байткод. Просто генерики компилятор дополнительно проверяет, а так это наоборот явное свидетельство слабой системы типов.
@je Нет, это как раз кастование к Object не стоит относить к системе типов, точнее это "динамическая типизация", которая будет работать-работать, пока в рантайме не упадёт.
@je Ну вот я ссылку специально привёл, реально анноит реальных разработчиков.
> Олсо система типов-то от этого не ослабла, она гораздо сильнее плюсовой, они по сути пытались хаскель скопировать в этом плане, частично у них получилось.
Лол, какой нахуй хаскель без параметризации типов.
@je го не замена плюсам
@je когда будет 100% (не будет), тогда поговорим.
@je в лиспе все нормально сделано
@je > кроме простейшей реализации интерпретатор?
ты седня долбоеба косплеишь чтоли? мне даже отвечать впадлу на такую хуйту
@je мне абсолютно похуй как он появился. я тебе говорю про современные реализации
@je в маня-мире, ты хотел сказать.
олсо, сходи почитай про системы типов и пойми, что нетипизированых языков не бывает.
@je ты забыл мелкую деталь: программки у тебя на компутере работают, а не в сферическом вакууме, где кришна производит бета-редукцию
@je хорошо, реализует. как это относится к рантайму лиспа, который работает на реальной машине, а не на виртуальной.
@je я пытаюсь тебе (долбоебу) объяснить, что не существует нетипизированых языков программирования.
@mugiseyebrows Хуйта