Ролл языка программирования тред.0. NASM1. C2. C++3. Java4. D5. Rust6. Kotlin7. Python8. Javascript9. Golang00. Forth11. Erlang22. OCaml33. Clojure44. Racket55. Scala66. Ruby77. Elixir88. SML99. Haskell666. COBOL
>>223944119Кресты, конечно, зашибись, но ты там про другие языки не забывай, а то можно ебнуться ненароком.
>>223944354Потому что это исследовательский проект. Там зависимые типы. Когда закончу в своем языке воспроизводить OutsideIn(X), перейду на зависимые типы.
>>223944833Хотя на делфях ребята некоторые умудряются делать классный софт, просто не люблю неадекватных фанатов какой-то одной технологии.
>>223944990Такого хуёвого, который может не быть - действительно нету. Отныне ты проклят за ересь и вынужден будешь учить паскаль!
>>223945128А че там учить-то толком? После первых 15 языков остальные учатся за вечер, лол. Правда, сами языки, речь не про экосистему.
>>223945551Лол. Ну ладно.BTW, меня интересуют скорее сами языки программирования, их компиляторы и системы типов с теоретической точки зрения, нежели практическое применение этих языков. И по-хорошему на паскаль следовало бы уделить недельку времени, наверняка в нем есть интересные идеи.
>>223945717Тогда тебе в ответочку статеек накидаю.https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/jfp-outsidein.pdfhttps://www.cs.tufts.edu/~nr/drop/tapos-final.pdfhttps://www.researchgate.net/publication/2710954_How_to_Make_Ad-Hoc_Polymorphism_Less_Ad_Hochttps://www.microsoft.com/en-us/research/wp-content/uploads/1987/01/slpj-book-1987-small.pdf
>>223946039Начни с разбора простейшего вывода типов по хиндли-милнеру, потом почитай вот это: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.18.9348&rep=rep1&type=pdfА потом можешь и остальное почитывать.
>>223952486А что в твоем понимании нормальный? Критерии накидаешь? Мб знаю такой возможно, мой яп тебе подойдет даже, лол
>>223952801Упрощенный хаскель с императивщиной и акторами и пока что корявеньким компилятором, но это я исправляю.
>>223952986Но у меня пока система типов сильно упрощенная, я даже мультипараметрические классы типов еще только впиливаю, GADT на очереди. Сначала делал виртуальную машину и компилятор в ее байт-код, но чет разочаровался и теперь присобачиваю куски вм (управление памятью, шедулеры, вот это все) к рантайму, потому что LLVM позволяет.
>>223953093На самом деле, хаскель с трансформерами монад и линзами по уровню удобства и простоты близок к питону. Хз, че его не юзают
>>223953360А чем не устраивает? Механизм управления памятью своеобразный, но достаточно логичный и эффективный, для фп языков отлично подходит к тому же. Ну и сама по себе функциональщина -- штука весьма и весьма удобная
>>223943631 (OP)Кроме Си и препроцессора к нему, нахуй ничего не нужно, реализовать можно то что делают другие языки и эффективнее с точки зрения производительности, позырю как вы на питонах юзаете AVX/SSE4 и т.д функции
>>223955458Скалка не тру фп, такое себе. Попробуй эликсир или лисп, а там уже можно типизированные штуки дергать.
>>223956106Чел, дело не всегда в скорости исполнения программы (хотя это тоже дохуя важно), дело еще в поддерживаемости ПО и легкости его написания. Например, я сразу отказался от идеи писать компилятор для своего яп на чем-то кроме хаскеля, потому что он для таких задач идеален. И да, на питоне много чего есть для JIT-компиляции отдельных функций да и выполнения конкретных инструкций в принципе. Ну и не про то он, он про то, как дергать код на сях, в котором эти инструкции правильно использованы. Пример -- numpy.
>>223956841>>223956773Пыха -- самое уебищное дерьмо из всего, что я видел а еще это мой первый ЯП пиздец как с этого горит хорошо, что я забыл ее нахуй
>>223943631 (OP)NASM - это не язык программирования, это ассемблер. Или включай в свой сраный список ещё и TASM, MASM, gas и прочие.
>>223956615>я сразу отказался от идеи писать компилятор для своего яп на чем-то кроме хаскеляШкольник, плиз, калькулятор уже написал?
>>223957013Тссс, это такой подвох, чтобы людей в чудесный мир ассемблера затащить. Глядишь, больше народу станет понимать, как на самом деле программирование работает
>>223957131Можешь пройти нахуй, еблан. Я дохуя всякого имплементил, языки программирования в том числе. Хотя, похуй, если ты даже не понимаешь, что у каждого яп своя предпочтительная область применения, то ты сам как раз школяр ссаный.
>>223956615Вот с этим вот мнением мол легкости его написания, порог вхождения в процгоммирования упал на столько, что процгать теперь могут даже домохозяйки, и по этому мы застряли в игорах в плане графики, и требуем все более и более мощное железо, ты глянь что Кармак вытворял, да ладко, похуй на Кармака, простой школяр Сильверман писал по-хлеще чем любой процгер в крупной фирме ныне
>>223962218Ты меня вообще не понял. Смотри, зачем лишний раз ебать себе мозги управлением памятью и переизобретением алгебраических типов данных, если это уже есть в хаскеле? Да и либы для построения парсеров и работы с рекурсивными структурами данных там охуительнейшие. При этом в хаскель порог входа выше, чем в тот же джс. Просто он больше подходит для этих задач. Все. Вот виртуальную машину уже имеет смысл писать на сях (что я и сделал). Что порог входа упал -- он упал в профессию в целом, а в наиболее интеллектуально емких сферах расклад прежний. Обидно, конечно, что этих долбоебов с джс-ом в очке тоже называют программистами, но мы-то с тобой знаем, что они по факту ближе к дезигнерам. Их часть индустрии просто перегреется и лопнет, а мы-то куда денемся? На нас спрос останется, как на высококлассных спецов.
>>223962776Обидно не то что их программистами называют, а то что HR-шлюхи, набирают их на посты разработчиков какого либо софта, которые требовательны к скоростям, те же игры, помню как разрабы Horizon Zero Down, хвалились своим ебать каким крутым рендером, который по факту является обычный куллингом, таким, каким он был еще в первом думе, только даже еще более элементарный, без разбиения пространства на листья бинарного дерева
>>223963427Кстати, да, бесит, что в современных играх почти нет ни оптимизации, ни новых интересных технологических решений. Манки-кодеры сраные. Комп. графику кодить на самом деле охуеть как интересно а еще интереснее оптимизировать написанное так, чтобы на рендер кадра уходили считанные миллисекунды. Современные же кодерки не хотят даже вникать в разницу между G1 GC и CMS в жабке и почему попадания в кэш -- это хорошо. Господи, да многие вообще не понимают, зачем кэш процу. Сам бы не поверил, если бы не приходилось с такими общаться.
>>223963610Ты ебанутый?Макросы на расте?Давай, вырази-ка мне OutsideIn(X), я ссылку выше на статью кидал.Сделай-ка мне на макросах шедулер для гринтредов.Синтаксис на табуляции.Иммутабельность полную, вот это все. Вот как хаскель на макросах повторишь, тогда и кукарекай, шизло.
>>223944450Так язык позиционируется как general purpose а не research.А почему не зашел то? Сам на нем не писал, но слышал, что он получше агды и кока, если хочешь написать что-то практическое, а не доказывать теоремы над пеано числами>>223943631 (OP)Че такое SML? Не гуглится. Это нечто из семейства ML?
>>223963880Окей, буду там вариться с Саймоном Пейтоном-Джонсом и Гвидо ван Россумом, заебись.>>223963859Дебс здесь ты, хуйло. Когда же переведутся долбоебы, пытающиеся натягивать сову на все доступные глобусы, а? Блять, используй больше одного инструмента, макака необразованная. Го-ебы такие же дауны.>>223963967Потому что всем подавай бизнес-приложение и веб. А у меня интерес больше академический. Несовпадение интересов. Ну как бы ок на самом деле, я бы и правда не советовал идрис в прод тащить. Сыроват. Но задумка классная.SML -- Standard ML. Класека) В идрисе вроде бы вообще в какой-то из версий алгоритм чейни для управления памятью используется, не знаю насчет того, как сейчас. Уже это одно является большим минусом.
>>223964203идрис это вообще не язык программирования, хуйло, это язык проверки программ, кто тебе вообще клавиатуру в руки разрешил брать
>>223964203нахер нужно использовать больше одного инструмента если раст может все и лучше других? быстрее макакинских языков, надежнее байтоебских, умеет в функциональщину
>>223964307https://ru.wikipedia.org/wiki/Idris_(%D1%8F%D0%B7%D1%8B%D0%BA_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F)> Idris — чистый тотальный[en] функциональный язык программирования общего назначения> Язык поддерживает средства автоматического доказательства, сравнимые с Coq, включая поддержку тактик, однако фокусируется не на них, а позиционируется как язык программирования общего назначения.https://www.idris-lang.org/> Idris: A Language for Type-Driven DevelopmentТы бы хоть в теме разобрался, мудозвон
>>223943631 (OP)>языка программирования тред.>в первом же пункте постит название ассемблера, а не сам языкОбтекай.
>>223964397Медленнее, чем си. Дохуя неудобное прямое управление памятью и ты, макака, даже, блядь, не заикайся, что напрямую памятью управлять зло, потому что это верно только для дегенератов вроде тебя.Да, полифоризм на классах типов -- это заебись. Да, система типов поближе к хаскелевской. Да, паттерн матчинг, под капотом использующий computed goto по возможности. Но знаешь, механизм управления памятью там далеко не всегда удобен. Конечно, язык полный по Тьюрингу (как и брейнфак), а значит, на нем можно выразить что угодно. А поскольку не тащит за собой рантайм и позволяет с изрядными заебами, хочу отметить использовать память напрямую с битоебскими операциями, то и ось на нем можно писать. Но понимаешь, НЕ. СУЩЕСТВУЕТ. СЕРЕБРЯНОЙ. ПУЛИ. БЛЯДЬ. Сколько еще поколений восторженных долбоебов должно разочароваться, чтобы начало доходить? Нейронки быстрее и проще накидать на питоне. Компиляторы проще и приятнее писать на хаскеле. Виртуальные машины лучше писать на си. Вычисления -- на фортране и куде. Можешь нахуй пойти со своим дрочем на раст, заебало уже. Видел штук пять проектов, которые были завалены группой долбоебов, пихавших везде раст. Они стабильно проебывали все сроки, ВСЕ. Зато раст, да.
>>223965004Ну хз, с одним знакомым прокатило, он посидел над насмом, затем начал смотреть, а в какие инструкции, собсно, компилится его код и внезапно до него дошло, насколько он пишет уебищный код. Вдруг с кем-нибудь так же произойдет.
>>223964920не медленнеенеудобное = не дает тебе облажаться учись кодитьнахуй для нейронки питон? там внутри си, питон просто клей для настроекчто там тебе приятнее на хаскеле уткавиртуальные машины в разы лучше писать на расте, забыв про си как страшный сонкакой фортран нахуй в 2020, блять не сразу заметил толстоту
Проиграл с опа-макакича, начитался умных слов и пукает (типа шарит)>>223964920Тебе для справки, нубло: открой растовый бинарник в иде и посмотри в таблице импорта что оно там тащит. Хотя ты очевидно ею пользоваться не умеешь, даю подсказку - там плюсовый рантайм и ещё куча всякого говна.
>>223965372Было бы чем выебываться, хаскель любой освоить может, идрис тоже. Ну, не любой, у тебя мозгов не хватит. И да, кресты в каком-то смысле дохуя сложнее хаскеля. Хаскель вообще под капотом очень простой язык.>>223965562Я под рантаймом привык подразумевать то, что тащит в бинарники хаскель и го. Уж извините, что мое понимание этого слова в силу специфики занятий отличается от вашего. И да, стандартное "пошел нахуй" держи.
>>223965570хаха ну ты и осёл ... чистый и понятный.... его миллиард лет делают так чтоб можно было понятно писать и всё равно такие быдло как ты умудряются засирать код а нормальным пацанам потом приходится копаться в этом быдлолегаси
>>223965987>>223966029Так. Я юнитоеб, только что вылез из пещеры. Объясните, пожалуйста, а то я не понимаю, чем он плох.
>>223965668> Я под рантаймом привык подразумеватьникого не ебет что ты там привык, ссаный петух. Если отступаешь от терминологии то упоминай это. псина ржавая.
>>223966584какие тебе в пизду в жаве указатели, ебанок? смешно обвинять в чем-то жаву, сидя очком на шарпах, которые есть жабы допиленное отражение
>>223966569Ты, блядь, с какого перепугу мне предъявляешь то, в чем сам проебался, хуесос? Тебе в голову взбрело одно понятие рантайма и ты даже подумать не можешь о том, что кто-то может подразумевать под этим словом нечто иное. Ты в курсе, что это черта мышления либо аутиста, либо ребенка? Нет, на дваче, конечно, куча детей, но чет, походу, ты просто даун-аутист.Пошел нахуй
>>223966803я ваще-то другой анон. поссал тебе в ротик потому что рантайм это довольно строго определенное понятие в этом контексте, и пиздеть тут "я привык понимать под...". Это вон твоя блядливая маманя привыкла понимать под бичами твоего папашу. А здесь с терминами строго, маш.
>>223967021> что я написалТы написал очевидную хуйню. Подразумевающую что указатели и интерфейсы есть только в "жавапомойках", и их нет в дот-нет семействе. Это - полная хуйня. Соси.
>>223943631 (OP)>COBOLУх блять, сразу вспомнился завод, 2005 год, нужно начислять зарплату, а система наебнулась, а админ ушел на пенсию. Ладно хоть на плюсы переписали, работает до сих пор.
>>223967127Ну окей, со смыслом слова я проебался примерно как твой батя, когда забыл вытащить из своей собаки и был вынужден растить тебя, щенка. Есть еще аргументы кроме неправильного смысла слова "рантайм"?
>>223943802TS не может быть быстрее JS. Это обёртка, даже уже скомпиленный в JS TS при помощи айви будет медленнее.
>>223967693Более того, добавлю, что, например, при работе с базой TS от 2 до 10 раз медленнее C#. И уж если медленнее шарпа, который медленнее крестов, то вы понимаете.
>>223967579Повторяю для тупорылых ржавых обмудков: я другой анон, смысла вашего срача не ведаю. Олсо, видел с чего все началось - с твоего пиздежа, какой он ебать убийца всех языков и универсалия. Конечно же здесь ты сосешь как шавка. Язык это не только его семантика и "пиздатость", но еще и то, что для него есть за инструменты разработки, ниши где он оброс фреймворками, просто целевая задача. Понимаешь о чем я, долбоеб? Есть человеческие языки какие-нибудь эзотерические, максимально эффективные, типа ифкуиля, но они никому нахуй не нужны, все работают с английским. как и "мегапиздатое" эсперанто никому в итоге в хуй не вперлось. Когда на твоем пидоРасте можно будет написать что-то кроме пары велостпедов - сможешь снова прийти и открыть свою пасть. К тому времени моё говно как раз дожуешь.Хватит пока?
>>223968044Ты дебич? Я как раз растоебу пытался объяснить, что он хуесос.Больше всего бесят как раз растоебы, гошники и джсомакаки, потому что дальше своего яп видеть не хотят, пихают их везде (как пример -- ссаная нода, блядь, ну зачем).
>>223966446Только тем что прогнут под мелкийсофт. Если дотнет моно взлетит в небеса то будет доминировать. Правда нахуй он кому нужен, если есть современные вещи вроде котлина, и куча всего готового на джаве.
>>223969035Кмк, будущее за языками, у которых хорошая система типов и все тащится в бинарник. Тут тебе и скорость, и надежность. Что-то среднее между хаскелем и го в этом плане, хаскель слишком академичен для среднего кодера современного.
>>223969150Ты точно не школьник-максималист? Может пояснишь зачем ты так яростно дрочишь на скорость? Ты понимаешь что это лишь иногда решающая характеристика софта?>будущее за языками, у которых хорошая система типов и все тащится в бинарникинтересный твист истории. а почему тогда они оказались в прошлом? а сейчас почти все (занимающее заметные ниши) на виртуальных машинах, JITе, и интерпретаторах? Может потому что первая часть этого птсо имеет место быть?> хорошая система типовэто какая интересно? система типов не бывает хорошая или плохая. она бывает подходящая или нет под что-то. Впрочем, уверен ты дрочишь на Хиндли-Милнера
>>223969766Чел, подумай вот о чем. Виртуальные машины для запуска софта надо устанавливать, а если у тебя все в бинарнике уже есть, то ты просто можешь его запустить и не париться.Хорошая система типов для языка общего назначения -- это такая, которая позволяет без особых изъебов с кастомной реализацией полиморфизма писать программу, не заботясь об ошибках в типах и прочей хуйне. Необязательно такая же, как в хаскеле, вон в окамле ооп присутствует и императивщина.Си для низкоуровневых вещей хорош, но везде его не запихаешь, слишком много придется делать самостоятельно. Короче, хорошая система типов -- это развитая, надежная, проверенная система, максимально облегчающая решение задач кодеру.Java и co в топе из-за простоты освоения, частично обеспеченной виртуальной машиной. Просто сейчас LLVM позволяет перенести автоматическое управление памятью и прочие ништяки сразу в бинарник, а при желании можно и JIT прикрутить, если нужна совсем производительность. Да и посмотри на грааль, тоже может в бинарник все собирать. Интересно, с чего бы этим заниматься, если виртуальные машины победили, м?
>>223970644> Чел, подумай вот о чем. Виртуальные машины для запуска софта надо устанавливатьДа что за хуйня с тобой? Если уж на то пошло, твой бинарник тоже надо запускать в ОС, которую надо устанавливать. Это для него его виртуальная машина. Все это говно (JVM и CLR) и так стоит везде где только можно, тоже мне проблема. и придумали их, так-то не просто так, потому что чувакам скучно стало. Одну для многоплатформенности, другую для многоязычности> без особых изъебов с кастомной реализацией полиморфизма писать программу, не заботясь об ошибках в типах и прочей хуйнекак по мне, это и есть суть программирования в основном, а не иф-элсы, циклы, и прочее стучание хуем по клавиатуре> Короче, хорошая система типов -- это развитая, надежная, проверенная система, максимально облегчающая решение задач кодеру.Заебись. С таким определением это больше похоже на религию или наебизнес от гуру мотивации: пиздежа вроде много, и красиво, но все пространно и по сути ни о чем> Java и co в топе из-за простоты освоенияну охуеть. ты ее знаешь сам? я не хочу сказать что она сложная. но она и не простая. а то что ты называешь и Co вообще хз что за собой подразумевает. Если котлин то в нем еще всего полно допихнуто, что сравнивает их совокупную сложность с шарпами уж точно. А с Си так вообще не сравнить даже джаву - си простой как пенёк, просто у некоторых почему-то вызывает непонимание концепция указателей. Но она не сложнее идеи обобщений например из той же джавы.Я если честно не ебанись какой программист вне ООП и процедурщины, да и в нмх такое себе. А по функциональщине знаю только общую идею и ее реализацию на джава. Так что если в чем то не прав то похуй. У каждого свое мнение.
>>223945651Поцкаль кстати пиздатый, просто забытый. В нем есть и управление памятью, которое "мы потеряли", и вообще он местами похож на свежевырожденный Котлин (синтаксис объявлений, переменные и константы указываемые явно первым же словом, возможность указывать диапазоны и все такое). Просто делфиёбы из него сделали программируемое от UI говно, и скатили его в парашу.
\Roll \гороскопСегодня звезды встали таким образом, что ты можешь пощелкать хлебалом в тредике. Однако, есть риск дрочить булки . Поэтому Двач советует тебе, сестричка: братву на сиськи не меняют!.
>>223943631 (OP)Java бог в треде, как говориться медленно но верно. Могу тебе написать код для микроволновки и холодильника
>>223943631 (OP)Где рнр/с#/perl/brainfuck/whitespace/nim???? Что за пидор ёбаный составил список хуй пойми какой??? Пиздец петух проткнутый оп.
>>223943631 (OP)> Ролл языка программирования тред.> 0. NASM> 1. C> 2. C++> 3. Java> 4. D> 5. Rust> 6. Kotlin> 7. Python> 8. Javascript> 9. Golang> 00. Forth> 11. Erlang> 22. OCaml> 33. ClojureRoll> 44. Racket> 55. Scala> 66. Ruby> 77. Elixir> 88. SML> 99. Haskell> 666. COBOL