Ты в Some получаешь ровно то, что туда заворачиваешь.

Грубо говоря, pattern matching работает в очень неожиданных местах. :)

Грубо говоря, pattern matching работает в очень неожиданных местах. :)

Так у вас в коде матчится | Sample _ -> "x = 0" а у меня | Sample -> "x = 0" , то есть без лишнего параметра "_"

Так у вас в коде матчится | Sample _ -> "x = 0" а у меня | Sample -> "x = 0" , то есть без лишнего параметра "_"

Все верно.

Ты в Some получаешь ровно то, что туда заворачиваешь.

В том и дело, что мне нужно отбросить значение для более красивого матча без лишнего параметра, но в C# это выглядит странно.

Ну, тогда хотя бы сделай аккуратно. let inline (|Sample|_|) a = a = 0 |> f ()

В том и дело, что мне нужно отбросить значение для более красивого матча без лишнего параметра, но в C# это выглядит странно.

Если заворачиваешь unit в option, то получаешь Some(null) в C#.

Ну, тогда хотя бы сделай аккуратно. let inline (|Sample|_|) a = a = 0 |> f ()

Хмм, о () не подумал, спс. Ещё может показаться, что это императивный опыт, но как раз из-за того, что тут нету void, а вместо него (), ещё не привык к void-конструкциям на F#.

Ну, тогда хотя бы сделай аккуратно. let inline (|Sample|_|) a = a = 0 |> f ()

Но я считаю, что это плохой шаблон, конечно.

Но я считаю, что это плохой шаблон, конечно.

А какой должен быть?

А какой должен быть?

Который, например, возвращает само значение.

Просто делать через when не хочется совсем, а так аналог литералов.

Который, например, возвращает само значение.

Тут место, где обязана быть наглядность и такие шаблоны позволяют её соблюдать, еще раз спасибо. В нескоторых шаблонах доп логика типа проверок четностей и проч. Очень удобно, читабельно выглядит.

Эм? Мне нужно вернуть, например, конструктор.

let inline (|Sample|_|) x = if x = 0 then Some (fun (e : char[]) -> System.String e) else None let foo x = match x with | Sample f -> f [|'a'..'f'|] | _ -> "non-zero"так?

Это нормально вообще? https://sharplab.io/#v2:DYLgZgzgNAJiDUAfYBTALgAgJYDti5QwAcAnLANwEM1CwMSUIBXYTAYwHscYs0suMAXmx1O3XvxwY0ACxRSAyhwC2hBs1YYUwCIQByXFAFgAUKky58OQgApECysqKpEAfUQBKDJSHffABgxEAD4MOgcnVCA= public static FSharpOption<Unit> |Sample|_|(int a) { if (a == 0) { return FSharpOption<Unit>.Some(null); } return null; }

Но этот примерчик я сохраню, пожалуй. :) Иллюстрация того, насколько мощный и беспощадный pattern matching в F#.

Но этот примерчик я сохраню, пожалуй. :) Иллюстрация того, насколько мощный и беспощадный pattern matching в F#.

как пример нечитаемого пайпа тоже сойдет

как пример нечитаемого пайпа тоже сойдет

Это уже не так интересно, конечно. :)

как пример нечитаемого пайпа тоже сойдет

А где посмотреть ещё такого?

Ну, тогда хотя бы сделай аккуратно. let inline (|Sample|_|) a = a = 0 |> f ()

Мы многого пока про этот пример не понимаем

В частности, у меня скомпилировалось такое: let (|Sample1|_|) a = printf "%A" (Sample1(Sample1("Unit"))) if a = 0 then Some a else None WTF?

В частности, у меня скомпилировалось такое: let (|Sample1|_|) a = printf "%A" (Sample1(Sample1("Unit"))) if a = 0 then Some a else None WTF?

(это печатает строку "Unit", совершенно внезапно)

Вроде как сам по себе Sample1 имеет тип unit (сужу по декомпилированному коду), но при этом он ещё и является функцией, которая работает так же, как id.

?

open System let ptype<'a> (x: 'a) = printfn "%A" (typeof<'a>) [<EntryPoint>] let main _ = let (|Sample1|_|) a = let foo = Sample1 let foo2 x = Sample1 x // смотреть сюда ptype Sample1 // Unit ptype (Sample1 Sample1) // Unit ptype foo // Unit ptype foo2 // FSharpFunc`2[System.Object,System.Object] printfn "%A" (Sample1 Sample1) if a = 0 then Some a else None match 10 with | Sample1 a -> printfn "matched %A" a | _ -> printfn "not matched" 0

Поразительно.

В декомпиле видно, что foo2 действительно работает как id.

В декомпиле видно, что foo2 действительно работает как id.

А иначе как бы оно матчилось

Что матчилось? Я так и не понял, что же такое этот Sample1 внутри тела функции (|Sample1|_|).

Что матчилось? Я так и не понял, что же такое этот Sample1 внутри тела функции (|Sample1|_|).

Ну это не просто функция же, а шаблон, где Sample1 может быть использован как результат матчинга (как id) Sample1 это int -> int option

В смысле unit -> unit option

В смысле unit -> unit option

Так у @fvnever int -> int option как раз.

^ @fvnever > что же такое этот Sample1 С соседнего чата. Ну вот Sample1 выполняет функцию (то есть является функцией) распознавания значения. Внутри себя он не будет работать как распознаватель, если не сделать его рекурсивным: let rec (|Sample1|_|) a = match 10 with | Sample1 a -> printfn "matched %A" a | _ -> printfn "not matched"

^ @fvnever > что же такое этот Sample1 С соседнего чата. Ну вот Sample1 выполняет функцию (то есть является функцией) распознавания значения. Внутри себя он не будет работать как распознаватель, если не сделать его рекурсивным: let rec (|Sample1|_|) a = match 10 with | Sample1 a -> printfn "matched %A" a | _ -> printfn "not matched"

Всё это не объясняет того, чем же является Sample1 (в отсутствии слова rec). Он то unit, то 'a -> 'a, мне этот факт неясен пока.

При том, что у меня никаких unit в этой функции нету.

https://twitter.com/gsomix/status/984069500789252096

Подождем. :)

