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.
The first thing we'll need to do to begin the process of evaluating expressions is write a function to plug in a value for a specific variable.
It already means different things in different syntactic contexts, like function application or type (family) application.
As ever, this is not terribly idiomatic but I thought it might be interesting to some people.
And if you wanted to put the pieces together, you could build another function on top of it like this:
When I was a grad student in physics, most of the grad students (myself included, much to my shame) joked about how dumb all the pre-med students wer…
Some years ago I learnt of them through the excellent Typeclassopedia, looked at the examples, and understood them quickly (which is more than can be…
this post is to observe similarities with the two, as I go about learning.
It will look like this:
It's complex and it's going to get worse.