Size: a a a

2021 April 02

RS

Rustam Sayfutdinov in F# Chat
Согласен. В этом плане этот доклад понравился
https://youtu.be/9ArnBcOf_pU

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

AH

Ayrat Hudaygulov in F# Chat
ор
надо было еще перегрузить сравнение на ==
источник

AH

Ayrat Hudaygulov in F# Chat
ну и вроде у нас уже интерполяция есть
источник

AH

Ayrat Hudaygulov in F# Chat
Console.WriteLine($"Hello, {name}");
источник

VS

Vladimir Shchur in F# Chat
ну там и так норм, то что больше всего люди ждут - отсутстве ignore и early return
источник

VS

Vladimir Shchur in F# Chat
а, хотя наверное ignore тут не причем, только early return
источник

DB

Denis Bobrov in F# Chat
делаешь async {} и в нем свой early return сколько хочешь )
источник

VS

Vladimir Shchur in F# Chat
проверил - ты не можешь просто в асинке early return )
источник

VS

Vladimir Shchur in F# Chat
источник

DB

Denis Bobrov in F# Chat
тогда я мб что то перепутал, мне казалось что можно
источник

VM

Vitaly Markov in F# Chat
Приветствую! Есть ли в F# способ использовать nominal typing для такого случая как єтот ? https://replit.com/@vymarkov/fsharp-nominal-typing#main.fs
источник

EB

Eyes in the Box in F# Chat
Vitaly Markov
Приветствую! Есть ли в F# способ использовать nominal typing для такого случая как єтот ? https://replit.com/@vymarkov/fsharp-nominal-typing#main.fs
вообще это совершенно бесполезная обертка если честно.
type UserID = string
если как-то хочется присобачить к этому подобие типизации и получать по балде от компилятора, то тогда уж
type UserID = Id of string
источник

VM

Vitaly Markov in F# Chat
спасибо
источник

g

gsomix in F# Chat
Или использовать https://github.com/fsprojects/FSharp.UMX
источник

В

Вячеслав in F# Chat
а измерения со стрингами работают?
источник

g

gsomix in F# Chat
Вячеслав
а измерения со стрингами работают?
Через FSharp.UMX
источник

VS

Vladimir Shchur in F# Chat
Eyes in the Box
вообще это совершенно бесполезная обертка если честно.
type UserID = string
если как-то хочется присобачить к этому подобие типизации и получать по балде от компилятора, то тогда уж
type UserID = Id of string
Не соглашусь что бесполезная обертка, это называется alias, удобно упрощать сигнатуры, например
https://github.com/fsharplang-ru/pulsar-client-dotnet/blob/develop/src/Pulsar.Client/Internal/ProducerImpl.fs#L19
источник

EB

Eyes in the Box in F# Chat
а, если как алиас - да, если как контроль типов - то нет (:
источник

VS

Vladimir Shchur in F# Chat
Вячеслав
а измерения со стрингами работают?
источник

В

Вячеслав in F# Chat
спасибо попробую, я видимо что то не такс делал, umx скачал но н стринг не повешалось, попробую сегодня еще раз.
источник