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
Replying to
'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.
I've seen some styles of Haskell use it, eg. in
Replying to
I had bumped into some of these differences, but didn't have the expertise in any of these languages to be confident. Thanks for this!
1
2
No worries! I think it's pretty interesting to see how the differences affect how they are used, along with various community norms. But yeah, I sometimes feel it's a bit frustrating that they all have the same name.
1
1
Show replies