Translating Haskell to C++ metaprogramming • Hacker News Board

Re: Translating Haskell to C++ metaprogramming

#61

Post by harry8 » Tue, Jul 14, 2015, 8:58 AM UTC

tome wrote: post #43

harry8 wrote: post #36

Why is there no usable haskell SSL library? It would seem this is an area where the claims about haskell eliminating whole classes of bugs and so on would really be worthwhile and an amazing advert for haskell advocates. The claims about being able to formally prove the code implements the spec would be pretty damn compelling in that space too. Once upon a time I asked on HN if there are any useful and usable haskell…

Firstly, the entire classes of bugs that Haskell eliminates are not classes that are especially relevant to cryptography. Secondly, if you know where someone has claimed that Haskell lets you "formally prove the code implements the spec" then please point it out to me so I can challenge them for being misleading at best.

Surprising that heartbleed got past you? Or does haskell not eliminate buffer overflows. I've heard many clam it does.

SeL4. It comes up regularly that C, or java or python or some other well used language doesn't work well with isabelle, coq because of pointers, destructive assignment or whatever but haskell is pure and this is one of the many advantage of pure. I don't have this opinion myself nor have I formed the opinion that it's false.

Re: Translating Haskell to C++ metaprogramming

#62

Post by harry8 » Tue, Jul 14, 2015, 8:59 AM UTC

cies wrote: post #53

codygman wrote: post #49

Earlier quoted context omitted.

Have you seen this Haskell tls[0]? "This library provides native Haskell TLS and SSL protocol implementation for server and client." 0: http://hackage.haskell.org/package/tls EDIT: This Github issue provides some great discussion about the security of this library and links to some good discussion as well: https://github.com/vincenthz/hs-tls/issues/89

Wanted to point out the same. Haskell (unlike many other languages) has an SSL/TLS implementation. A few days ago I found out that OCaml has one as well :)

Is it usable? OpenSSL is clearly pretty bad so it doesn't meet that benchmark? Or am I missing something?

Re: Translating Haskell to C++ metaprogramming

#63

Post by banachtarski » Wed, Jul 15, 2015, 11:17 PM UTC

banachtarski wrote: post #28

oever wrote: post #7

Earlier quoted context omitted.

Haskell is a great language. But there are large codebases out there in C++. Porting those is often not feasible. Yet, Haskell can serve as a great inspiration of how to write clean code. C++ does not have the limitations/strictness of Haskell, but that does not mean that a programmer cannot apply the rigor of Haskell to C++ code. Blasien is meant as a way to improve software that works with XML. Big packages like Li…

Agreed. While I would never use Haskell to, say, right a next gen graphics engine, I can confidently say that learning to write idiomatic Haskell code has improved my C++ code.

/s/right/write