3 самый ахуенный наш любимый ХиндиМинди ^_^

Hindley–Milner
1) собираем все декларации функций переменных в одну бог шлепа структуру, обычно изза этого в таких языках есть жесткое требование к определению до использования F# OCalm(форвард декларейшон как в С)

2) Присваиваем переменным воображаемые временные типы, аля тайп холы ⭕️ t0 t1 t2...

3) Генерим уравления/ограничения, исходя из контекста, например обычно в H&M нет перегрузки операторов, и + всегда означает 2 числа, из этого можно легко вывезти 2 любых t1 + t2, еще простой пример fun f(x), f(y), => x == y, аля аргумент должен быть того же типа что параметр функции

4) Унификация, ну это я уже выше описал по сути, решаем все ети уровнения, если решение найти невозможно — выдаем ошибку типа

VLC кал говна, особенно UX

очень конкретная схема развития любого програмиста
(за спам извени)

идеи древних java людей

компухтар с подписью we used to be a proper profession

окак

вот всегда бы так

пересматриваю, все еще лучшее объяснение спидран техники

Таких треугольников много, но эти конкретные 6 треугольников мои, мои треугольники — мои лучшие друзья, я должен научится владеть ими также как я владею своей жизнью

constexpr может быть как runtime так и ct
consteval is ct only

сука, это помойму какой то апогей дизайна, понятно что хуже только perl, но все же, назвать штуки практически наоборот

Очередной уверенный сиподобный яп(как я их всех нинавижу), на этот раз для разнообразия никаких особенностей

https://deen-docs.vercel.app/
https://github.com/mealet/deen

- Jai: make_directory_if_it_does_not_exist

I fully support that

C++ exists to create jobs and keep dumbasses away from money.

неочевидная весщъ

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

а как же сделать все таки функцию, не принимающую аргументов

а надо обернуть все тело в лямбду и добавить один фальшифый _ аргумент, теперь это как бы переменная-лямблда поэтому ее можно вызывать как функцию без аргументов

либо еще один вариант, в комментариях

а нахуя тогда мне эта информация?

Джулиан Спарбер делится рабочим прототипом мерж реквеста для поддержки нескольких курсоров в Reflection (ранее Aardvark), локального текстового редактора для GNOME.

прохид заборонено

не ну LSP это конеш прикольно
- склонил чужой Vala IDEA плагин
- поменял там одну строчку пути к своему exeшнику
- готово, поддержка для нового языка в IDEA

хоспади блять, ну спасибо мак, незя уже и либу поставить без 4(четырех!!) гуй приложений