Хочу поделится как максимально неудобно сделаны юнионы в Unison, либо я чего то не понимаю.
Сначала, вот как выглядит декларация размеченного пересечения на нормальном языке

В Unison record типы(типы с именованными полями) поддерживают только сингл конструктор, поэтому чтобы создать юнион между рекорд типами, каждый из них приходится объявлять отдельно и это превращается вот в такой вот цирк LoggedIn LoggedInType

Гениальная идея, девайте сделаем литералом для Char не одинарные кавычки а ?, как поставить пробел, ну разумеется ?\s

Исландия не имеет извлекаемых природных энергоресурсов, но при этом и не импортирует ее. Страна получает 88% энергии из возобновляемых источников. Уважуха конеш.

Плохая идея, получается вот 3 поца, пишет каждый на своей ОС, коммитят в одну репу, и код каждого заканчивается разными спецсимволами, либо прекоммит хуки вешать на конвертацию, либо юзать гит гуй в котором это все уже встроено, что делает фичу бесполезной

Такая простая хрень, а сколько радости когда работает, начинаю переписывать свой яп на ним

Pictured: C developer is informed about a useful warning flag.

windows

browsh - полноценный консольный браузер на движке файрфокса

Хочу поделится кусочком синтаксиса своего языка.
Суть такая, все функции являются функциями расширения какого то типа, он идет на первом месте, тут это int(в теле - self). Дальше идет сигнатура, и после равно тело, если функция состоит из одного эксепшона то скобки можно не ставить, последний эксепшон это возвращаемое значение.

Я не совсем понял, но выглядит интересно https://youtu.be/3WKfgbUkSug

Бедные андройд разработчики, это на оффсайте первое в доке по анимации