P
Лучше гит
там один файл небольшой
Size: a a a
2020 February 29
AH
там один файл небольшой
Гист есть
P
Гист есть
целых два, но я ссылки на них потерял
AH
Вот сюда залей хотя бы
P
я на пастбин заливаю
P
вот он, тот самый
AH
type Operator =
| Oper of (Expr -> Expr)
| Oper2 of (Expr -> Expr -> Expr)
and Expr =
| Exprs of Expr * Operator * Expr
| Expr of Operator * Expr
| Num of int
type Operator with =
member this.Invoke expr1 expr2 =
match this with
| Oper(x) -> x expr1
| Oper2(x) -> x expr1 (Option.get expr2)
let rec int expr =
match expr with
| Num(x) -> x
| Expr(op, x) -> int <| op.Invoke x None
| Exprs(x, op, y) -> int <| op.Invoke x (Some(y))
AH
в пределах модуля можно вытворять вот такие штуки
VK
а в фшарпе с модулями тоже можно без and?
module rec
P
в пределах модуля можно вытворять вот такие штуки
объявление методов вне объявления типа?
AH
объявление методов вне объявления типа?
ага
AH
это называется Type Extension, если сделано в пределах одного модуля, то оно будет частью одного типа
SB
type Operator =
| Oper of (Expr -> Expr)
| Oper2 of (Expr -> Expr -> Expr)
and Expr =
| Exprs of Expr * Operator * Expr
| Expr of Operator * Expr
| Num of int
type Operator with =
member this.Invoke expr1 expr2 =
match this with
| Oper(x) -> x expr1
| Oper2(x) -> x expr1 (Option.get expr2)
let rec int expr =
match expr with
| Num(x) -> x
| Expr(op, x) -> int <| op.Invoke x None
| Exprs(x, op, y) -> int <| op.Invoke x (Some(y))
А зочем?
SB
Каков юзкейз?
AH
А зочем?
ну типа по частям объявлять взаимнорекурсивные типы без рекурсии
AH
типа вот 1ая часть типа А, вот 1ая часть типа Б, которая зависит от 1ой части А, вот вторая часть типа А, которая зависит от 2ой части типа Б и пр
AH
код получается нерекурсивный, а просто обычный, но типы собираются по кускам, а не разом