I hope to keep this updated; if I have missed your tool, if you have a
new tool, if you don’t want your tool on this list, or if you have a
better description for your tool, please send me an e-mail!
I’m going to be giving the February EdLambda talk! I’ll be talking about functional web programming, and more in detail about some F# language features such as computation expressions, asynchronous workflows, and type providers, along with functional web abstractions both old and new.
I’ve promised this post to quite a few people now, so here it is!
I wrote a very basic network library a little while back for Idris, but recently decided to scrap it and start again. In this post, I’ll describe how to use the new library, the guarantees that dependent types give us, and show some examples. I’ll also describe my plans for the coming months. Any comments or criticisms would be very much appreciated!