Inside 736-131

Existential Pontification and Generalized Abstract Digressions

How Ur/Web records work and what it might mean for Haskell

Ur is a programming language, which among other things, has a rather interesting record system. Record systems are a topic of rather intense debate in the Haskell community, and I noticed that someone had remarked “[Ur/Web has a very advanced records system]. If someone could look at the UR implementation paper and attempt to […]

  • April 20, 2012