https://cvsweb.openbsd.org/cgi-bin/cvsweb/src/etc/root/root.mail.diff?r1=1.137&r2=1.138

УРА ТОВАРИЩИ!!!

Кто нибудь использовал один из сабжей для коммерческого проекта? Какие плюсы/минусы? Что выбрать (для создания торговой площадки)?

Нужно быстро научиться понимать асм, хотя бы на уровне чтения выхлопа компилятора или в отладчике. Если для ARM тоже есть, кидайте. Язык учебника не важен. Заранее спасибо.

TL;DR проблема с GC в Go 3-x летней давности

https://blog.discordapp.com/why-discord-is-switching-from-go-to-rust-a190bbca2b1f

Сабж?

Кто нибудь уже пересeл на сабж и работает на нем? Есть ли подводные камни? Что то отвалилось из melpa?

Есть такие в природе (на Си)?

Нужно для написания очередного WM.

«Почему Ü? Потому, что хотелось однобуквенного названия, а все буквы из набора A-Z уже заняты.»

«Зачем нужен ещё один язык?

Я рассмотрел ряд существующих статически-типизированных компилируемых более-менее известных языков, и пришёл к выводу, что ни один из них меня вполне не устраивает. У всех них есть «фатальные» недостатки.

Конкретно по пунктам:

C — слишком низкоуровневый и небезопасный

C++ — по наследству получил много недостатков низкоуровневости, появились новые способы выстрелить себе в ногу, отсутствие рефлексии

D — сборщик мусора, отдельные ссылочные типы

Java — сборщик мусора, все композитные типы ссылочные, сильная завязанность на виртуальную машину. Многое и этого применимо и к языках на основе JVM.

C# — недостатки во многом аналогичны Java

Rust — необходимость явного взятия ссылок и явного их разыменования, (субъективно) опасность подхода, когда всё есть выражение и возвращает результат, наличие явного указания соответствия протоколу, отсутствие наследования

Go — сборщик мусора, отсутствие шаблонов

Swift — ссылочные типы, необходимость явного указания соответствия протоколу

Обнаружив несовершенство всех вышеперечисленных языков, я решил создать свой, лишённый, как мне кажется, всех недостатков.»

https://habr.com/ru/post/465553/

https://github.com/Panzerschrek/U-00DC-Sprache

Кто использует сабж на лаптопе с железом интеля для вифи, киньте ссылкой/рецептом, как это можно проще сделать?

Заранее спасибо!

Теперь Idris 2 написан на самом себе (Idris 1).

https://github.com/edwinb/Idris2

Из новых фич:

• A core language based on «Quantitative Type Theory» which allows explicit annotation of erased types, and linear types.
• let bindings are now more expressive, and can be used to define pattern matching functions locally.
• Names which are in scope in a type are also always in scope in the body of the corresponding definition.
• Better inference. Holes are global to a source file, rather than local to a definition, meaning that some holes can be left in function types to be inferred by the type checker. This also gives better inference for the types of case expressions, and means fewer annotations are needed in interface declarations.
• Better type checker implementation which minimises the need for compile time evaluation.
• New Chez Scheme based back end which both compiles and runs faster than the default Idris 1 back end. (Also, optionally, Chicken Scheme and Racket can be used as targets).
• Everything works faster :)

Сейчас это пока преальфа, но почти все примеры из книги Type-Driven Development with Idris работают с незначительными изменениями:

https://github.com/edwinb/Idris2/tree/master/tests/typedd-book

Патчи и доработки приветствуются:

https://github.com/edwinb/Idris2/blob/master/CONTRIBUTING.md

Привет.

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

Спасибо.