New blog post: Context and capabilities in Rust
tmandry.gitlab.io/blog/posts/202
13
69
261
Conversation
This Tweet was deleted by the Tweet author. Learn more
And why does everyone seem to use them in Scala if they aren't used in Haskell?
1
4
'implicit parameters' can refer to a bunch of features for filling in parameters. In Scala the insertion is more like type class instance search, in Agda/Coq/Idris it's more like filling in generic type parameters, in Haskell it's more like looking up a name bound in scope.
2
3
I've seen some styles of Haskell use it, eg. in