-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 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 protocols.
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. Cheers, Christof -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.0.22 (Darwin) Comment: GPGTools - http://gpgtools.org Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iQEcBAEBAgAGBQJTVr/XAAoJECloHL5dRDpuScYIAKvG6UG6O3l22ZcKuKxbxaFw oSGdZ5gcYcPqFsOKx+KI4eb0Yf6v/+aFR3cgJEJR18wTU6Z050kvdZMYKzn/cvjF sSPI9ZzZYy5croVh+x75gpWuIwuMcem3/UFnv+U5D59KwN6U85JJQkfq7yy6looF abiPOS+EkAxX6EmG7lbNGeIdHWA7gwlkHqeLBLw4S3nbGKWGqZ+ZKOXQE3dnuLES fcCVYukaQslvsZdDH02Wc1mBjBqL1s0oSNn1J79mlXTolxYzq/OJs+P7t1S/O7ux q+0ibDLuv64ARzW6wa51CRszT6x36/bHssot3hxM6i22TtzTgGz+PAeDIa8XIX0= =NJR2 -----END PGP SIGNATURE-----
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ p2p-hackers mailing list [email protected] http://lists.zooko.com/mailman/listinfo/p2p-hackers
