Доводы закончились.

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

Цена есть. Вопрос лишь в том, кто считает её большой, а кто - маленькой.

Аминь

на входе нет строки в сигнатуре. ладно, в условиях реального Хаскеля что угодно может влиять на завершаемость, но это проблема Тьюринг-полноты, но от функции id ты такого ведь не ожидаешь

наоборот, в Хаскель-чатике даже за такие оскорбления не банят

есть больше одной системы типов

Ну вы поняли,  что я среагировал на неаккуратные формулировки

traceShow ⊥ x

переходить на обзывательства посреди дискуссии — это позиция?

ладно, в условиях реального Хаскеля что угодно может влиять на завершаемость, но это проблема Тьюринг-полноты, но от функции id ты такого ведь не ожидаешь

"С вашими типами летальный аппарат упал - типы плохие"

"Серийный убийца дышал воздухом - воздух плохой"

я умышленно игнорировал некоторые детали реализации GHC, не важные для вопроса

Где? Это констатация факта. Нет анализа ситуации, есть повторение мантры про всемогущие типы. И подстраивание под возражения

Краткое содержание всех дискуссий про типы
- Типы не нужны
- Типы нужны
- Динамической типизации не бывает
- Мне типы помогают
- Я тупой, мне нужны типы
- Я умный, мне нужны типы (просто нравится)
- Я - тип-фетишист
- foo : string -> string -> string
- Я занимаюсь кал(л)играфией на ветру
- Типы - это документация / добавка к документации
- Документация - это документация
- Я люблю полиморфные функции, их типы и халявные теоремы
- За типы нужно платить
- За отсутствие типов нужно платить
- Платить нужно всегда!
- Аминь

Все так.

В конце ещё "Доводы кончились"

это вложено в "Аминь"))

Обычно я ожидаю, что функция не занимается сознательным вредительством :)

> - За типы нужно платить
> - За отсутствие типов нужно платить

владелец заведения всегда в выигрыше