Conversation with #inferno at Tue Dec 11 05:52:27 2012 on powerman@irc.freenode.net (irc) (05:54:41) powerman: term '[' export ']' (05:54:47) powerman: term '[' exportlist ',' export ']' (05:55:15) powerman: it's strange "export" defined as either expression or type (05:55:59) powerman: when it's expression term[expression] is probably just array element (05:57:04) powerman: and term[expression,expression,…] looks like non-linear array slice, but I don't think limbo support this (05:57:19) powerman: but what may mean term[type] and term[type,type,…] ? (06:01:25) powerman: and why it's called "export"? (06:06:48) powerman: rogpeppe: may you've an idea about it? (07:35:15) Gegemon [~ynv@mx1.airis.ru] entered the room. (08:04:30) Gegemon left the room (quit: Quit: Leaving.). (08:21:01) rogpeppe1 [~rog@host-92-23-121-55.as13285.net] entered the room. (08:21:12) rogpeppe left the room (quit: Ping timeout: 264 seconds). (08:35:01) Gegemon [~ynv@mx1.airis.ru] entered the room. (10:09:25) rogpeppe1: powerman: it looks like an editing mistake to me (10:09:36) rogpeppe1: powerman: i think "exportlist" should be "exprlist" (10:11:15) rogpeppe1: powerman: and, yeah, i think dynamic is possibly to do with some unimplemented dynamic typing feature (10:12:58) powerman: rogpeppe1: ok, let it be exprlist. but what it mean? I see just one usage for this syntax - get array element, but it's too complex for this (10:13:46) powerman: where list of expressions and type/list of types can be used inside [] in limbo? (10:13:52) rogpeppe1: powerman: it's also used for generics (10:14:17) rogpeppe1: powerman: so you can say sometype[string, int] for example (10:14:29) rogpeppe1: powerman: if sometype has two type parameters (10:15:04) powerman: all polymorphic things defined somewhere else. and they doesn't support basic types like int - only ref types (10:19:14) `jpi left the room (quit: Ping timeout: 240 seconds). (10:26:57) `jpi [~jpi@unaffiliated/pseud0cod3r] entered the room. (11:09:19) Aram [~aram@chello084112126145.24.11.vie.surfer.at] entered the room. (11:09:20) Aram left the room (quit: Changing host). (11:09:20) Aram [~aram@unaffiliated/aramdune] entered the room. (11:11:33) powerman: http://powerman.name/doc/Inferno/limbo_notes (12:19:06) Aram left the room (quit: Quit: .). (12:21:08) Aram [~aram@chello084112126145.24.11.vie.surfer.at] entered the room. (12:21:09) Aram left the room (quit: Changing host). (12:21:09) Aram [~aram@unaffiliated/aramdune] entered the room. (12:43:40) rogpeppe1: powerman: oh yes, i'd forgotten that limitation (13:02:38) powerman: rogpeppe1: I got it. I had impression only 'type'-related poly declaration is used, but this isn't the case. (13:03:02) powerman: Data[string,string] is type definition, that's why I think so (13:03:34) rogpeppe1: powerman: yeah, you can have polymorphic functions too (13:03:35) powerman: but we can do d:=ref Data[string,string]; and here it's expression (13:03:51) powerman: while in d: (not d:=) it will be a type (13:04:22) powerman: thus in limbo.y we need to allow both type[type-list] and expression[type-list] (13:04:27) rogpeppe1: powerman: yes. it's interesting to see how Go changed the syntax here. (13:04:46) rogpeppe1: powerman: (type vs expression, i mean) (13:04:55) powerman: btw, Charles says "export" mean "exp-or-t" :) (13:05:08) rogpeppe1: powerman: ha! (13:05:16) powerman: yep. pretty intuitive :) (13:05:26) rogpeppe1: exportype would've been less confusing (13:05:38) rogpeppe1: typeorexp better still (13:22:03) Aram left the room (quit: Quit: .). (13:23:10) Aram [~aram@chello084112126145.24.11.vie.surfer.at] entered the room. (13:23:10) Aram left the room (quit: Changing host). (13:23:10) Aram [~aram@unaffiliated/aramdune] entered the room. (15:17:27) ccxCZ [~ccxCZ@156.200.broadband11.iol.cz] entered the room. (15:18:20) ccxCZ: hello, I just installed inferno, so what do I do next? :] (15:18:50) Aram: run the infernal coffee (15:20:40) ccxCZ: I got /usr/inferno/Linux/386/bin in my path now, but I don't see how to run coffee (15:21:00) Aram: ah, you didn't start Inferno? (15:21:11) Aram: run emu (15:21:12) Aram: then wm/wm (15:21:28) Aram: optionally set the resolution (15:21:30) Aram: emu -g1600x1200 (15:21:54) ccxCZ: I see, thanks (15:22:46) Aram: leetspete wrote some nice tutorials around Inferno. (15:23:18) Aram: http://debu.gs/tags/inferno (15:28:38) ccxCZ: heh the filemanager does not even start, crashes on filenames with spaces or something (15:45:37) Gegemon left the room (quit: Quit: Leaving.). (16:13:06) Aram left the room (quit: Quit: .). (16:32:29) Aram [~aram@chello084112126145.24.11.vie.surfer.at] entered the room. (16:32:29) Aram left the room (quit: Changing host). (16:32:29) Aram [~aram@unaffiliated/aramdune] entered the room. (18:30:13) raphaelsc [~raphaelsc@201-78-5-208.user.veloxzone.com.br] entered the room. (19:34:40) rogpeppe1: ccxCZ: don't use the file manager, it's crap :-) (20:47:14) raphaelsc left the room (quit: Ping timeout: 240 seconds). (20:47:40) raphaelsc [~raphaelsc@201-78-5-208.user.veloxzone.com.br] entered the room. (21:18:37) Aram left the room (quit: Quit: .). (02:04:23) dreadlorde left the room (quit: Ping timeout: 265 seconds). (03:46:56) jbrhee left the room (quit: Quit: Leaving.). (03:48:56) jbrhee [~jess@76.91.33.110] entered the room. (03:48:56) jbrhee left the room (quit: Client Quit). (05:39:55) powerman: I rewrote syntax highlight for limbo. Now it support all limbo syntax elements: http://www.vim.org/scripts/script.php?script_id=3894 (some operators/delimiter have own syntax groups for ease customization of colors) (05:48:48) The account has disconnected and you are no longer in this chat. You will automatically rejoin the chat when the account reconnects.