UPDATE AS OF 6/12/2017: I have moved this list to the ABCD
where it will be maintained from now on. As ever, please get in touch
with tool updates, and I will update it on that site.
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!