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