как дифы показывает VSC

лучше тем что в строчках явно выделяется изменение

хуже тем что показ изменений не сплющивает файл, то есть вот тут чтобы найти другое изменение нужено внимательно присмотреться к полоске скролла и найти там вторую черточку на 200 строк выше

UPD: не, пардонтъе, сверху есть кнопочка складывающаяся карта, которая делает ровно это, см коммент

Добавил подобие стактрейсов

Теперь получается комбинируя предыдущую фичу которая принтит значения всех локальных переменных и эту, можно получить алляя брейкпоинт, токо в виде оутпута в консоль

см коммент

https://youtu.be/ABemmnhwKKQ
Внимание!
7 Зулин минут прошло(3 года), обзор на Сибирь 3 вышел пару минут назад

Ну окей это хитро, можем в рантайме свитчится пур функция или не пур(пур-пур) и напимер запускать в паралель

на греческом "они" делится по родам, то есть они коты и они кошки — 2 разных слова афти, афтес

и оно немного мясогенетическое, если группа смешанная и там хотя бы один мужского а остальные женского, тогда вся группа афти, и если только все женского то афтес.

https://youtu.be/HoJaLJEPXW8
Опа, нашел толк как раз примерно про это

С какими проблемами сталкиваются алгебраические эффекты при полиморфизме

Например у вас есть тайп класс сложения, вычитания итд, флоты поддерживают деление на ноль, а инты выбрасывают ДтвижонБайЗеро, то есть имеют эффект, как же все это унифицировать?? вот вам небольшой крючок ^_^

иду к реке

https://store.steampowered.com/app/2134320/ENA_Dream_BBQ/
релизнулась первая глава, бесплатна

Наверное идеальный пример реализации маленького типизированного компилятора на простом языке
GoCaml - реализация сабсета окамла с LLVM,
https://github.com/rhysd/gocaml/tree/master

А не подскажите ваше любимое решение для мутации полей объектов?

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

type Person name: String age: Int

Person birthday = age <- age inc // НИЗЯ
mut Person birthday = age <- age inc // можно

x = Person name: "John" age: 20 
x birthday // НИЗЯ

// мутабельного типа
y::mut Person = Person name: "John" age: 20
y birthday // можно

Этот подход классный тк кк мутации всегда локальные, но есть проблема — как мутировать поле другого объекта в объекте?

type Wallet money: Int
type Person wallet: Wallet

выходит теперь нужно объявить само поле мутабильным внутри Person

type Wallet money: Int
type Person wallet: mut Wallet

как то это уже черезчур, или нет, мхмхмх

сори за спам nivой, но шото я начал снова активно ее кодить, добавил type narrowing при матчинге на нулл во все остальные ветки

до этого была бы ошибка "can't send inc message to nullable type Int?"
по сути нуллабл типы это особый кейс суммы типов с нулом

Также у меня есть идея обратного матчинга, который будет нарровить не в новый скоп, а во внутренний - все что ниже. Чтобы не городить вложенности если нам нужен только один инвариант