just did a map using two lists as input! logic programming is cooool
having fun playing with makam:
Conversation
Having too much fun with Makam…
3
3
It's interesting that check and synth end up having the same signature here...
1
1
Replying to
yeah, they have different modes though - like:
check : in -> in -> in -> mode.
synth : in -> in -> out -> mode.
(if Makam had support for this, like in Mercury)
IIUC, the point of the bidirectionality is to get some 'control' over the declarative typing rules.
Replying to
Are modes restrictive or merely descriptive? Like, if you try to use `check` to synthesize a type, will it (a) fail with some bad error message, where an explicit mode would've resulted in a better one, or (b) succeed, but you'd've preferred it didn't by specifying the mode?
1
(Or do they have some other purpose besides these?)
1
Show replies