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

Исправление MOPKOBKA, 10.06.25 00:14 (текущая версия) :

Пока не приступал к изучению Haskell, но работающий аналог мне кажется будет вот таким:

type t = | T of (int -> t)

Это оборачивание в структуру (data), поэтому не могу записать Haskell в первый список.

Мое предположение верно, если

(T x) ~~ y = x y

Расшифровывается как

let (~~) t y = 
  match t with
  | T x -> x y

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

Исправление MOPKOBKA, 10.06.25 00:12:

Пока не приступал к изучению Haskell, но работающий аналог мне кажется будет вот таким:

type t = | T of (int -> t)

Это оборачивание в структуру (data), поэтому не могу записать Haskell в первый список.

Мое предположение верно, если

(T x) ~~ y = x y

Расшифровывается как

let (~~) t y = 
  match t with
  | T x -> x y

Исправление MOPKOBKA, 10.06.25 00:12:

Пока не приступал к изучению Haskell, но работающий аналог мне кажется будет вот таким:

type t = | T of (int -> t)

Это оборачивание в структуру (data), поэтому не могу записать Haskell в какую либо из категорий.

Мое предположение верно, если

(T x) ~~ y = x y

Расшифровывается как

let (~~) t y = 
  match t with
  | T x -> x y

Исходная версия MOPKOBKA, 10.06.25 00:10:

Пока не приступал к изучению Haskell, но работающий аналог мне кажется будет вот таким:

type t = | T of (int -> t)

Это оборачивание в структуру (data), поэтому не могу записать Haskell в какую либо из категорий.