С обычными активными шаблонами такой фокус не проходит.

https://twitter.com/gsomix/status/984069500789252096

а можно tldr происходящего?

а можно tldr происходящего?

Ну, в частичном активном шаблоне можно обращаться к чему-то с таким же именем. Без rec.

а можно tldr происходящего?

Пока сами не поняли, что творится. Я по дефолту считаю, что это компиляторный баг (однако, я по дефолту неправ).

Ну, в частичном активном шаблоне можно обращаться к чему-то с таким же именем. Без rec.

наркомания, но интересно

наркомания, но интересно

Поэтому я написал @pezi_pink в твите, он знатный наркомант!

С обычными активными шаблонами такой фокус не проходит.

Они же не оптион

Они же не оптион

А какая разница? Ну, они Choice.

А какая разница? Ну, они Choice.

Я так понимаю там ещё одна обёртка у неполного

let inline (|Sample|_|) x = if x = 0 then Some (fun (e : char[]) -> System.String e) else None let foo x = match x with | Sample f -> f [|'a'..'f'|] | _ -> "non-zero"так?

Ага, такие полезности, но пока ждём результатов о том, что можно выжимать из шаблонов. Кажется натыкался на передачу шаблона параметром, но это могло и привидиться.

Шаблоны передавать можно, это просто функции же.

Шаблоны передавать можно, это просто функции же.

Конечно. Ну там шаблон, принимающий шаблон в качестве параметра, и инициализация шаблона там же, я оч быстро прокрутил, чтобы развидеть.

Мне пока рано смотреть на плохое исполнение, потому и лезу сюда в поисках истины.

https://zaid-ajaj.github.io/Fable.React.Flatpickr/

https://twitter.com/zaid_ajaj/status/984024388084404225

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

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

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

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

Мне то как раз понятно зачем: не писать в матчах кучи when, причем часто их повторяя. А что под полиморфизмом в кавычках вы имеете в виду?

Мне то как раз понятно зачем: не писать в матчах кучи when, причем часто их повторяя. А что под полиморфизмом в кавычках вы имеете в виду?

Имел ввиду, что если шаблон в результате возвращает другой шаблон, то возвращенный шаблон будет выглядеть как обычная функция. Если нет разницы, как эта функция называется, и мы ей оперируем без знания о ней, то зачем здесь шаблон?

Но судя по всему я не понял, что имелось ввиду в https://t.me/Fsharp_chat/54854.

Привет.

https://twitter.com/pezi_pink/status/984100809981026304

Сложно

Хм, то есть он полагает, что тут смешались частичные и полные шаблоны?

> cartermp [8:42 PM] > I’m now writing an F# coding idioms/best practices article in our docs based on long conversations with Eirik

Воу!

https://blogs.msdn.microsoft.com/dotnet/2018/04/11/announcing-net-core-2-1-preview-2/

https://blogs.msdn.microsoft.com/dotnet/2018/04/11/announcing-net-core-2-1-preview-2/

Thnx

А вот тут будет кто из участников чата? http://fsharpconf.com/

А вот тут будет кто из участников чата? http://fsharpconf.com/

Это онлайн конференция, среди докладчиков знакомых из чата не вижу.

Привет.

А есть для FSI какой нибудь способ досрочно прервать выполнение скрипта? Типа return или Environment.Exit()

В vs : ctrl+break

Через контекстное меню тоже доступно

https://github.com/fsharp/fslang-suggestions/issues/567

потому что компилятор начинает считать, что 'T - int

потому что компилятор начинает считать, что 'T - int

Да это понятно

может лучше пользоваться obj -> int

может лучше пользоваться obj -> int

нет

может лучше пользоваться obj -> int

зачем нам типизация тогда?)

так она же и играет злую шутку из-за этого))

Там не в типизации проблема

там явно указан тип 'T

И на него можно повесить констреийнты и все такое

но кмпилятор брет первое ипользовние и говорит, что теперь 'T это инт и больше никак. Хотя ф-ция готова принять и строку

и вот это не оч

там явно указан тип 'T

Не указан тип в объявлении функции

@neftedollar Я же тебе скинул ссылку. Там описано, как это сделать, и почему это не реализовано.

Поэтому компилятор подставит первый выведенный

Инлайны решают часть проблем

@neftedollar Я же тебе скинул ссылку. Там описано, как это сделать, и почему это не реализовано.

я понимаю, еще не дошел до почему, пока только про как в итоге сделать, про f1 f2 и все такое