Я, честно, на грани. Я всё меньше вижу примеров, когда АDT именно нужен его нельзя заменить юнионами.

Пологаю под дублированием логики ты имеешь в виду под одним именем функции или ещё чего

Гадт как выражать юнионами будешь?

Ну так это не есть хорошо само по себе

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

Что, простите?

alias T? = T | Null.

Функция это отображение из типа входа в тип выхлопа

м? Где GADT?

А перегрузка функции в подобной нотации?

Другая функция названная этим же именем

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

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

Пытаюсь понять что Ильмира натолкнуло на такие мысли

А противоречия с математической чистотой нет? Одно имя двум понятиям. Обычно в таком случае выдумывают новое имя. А ты предлагаешь послать математическую традицию в задницу почему? Потому что тебе не нравится один я? Ты даже перенёс определение функции из програмисткого в математическое, когда программиское стало неудобным, но не продумал переход. Прекращай софизм и объясни мне, чем юнион типы тебя не устраивают. Я понял, что меня лично ты хейтишь, но чем юнионы-то виноваты?

Софизмы практикует в чатах.

Тут нет противоречия ты всегда можешь представить функцию как (внешний мир, задекларированный в инпуте) => (внешний мир, аутпут)

А, они могут жить, да :)

Это прописная истина из любой статьи "что такое монада"

Тогда зачем две функции, делающие разные вещи называть одним именем?