Thanks for all the thoughts on the language! My responses:
On 3/17/21 6:36 PM, Joachim Breitner wrote:
I got “Some constructor unification variables are undetermined in
declaration” for unification variables in unused code (e.g. when I
stopped using some temporary recursive helper function).
On 3/18/21 2:20 PM, Joachim Breitner wrote:
Obviously, I need to connect the above function to a source/signal with
the game state. I found that this works, although I wonder if this is
an idiomatic way to do so:
}/>
The idiomatic way would be to use the
Hi Adam,
thanks for the responses!
Am Donnerstag, den 18.03.2021, 09:51 -0400 schrieb Adam Chlipala:
> > Ur/Web doesn’t support canvas drawing out of the box, but I found
> > https://github.com/fabriceleal/urweb-canvas/. Using a library like that
> > was simple enough. Unfortunately, it didn’t
On the topic of whether variants would clean up your last few examples:
Off the top of my head (i.e., modulo some number of compiler errors...),
here's how you'd write a generic "get" function for variants and homogenous
records.
fun get [fields ::: {Unit}] [t ::: Type] (f : folder fields)
