там один файл небольшой

Гист есть

https://pastebin.com/STgFfvkL

а в фшарпе с модулями тоже можно без and?

в пределах модуля можно вытворять вот такие штуки

объявление методов вне объявления типа?

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))

А зочем?

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))

Ограничение на взаимную рекурсию функций и типов в 2020 выглядит довольно дико. Да, блин, даже golang позволяет

Нет, у нас строгий порядок

это ведь из-за проблем с выводом типов при наличии наследования?

Я хз, можно как в сишарпе ебашить. Я не вижу необходимости. Код без циклических зависимостей гораздо проще поддерживать

Нет, 8 пробелов лучше.

Это какая-то очень извращенная форма байтоебства?

И это человек, который array pool использует!

И это человек, который array pool использует!

В порнонет закинь

https://twitter.com/ashmind/status/1233908955874611201?s=12

это называется Type Extension, если сделано в пределах одного модуля, то оно будет частью одного типа

тут скорее в пределах одной сборки

Пруфы я предоставлю завтра. Или голову с пеплом. Но скорее пруфы. Я пока уточню, фарш емнип в таких случаях оперирует файлами. Когда я говорил "в пределах одного модуля", я имел в виду файл. Все экстеншны за пределами файла будут скомпилены как экстеншны, а не как часть типа. Я пойду посплю с этой мыслью и завтра накидаю пруф

расширяется любой тип вообще-то. я могу расширить Option (и часто расширяю)

Пруфы я предоставлю завтра. Или голову с пеплом. Но скорее пруфы. Я пока уточню, фарш емнип в таких случаях оперирует файлами. Когда я говорил "в пределах одного модуля", я имел в виду файл. Все экстеншны за пределами файла будут скомпилены как экстеншны, а не как часть типа. Я пойду посплю с этой мыслью и завтра накидаю пруф

Но это не будет частью типа

а какая разница, как они скомпилены? семантически это часть типа, ктоторый может и не я объявлял даже

почему вдруг? если расширения втащены в текущую область видимости - то система типов вполне считает это частью типа

Тогда у нас бы давно были тайп классы..

ЭТО ДРУГОЕ

а это не экстешен, вроде бы

ноуп.

интерфейс не катит

чо опять

Вирус до Мск доехал

Это уже? Где?