Search Mailing List Archives
[liberationtech] [p2p-hackers] Programming language for anonymity network
cleng at icsi.berkeley.edu
Tue Apr 22 12:15:35 PDT 2014
-----BEGIN PGP SIGNED MESSAGE-----
On 22.04.14 11:48, Hannes Mehnert wrote:
> At the time being I'd suggest to look into OCaml/Haskell/Erlang or
> Idris (if you need a really expressive type system), maybe write
> specifications upfront in Coq/HOL/Lem. I don't see any reason these
> days to use C/C++ or another unsafe macro-assembly language (and
> currently develop a TLS stack in pure OCaml to run with openmirage.org
> / be used by nymote.org).
I was very happy with Standard ML (non-object-oriented 'predecessor' of
OCAML) for writing complex P2P systems and even user-land transport
Functional programming and static typing helps to discover subtle bugs
that go unnoticed in imperative languages (and I'm not talking about
something as ridiculous as buffer overruns).
Unfortunately, Stevens requirement of familiarity still speaks against
functional programming languages, even for something as popular (and
watered-down) as Scala. It's very hard to find code contributors who
know the language or are willing to learn it.
I think it's a trade-off between the code quality you want to achieve
and the accessibility for a larger coder community. There is no golden
standard right now.
Stevens: If you want to look into Standard ML, I think you have some
in-house experts at MPI SWS.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG/MacGPG2 v2.0.22 (Darwin)
Comment: GPGTools - http://gpgtools.org
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
-----END PGP SIGNATURE-----
More information about the liberationtech