Conversation

This Tweet is unavailable. Learn more

Brendan Zabarauskas

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

Brendan Zabarauskas

Seems you can - I just can't figure out how to access the 'compare' field:

1

Brendan Zabarauskas

Replying to

Got it!

3:51 AM · Feb 23, 2018Twitter Web Client

Brendan Zabarauskas

Replying to

See this section of the docs: docs.idris-lang.org/en/latest/tuto

1

1

2

Brendan Zabarauskas

Now what I'd like is to be able to be confident that those instance records aren't passed around at run time - to get static dispatch like in Rust. Maybe McBride's worldly typed thingy could help? 🤔

1

Show replies