HaNS is a pure Haskell network stack: 802.3, IPv4, ..., UDP, and TCP. | Hacker News Reader

HaNS is a pure Haskell network stack: 802.3, IPv4, ..., UDP, and TCP.

hackage.haskell.org

82 pointsthesz12 comments

Here's the original announcement: http://www.haskell.org/pipermail/haskell-cafe/2011-May/09229...

And the HaLVM, one of the platforms on which HaNS runs, http://halvm.org/

Galois uses it to build OS-less, pure Haskell network appliances, and to quickly design new protocols, or modifications of existing ones.

In a similar (albeit higher-level) vein, see https://github.com/avsm/melange, @avsm's type-safe network applications in OCaml.

Edit: more details at http://anil.recoil.org/papers/2007-eurosys-melange.pdf.

And also http://www.openmirage.org/

What, no IPv6 or SCTP? I thought Haskell was supposed to be an impractical academic language!

I really don't understand how HN works. Why is this post on the first page? I am currently using Haskell, and even for me this post is not very useful (I would search for a some kind of network stack lib when I need it)...

Because it's an interesting and unconventional project. I admit that a simple Hackage link is not really interesting by itself, but together with a nice blog post, this would have made a really interesting read.

I wonder does HaNS support my head and neck too.

I agree about it being different if there was a blog post describing it...

here's the deal: you will remember having seen a network stack somewhere because of this post. the day you will need one, you will know where to start looking (or even if you forget the name, you will be able to describe it).

it happened to me so many times. an article, a module, a piece of code. i would go back and search reddit and HN for posts.

So you search HN instead of: http://www.google.com/search?q=haskell+network+stack (both first and second result are about HaNS, the second being the page this post links to)

Hacker News often contains interesting bits about and around.

Sometimes I search HN for front page items because I remember that discussion about them contains interesting opinions and links. I cannot find them directly because do not remember what are they.

imagine the possibilities...

* a network stack in haskell might be easier to verify and less prone to stuff like teardrop attacks than one in C

* port/vulnerability scanners in haskell

* new routing algorithms like B.A.T.M.A.N. in haskell

I think this is exactly the stuff that needs to be posted. I've seen dozen startups that their whole business is to support language or platform - clojure, sbcl, scala, lua, etc.

Reply on news.ycombinator.com