Conversation

Brendan Zabarauskas
@brendanzab
Wondering if you can use interfaces as parameters in Idris, rather than just in constraints (ie. instance arguments in Agda-speak) 🤔 - bleh, I hate that Scala went with 'implicit arguments' for something related but different. Makes things so confusing.
2
CatTyped
@CatTyped
Does something else exist that is similar in function to modules and type classes, but doesn't use a separate language from values and types?
1
Show replies