X
Size: a a a
2021 February 06
AH
А в F# есть утиная типизация, как в C#? Сработает ли такая вещь
type IMonad =
abstract member Bind : 'b * ('b -> 'c) -> 'c
let (>>=) (a : IMonad) = a.Bind
?
type IMonad =
abstract member Bind : 'b * ('b -> 'c) -> 'c
let (>>=) (a : IMonad) = a.Bind
?
А где тут утиная типизация
X
А где тут утиная типизация
Ой, не дописал
AH
Короче, после этого можно будет использовать >>= вместо let!?
Ну, нет. Но можно сделать так чтобы можно было
AH
Тебе нужно SRTP
В фшарпе есть утиная типизация. Честная
В фшарпе есть утиная типизация. Честная
AH
Так чтоль? let (>>=) (a: ^a when ^a : (member Bind : ^b * (^b -> ^c) -> ^c) ) = a.Bind
Это все равно не поможет, так как let! заменяется на Bind из типа билдера который почти никогда не связан с типом монады
AH
Но оператором выше ты сможешь просто писать монадический код
AH
Без билдеров
AH
Ну нафиг эту затею
Если чо, то это возможно и уже сделано. Но просто это неудобно в отсутствии хкт
X
Если чо, то это возможно и уже сделано. Но просто это неудобно в отсутствии хкт
Что такое хкт?
AH
И поэтому сделать из фшарпа хаскель не получится без приседа на бутылку