Just wrote a short note about implementing resource aware domain specific languages by embedding in Idris. Still much to do, but the notation is getting better (less need to write strange looking types, for example).
Archive for February, 2009
Resource aware DSELs
Posted by edwinb on February 12, 2009
Posted in Dependent Types, Domain Specific Languages | Comments Off
FP@StAnd
Posted by edwinb on February 9, 2009
We’ve finally gone all Web 2.0 in the Functional Programming group at St Andrews. Lots of us are now twittering (I’m “edwinbrady“), and we’ve started a group blog. I’ve just posted there about some Idris hacking.
Posted in Dependent Types | Comments Off
