История изменений

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

Ага. Это не отменяет того, что в системе типов есть (), который используется, когда функция ничего не возвращает. Переходим обратно к моему изначальному вопросу: как написать сигнатуру функции без void, () и аналогов?

это какой язык вообще?

Rust, Haskell и ещё несколько функциональных языков.

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

Ага. Это не отменяет того, что в системе типов есть (), который используется, когда функция ничего не возвращает. Переходим обратно к моему изначальному вопросу: как написать сигнатуру функции void, () и аналогов?

это какой язык вообще?

Rust, Haskell и ещё несколько функциональных языков.

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

Ага. Это не отменяет того, что в системе типов есть (), который используется, когда функция ничего не возвращает. Переходим обратно к моему изначальному вопросу: как реализовать это в системе типов без void, () и аналогов?

это какой язык вообще?

Rust, Haskell и ещё несколько функциональных языков.

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

Ага. Это не отменяет того, что в системе типов есть (), который используется, когда функция ничего не возвращает. Переходим обратно к моему изначальному вопросу: как реализовать это в системе типов без void, () и аналогов?

это какой язык вообще?

Rust.