This site is currently broken for new queries. It seems like some bot hit it and we ran out of exa credits.
Enter your personal website to find others like you. Powered by Exa's "find similar". Built on Val Town.
Later, the students discover the truth; their values are really types, and their types are really kinds.
It already means different things in different syntactic contexts, like function application or type (family) application.
But you don’t have to, the modal framework solves the problem, by distinguishing between a value per se; the computation that returns it fully create…
(The comments name the objects being allocated or indicate the points-to relationships caused by the statement.
You can have whatever sorts of recursive Haskell '98 data definitions you like, it doesn't matter!
Some people (I remember Mark Jones and Simon PJ) argued fiercely against this, saying that it would be too easy to make mistakes and forget a type va…
There's a way to define 'id' and some ways to make it useful.
Two things make it particularly powerful.
One Thing to place them in environments and bind them,