[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]
Re: [tor-talk] [liberationtech] [p2p-hackers] Programming language for anonymity network
- To: liberationtech <liberationtech@xxxxxxxxxxxxxxxxxx>, theory and practice of decentralized computer networks <p2p-hackers@xxxxxxxxxxxxx>, tor-talk@xxxxxxxxxxxxxxxxxxxx, cpunks <cypherpunks@xxxxxxxxxx>
- Subject: Re: [tor-talk] [liberationtech] [p2p-hackers] Programming language for anonymity network
- From: Hannes Mehnert <hannes@xxxxxxxxxxx>
- Date: Tue, 22 Apr 2014 22:04:23 +0200
- Cc: wonko@xxxxxxxxxxx, Peter Druschel <druschel@xxxxxxxxxxx>, Dave Choffnes <choffnes@xxxxxxxxxxx>, Nicholas Merritt <nmerritt@xxxxxxxxxxx>
- Delivered-to: archiver@xxxxxxxx
- Delivery-date: Tue, 22 Apr 2014 16:11:47 -0400
- In-reply-to: <5356BFD7.1050705@xxxxxxxxxxxxxxxxx>
- List-archive: <http://lists.torproject.org/pipermail/tor-talk/>
- List-help: <mailto:tor-talk-request@lists.torproject.org?subject=help>
- List-id: "all discussion about theory, design, and development of Onion Routing" <tor-talk.lists.torproject.org>
- List-post: <mailto:tor-talk@lists.torproject.org>
- List-subscribe: <https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-talk>, <mailto:tor-talk-request@lists.torproject.org?subject=subscribe>
- List-unsubscribe: <https://lists.torproject.org/cgi-bin/mailman/options/tor-talk>, <mailto:tor-talk-request@lists.torproject.org?subject=unsubscribe>
- References: <5350E1BD.5010304@xxxxxxxxxxx> <5356B97B.5000308@xxxxxxxxxxx> <5356BFD7.1050705@xxxxxxxxxxxxxxxxx>
- Reply-to: tor-talk@xxxxxxxxxxxxxxxxxxxx
- Sender: "tor-talk" <tor-talk-bounces@xxxxxxxxxxxxxxxxxxxx>
- User-agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:24.0) Gecko/20100101 Thunderbird/24.1.0
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA384
On 04/22/2014 21:15, Christof Leng wrote:
> I was very happy with Standard ML (non-object-oriented
> 'predecessor' of OCAML) for writing complex P2P systems and even
> user-land transport protocols.
Agreed. I use the Caml part of OCaml. :)
> 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.
But if you have a chance to start from scratch, you should look at
possible solutions and use a viable one. Especially the readability
and maintainability of a programming language should be considered.
Otherwise you end up with a piece of code which is not maintainable
once the PhDs have graduated. You have to pay the technical debt at
some point. And I'm not sure how to hand over a research project to
'the open source community'... Are there best practices/guidelines
availble?
I think the OCaml community is rather larger compared to other
functional programming languages, and it is very helpful. Both the
real world ocaml book, available online https://realworldocaml.org/,
and their package management system OPAM, are awesome contributions
over the last years to easily start with OCaml and to get more people
involved.
Cheers,
Hannes
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (FreeBSD)
iQIcBAEBCQAGBQJTVstHAAoJELyJZYjffCjuUqcQAKFUvtAfbLu2yU3EEkR5Mjsv
N9f19Ao0tIvmU6PmQAEfrdXNhs1e19xFSseaLPEQibxWBbYXTzx+J0es+/H6a116
CcrZ8N51kM/aOydnRTk2NmoP1BYh9X+S3bQRLPu/lYipgYVyuV7ohzZMqmrguARu
15uWjqmvaDahYZhuu4tnfksggveL59pF/08UA5xd8wZ3I+XMiXB7JviN3Mii2rbk
8BjWFFXW66xQGSxg+nsIp+rGiX6r12gCNZZHJHSoQGcmbalGPVF+o2r7+j+D2ZcC
n/tXVVgIy2TO+7mxp+ueX+OK5p+YDqOzFTPDKQhARVP+EjEqZXPRKY4YkgMno8ug
7CT4yCuV84gdrNfudOFKTOx4G0k/4OSZzPVn/g1i9vmqAUU8z6UUBr9tjSR1jZq6
iZqDBGkz34550DlPhxE3mwdFh/woBv2ExgrOvM3iSX/dtKBa7p/fCGNHX17dEIgW
0d1DKQatRjuIGIdAjowy8CuJ4rPceoqoObPutLYVw+PeMfSencjDmf9bmXgFI3jB
WU6Jo+akCd/BlvABnV2qLnJXqbo3ixM0B7WbI+c5EyQaPapS5J4Im+b66EE9o57Y
Ab5Vf7h0GLVovA+VFXbnNCjoiawQo8rKU276Lwid7i8ZByQhm7iX/obMPTQchyKU
z5MCXzwWyXnFRt8MbI+G
=N6Jn
-----END PGP SIGNATURE-----
--
tor-talk mailing list - tor-talk@xxxxxxxxxxxxxxxxxxxx
To unsubscribe or change other settings go to
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-talk