ну а смысл более общие рассматривать мне не оч понятен

я в теоркат не шарю, но изоморфизм на яблоках обьясняется просто, допустим так:
У тебя есть 3 яблока, каждоё своего сорта. Из каждого яблока ты можешь достать семена и посадить, вырастить дерево, которое тебе даст яблоко такого же сорта. Это изоморфизм между яблоками и их семенами. Ты не можешь вырастить дерево и получить яблоко другого сорта. У тебя есть однозначное соотвествие между семенами и типом яблок которые ты получаешь.

К тому же ты можешь теорию типов любую задать чисто как какую-то формальную конструкцию без связи с какой-либо математикой и множествами.

Просто набор правил как задавать какие-то хрени для каких-то формул.

https://github.com/hmemcpy/milewski-ctfp-pdf/blob/master/src/content/1.2/types-and-functions.tex

\section{What Are Types?}

The simplest intuition for types is that they are sets of values.

Это как

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

Ну это по идеи только с макросами, в обычном коде такое по идеи невозможно

Можно произвольную логику выполнять на уровне типов

функтор, map и морфизм - это одно и то же?

@DogeShibu чем макросы которые ты показывал в дотти отличаются от обычных функций? Те которые
def foo(): Expr = ${ } или как-то так

Опять эльфийский

Ну так, значит можешь писать NP code в c++ вроде змейку кто то в компаил тайме написал

Я бы за это в проде руки в одно место вставил но как демонстрация и фан вполне себе

Машина Тьюринга на трейтах в расте

Не ну а чо

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

const a = yoba(b)

- это морфизм?

const a = yoba(b)

Перед кем ты собрался выебыватьсч. Перед пандой?

перед такими же как я но которые не знают что такое морфизм

ну вот так