это ж смотря какой системой типов? Даже алгебраическая не справится?

не справится

тысячи их. Идея в том что типы могут удовлетворять какому-то констрейнту или зависеть от парамтеров т.е. не просто целое число, а целое число <= 42, или четное число.
Даже не обязательно быть языком программирования чтоб иметь завтипы. Например https://core.telegram.org/mtproto/TL-dependent

Если в контексте ЯП то завтипы обычно ходят рука об руку с формальной верификацией. Т.е. ты задаешь некоторые леммы которым должна удовлетворять твоя теорема ( например программа), и "компилятор" пытается доказать или не доказать эту теорему.

А потом упереться в collatz conjecture, который пока что недоказан (и неизвестно возможно ли доказательство) но на всех проверенных числах сходящийся к 1

Но это я так, просто бугурчу

ну это уж не ко мне

а что-нибудь для автодокументирования а-ля doxygen есть ?

ex_doc ?

а чего-то более вменяемого нет? чтобы ссылки на программные объекты работали, графы зависимостей итп

@param[in] blablabla итп

ссылки на функции - описание в доке и исходники в репе - работают. Графов нет

спеки от диалайзера тоже подтягиваются

с учетом того, что в эликсире "объект" = модуль, то вроде всем хватает

разметкой обычно пишут

## Parameters

  - a: bla bla

Посоны

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

И я хочу чтобы было два метода some_method() но один будет работать если у структуры этот флаг true, а другой false Автоматом, как у самого метода это задать? Забыл

def some_method(если у структуры это поле тру):
def some_method(если у структуры это поле false):

Как там сопоставление с образцом используется

def function(%MyStructure{flag: true}) do
  ...
end
def function(%MyStructure{flag: false}) do
  ...
end

Спс

есть ли способ собрать из под линукс релиз в exe для windows?

да,есть такое.

Поковыряешься с кросскомпиляцией, справишься, а дальше надо будет упаковать в инсталяшку.

Вот тут тебе нужен nsys