VK
Ну там написано что он сделал аналог зио
Хех
Кстати, я не знал что у нас так работает инфиренс
let foo env = // env :> IDb and env :> ILog
let user = Db.fetchUser env 123 // env :> IDb
Log.debug env "User: %A" user // env :> ILog
Size: a a a
2020 April 06
AH
Что констрейны интерфейсов композятся. Прикольно
VK
Что констрейны интерфейсов композятся. Прикольно
Ну это логично раз так можно
VK
AH
Ну это логично раз так можно
Ну хз. Я вот думал он констрейн выведет по первому применению
AH
Но вот теперь когда я это вижу, думаю что логично что он их композит. Ведь интерфейсы позволяют множественное наследование.
AH
Короче, интересная фишка
RM
нет. Как тут написано, через тип AppEnv и интерфейсы:
https://bartoszsypytkowski.com/dealing-with-complex-dependency-injection-in-f/amp/?__twitter_impression=true
https://bartoszsypytkowski.com/dealing-with-complex-dependency-injection-in-f/amp/?__twitter_impression=true
и эффекты заюзали?
R
и эффекты заюзали?
какие? В каком виде?
RM
какие? В каком виде?
в том что в статье
R
Кстати, я не знал что у нас так работает инфиренс
let foo env = // env :> IDb and env :> ILog
let user = Db.fetchUser env 123 // env :> IDb
Log.debug env "User: %A" user // env :> ILog
let foo env = // env :> IDb and env :> ILog
let user = Db.fetchUser env 123 // env :> IDb
Log.debug env "User: %A" user // env :> ILog
можно кстати композировать такие констрейнты руками, если надо, через тайп алиасы:
type IOne = abstract member One: string
type ITwo = abstract member Two: string
type Oba<'a when 'a :> IOne and 'a: ITwo> = 'a
let func (x : 'a Oba) = ...
AH
можно кстати композировать такие констрейнты руками, если надо, через тайп алиасы:
type IOne = abstract member One: string
type ITwo = abstract member Two: string
type Oba<'a when 'a :> IOne and 'a: ITwo> = 'a
let func (x : 'a Oba) = ...
Руками, то понятно
AH
Я удивлен что инфиренс на такое способен
R
в том что в статье
дак нет же, там эффекты в ридер монаде, а мы пошли путем AppEnv
SN
Т е можно на эрланге но лучше на эликсире
лучше на эрланге
R
лучше на эрланге
какие ваши аргументы?
Y
Подскажите пжст
Есть ли какой то аналог раскрытия option в FSharp подобно null-conditional operator в CSharp ?
Есть ли какой то аналог раскрытия option в FSharp подобно null-conditional operator в CSharp ?
DB
я не знаю csharp, но мб Option.defaultValue
DB
лучше на эрланге
ну хз, мои знакомые питонисты которые пишут на эрланге (лол) говорят что пишут на эликсире а голым эрлангом добивают там где не получается и/или нужен перфоманс