Conversation with #inferno at Thu May 14 13:47:37 2009 on powerman-asdf@irc.freenode.net (irc)
(15:29:15) uriel: anyone looked into Axum? it is supposedly a new Microsoft language basedon CSP
(15:30:22) mjl-: not yet.  do you have a link?
(15:30:48) uriel: http://en.wikipedia.org/wiki/Axum_(programming_language)
(15:31:19) uriel: and: http://www.reddit.com/r/programming/comments/8jmiy/
(15:34:02) olegfink: why do they always stick to C syntax
(15:34:11) uriel: C syntax is nice!
(15:34:30) olegfink: for C.
(15:34:46) uriel: I like Erlang, but you will have a hard time convincing me that its syntax is nicer than C syntax
(15:34:58) uriel: well, Limbo uses C-like syntax for CSP, and it is really nice
(15:35:14) mjl-: c doesn't have csp syntax :)
(15:35:23) mjl-: i would like to see a paper on axum
(15:35:26) mjl-: with references
(15:35:31) mjl-: they must have looked at limob
(15:35:32) mjl-: limbo*
(15:35:52) mjl-: i have to look into their definition of channels.  and protocols on them.
(15:36:04) olegfink: well, C syntax is especially useless in functional languages
(15:36:44) mjl-: the "programmers guide" was painful.  hello world starts with explanation of where to click to create an axum program...
(15:37:02) mjl-: but i have to read the other 35½ page to know what it's about :P
(15:37:37) mjl-: anyway, there are tons of interesting languages around.  i won't bet that axum is going anywhere
(15:37:44) mjl-: unlike limbo, which is going to conquer the world
(15:39:02) olegfink: i want ocaml dis backend.
(15:40:54) olegfink: ocaml is a nice language for systems programming, actually, and it would really shine in a sane environment
(15:44:44) mjl-: would you rather program in ocaml than limbo?
(15:49:16) mjl-: i would like to have some functional language to compile to dis
(15:49:23) mjl-: doesn't have to be a full featured language
(15:49:43) mjl-: just enough to write dis modules that can be loaded by limbo programs
(15:51:41) mjl-: i've been wondering a bit whether you could do the same for some programs that do simd-like things.  if machines have (different) instructions that do similar simd-things, it might be possible to add some instructions to do, and jit them to the simd instructions of the platform
(15:51:57) mjl-: to do -> to dis
(15:52:25) andguent: mjl-: http://robotics.ee.uwa.edu.au/parallaxis/
(15:52:52) mjl-: cool :)
(15:52:53) mjl-: thanks
(15:53:25) andguent: dunno if it is good or anything
(15:53:42) andguent: i just stumbled upon it lately and made a bookmark for later review.
(15:54:55) gualteri: mjl-, have you seen caerwyn's vx32 module for inferno?
(15:55:22) mjl-: gualteri: i've read through his ipn post
(15:55:36) mjl-: but i'm not much into vx stuff, so nothing more
(15:55:53) andguent: i kind of start "being into" vx stuff o_O
(15:55:59) mjl-: hehe
(15:56:14) mjl-: andguent: i'm going to read it later too.  i don't even know anything about simd yet
(15:56:22) olegfink: mjl-: well, I'm just used to functional programming.
(15:56:44) mjl-: olegfink: but think about the channels!
(16:03:00) olegfink: http://jocaml.inria.fr/ provides something of the sort
(16:11:44) olegfink: mjl-: see http://jocaml.inria.fr/manual/concurrent.html
(16:15:13) mjl-: i've seen jocaml before
(16:15:52) mjl-: didn't pay much attention, perhaps i should read it when i'm learning ocaml (i looked at ocaml once)
(16:16:07) mjl-: but writing working programs in limbo is more fun right now :)
(16:16:48) olegfink: I don't quite like jocaml's syntax for channels (looks too meta-), but probably there isn't any cheap way of doing it better.
(17:00:05) underspecified_ [n=eric@softbank220043052007.bbtec.net] entered the room.
(17:53:44) gualteri left the room (quit: Read error: 110 (Connection timed out)).
(18:34:51) mennis [n=mennis@adsl-068-016-104-079.sip.asm.bellsouth.net] entered the room.
(19:01:00) andguent left the room (quit: "Leaving").
(19:28:17) andguent [n=andre@p4FF64F53.dip.t-dialin.net] entered the room.
(20:36:30) sea-gull_ [n=sea-gull@95-28-95-237.broadband.corbina.ru] entered the room.
(20:48:03) sea-gull left the room (quit: Read error: 110 (Connection timed out)).
(21:10:10) gdiaz [n=gdiaz@144.183.221.87.dynamic.jazztel.es] entered the room.
(21:45:08) bdheeman [n=bdheeman@122.173.24.220] entered the room.