00:09:17 | * | ryderblue quit (Remote host closed the connection) |
02:07:26 | * | q66 quit (Quit: Quit) |
05:23:05 | * | Boscop joined #nimrod |
05:55:06 | * | fowl quit (Ping timeout: 240 seconds) |
06:11:51 | * | ryderblue joined #nimrod |
06:37:25 | * | fowl joined #nimrod |
07:05:45 | * | ryderblue quit (Remote host closed the connection) |
09:23:49 | * | fowl quit (Ping timeout: 246 seconds) |
12:08:38 | * | q66 joined #nimrod |
12:13:27 | * | Trix[a]r_za is now known as Trixar_za |
12:25:30 | * | Trixar_za is now known as Trix[a]r_za |
14:28:15 | * | Trix[a]r_za is now known as Trixar_za |
16:20:23 | Araq | so ... we need naming convention for effects: |
16:20:33 | Araq | type TEffect = object of TEffect |
16:21:02 | Araq | type EIO = object of TEffect # EIO already 'exception IO' |
16:21:14 | dom96 | EffIO? |
16:21:39 | dom96 | ~IO |
16:21:44 | dom96 | perhaps |
16:22:01 | dom96 | but that will make people think of destructors |
16:22:04 | Araq | meh, I thought about an 'F' prefix |
16:22:27 | Araq | FIO, FTime, FGC ... |
16:22:47 | Trixar_za | Kind of falls apart at UC |
16:23:07 | Araq | you mean UCK ? |
16:23:45 | Trixar_za | That too |
16:23:49 | Trixar_za | and UK |
16:25:11 | Araq | that's only a problem if you see boobs here (. .) |
16:27:31 | reactormonk | Araq, I still think prefixes suck :-P |
16:27:37 | Trixar_za | I see brackets and full stops |
16:28:07 | Trixar_za | Well reactormonk, they have to stay attached to the front somehow |
16:29:41 | Araq | oh really? should we use sigils instead? |
16:31:41 | Trixar_za | Oh no, please don't pull a prince |
16:32:01 | Trixar_za | or is it the artist formally known as prince? or symbol? |
16:33:28 | Araq | what? |
16:34:03 | Araq | I was asking reactormonk for a better alternative for prefixes |
16:34:25 | Araq | can't think of any :P |
16:35:01 | reactormonk | Araq, separate namespaces... but that sucks |
16:35:37 | reactormonk | especally since we can't use different casing per X |
16:36:34 | Araq | well both exceptions and effects are types so even if we had case sensitivity it wouldn't help, would it? |
16:39:25 | reactormonk | yep :-/ |
16:40:03 | reactormonk | what are effects btw? |
16:40:22 | Araq | they are like haskell's monads |
16:40:46 | Araq | well not at all |
16:40:46 | Araq | but people will compare them to these |
16:40:54 | reactormonk | I won't |
16:41:10 | reactormonk | because I don't know how they work |
16:43:18 | Araq | reactormonk: http://build.nimrod-code.org/docs/manual.html#tag-tracking |
16:43:18 | Araq | I'm implementing this |
16:45:28 | reactormonk | gimme an example for a tag |
16:46:48 | Araq | like 'IO'? |
16:46:48 | Araq | aka "performs some IO"? |
16:47:03 | reactormonk | ... why would you care about that? |
16:47:32 | Araq | well I would care that no code performs IO that is run in a transaction for instance |
16:48:19 | Araq | because IO can barely be rolled back should the transaction fail |
16:49:37 | reactormonk | edgecase then |
16:57:30 | Araq | software transactional memory is no edgecase, but the future ;-) |
16:57:39 | Araq | ... perhaps ... |
17:35:46 | * | Trixar_za is now known as Trix[a]r_za |
17:53:07 | * | Roin quit (Quit: brb) |
17:53:23 | * | Roin joined #nimrod |
17:53:23 | * | Roin quit (Changing host) |
17:53:23 | * | Roin joined #nimrod |
18:23:40 | * | fowl joined #nimrod |
18:58:52 | * | gradha joined #nimrod |
19:03:28 | gradha | IO can also stall/block, for UI programming you want to call that in a background thread |
19:15:10 | * | XAMPP quit (Ping timeout: 246 seconds) |
19:34:51 | * | XAMPP joined #nimrod |
20:21:26 | gradha | zahary: the recent autoload/nimrod.vim file you created has dos line endings, but the other files have unix line endings |
20:22:23 | zahary | does it create problems or you are just mentioning it? |
20:22:43 | gradha | on macosx it spits out an error for each line |
20:23:15 | zahary | wierd, let me push a fix |
20:23:55 | gradha | no worries, changed it in my local fork to work |
20:27:05 | zahary | I pushed it anyway so you don't get conflicts on the next update |
21:05:34 | * | XAMPP quit (Ping timeout: 246 seconds) |
21:42:59 | * | gradha quit (Quit: gradha) |