[00:26:20] erg: evincar What time were you guys thinking, for Saturday? [00:45:06] * tgunr [tgunr!~davec@cpe-66-91-34-168.hawaii.res.rr.com] has joined the channel. [00:48:43] * LACampbell [LACampbell!~lewis@125-237-149-208.jetstream.xtra.co.nz] has joined the channel. [00:52:59] I managed to write my first higher order combinator in my language. it's dog slow, and will probably break if you look at it sideways, but it's still an exciting step [00:53:28] "2 [ dup * ] dup bi" gives 16 [01:07:59] jeaye: Early afternoon? Work for a few hours, then do dinner. [01:08:41] We may go to someone else's place, but either way you should probably meet me at mine. [01:08:50] LACampbell: Excellent. :) [01:09:18] LACampbell: If your quotations are vectors of function pointers, you can heap-allocate and reference-count them. [01:09:54] No need for a tracing GC if you stick to pure functions (no mutation = no cycles). [01:10:41] evincar, they are! I was considering that issue too. I prototype in a garbage collected language, then write it in C++ when I am happy with the way it works [01:10:59] I need to do GC, and was considering just using ref counting [01:11:34] at least for the minute. I am not clear about pure functions in a concatenative context [01:12:28] evincar: I'd kindly suggest Mingalaba. :D [01:13:19] evincar, I have actually been reading an article of yours I think. http://evincarofautumn.blogspot.co.nz/2013/07/static-typing-in-concatenative-language.html [01:18:49] jeaye: Yeah, Mingalaba would be good. :) [01:20:13] LACampbell: Cool! Bear in mind that that's no longer how Kitten's type system works, though. [01:20:32] I ran into a bunch of problems, although I don't remember most of them. :P [01:25:39] * LACampbell [LACampbell!~lewis@125-237-149-208.jetstream.xtra.co.nz] has quit (Ping timeout: 276 seconds). [01:32:07] * LACampbell [LACampbell!~lewis@122-62-219-109.jetstream.xtra.co.nz] has joined the channel. [01:36:39] * LACampbell [LACampbell!~lewis@122-62-219-109.jetstream.xtra.co.nz] has quit (Ping timeout: 250 seconds). [01:40:05] evincar: What've you been doing with kitten lately? [01:42:38] jeaye: Mainly figuring out what even to do next, haha [01:42:51] I have to port stuff from the old to new compiler. [01:43:17] Add a mid-level IR and finish a backend. [01:43:33] What sort of testing do you have? [01:44:27] Mostly just integration tests. code -> expected output/errors [01:44:41] There are more unit tests in the new compiler, for things like typechecking. [01:46:49] I'm so glad to have the tests I do when it comes time to refactor systems. I spent the last few days refactoring some code for how I store type and binding declarations and definitions; it's so comforting to see all tests pass when I'm done. [01:47:00] Or, in my case, all tests fail until I fix shit. [01:47:57] evincar: You could do generics next. :) [01:48:23] Generics mostly work. [01:48:27] And traits. [01:48:43] You just can't have generic trait instances yet, which is a bummer. [01:48:54] Oh man, nice; I'll need to catch up on kitten then. [01:48:55] So no "instance = (List, List -> Bool)" yet. [01:49:25] * saml_ [saml_!~saml@cpe-24-102-97-97.nyc.res.rr.com] has quit (Quit: Leaving). [01:49:40] And there should probably be a way to talk about constraints... [01:49:49] Although if an instance doesn't exist then you just get a compile error, not a huge deal. [01:50:07] / link error [01:50:30] Yeah, constraints would give you finer control. [01:50:50] Is erg also working on a language? [01:51:00] Right, it'd be something like "instance = if (= ) (...)" [01:51:19] Yeah, he's working on Factor. Lately he's been working on an improved parser. [01:53:04] Ah [02:19:29] * groovy2shoes [groovy2shoes!~groovy2sh@unaffiliated/groovebot] has quit (Remote host closed the connection). [02:20:53] * groovy2shoes [groovy2shoes!~groovy2sh@unaffiliated/groovebot] has joined the channel. [02:25:51] * evincar [evincar!~jonathanp@173-228-12-231.dsl.dynamic.fusionbroadband.com] has quit (Ping timeout: 260 seconds). [02:38:33] * evincar [evincar!~jon@173-228-12-231.dsl.dynamic.fusionbroadband.com] has joined the channel. [02:52:38] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has quit (Quit: Leaving.). [03:04:13] * rgrinberg [rgrinberg!~rgrinberg@24-246-56-85.cable.teksavvy.com] has joined the channel. [03:41:30] * LACampbell [LACampbell!~lewis@122-62-223-109.jetstream.xtra.co.nz] has joined the channel. [03:48:34] * rgrinberg [rgrinberg!~rgrinberg@24-246-56-85.cable.teksavvy.com] has quit (Ping timeout: 244 seconds). [03:53:20] * LACampbell [LACampbell!~lewis@122-62-223-109.jetstream.xtra.co.nz] has quit (Ping timeout: 246 seconds). [03:59:40] * evincar [evincar!~jon@173-228-12-231.dsl.dynamic.fusionbroadband.com] has quit (Read error: No route to host). [04:00:16] * evincar [evincar!~jon@173-228-12-231.dsl.dynamic.fusionbroadband.com] has joined the channel. [06:48:07] * puck1pedia [puck1pedia!~puck@irc.puckipedia.com] has joined the channel. [06:52:42] * Sonderblade [Sonderblade!~Sonderbla@h-52-183.a157.priv.bahnhof.se] has quit (Ping timeout: 240 seconds). [06:58:12] * A_Seat_For_One [A_Seat_For_One!~A_Seat_Fo@88.240.86.61] has joined the channel. [06:58:54] * A_Seat_For_One [A_Seat_For_One!~A_Seat_Fo@88.240.86.61] has left the channel. [07:05:53] * c00kiemon5ter [c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter] has quit (*.net *.split). [07:05:54] * Arahael [Arahael!~arahael@DC-55-46.bpb.bigpond.com] has quit (*.net *.split). [07:05:55] * puckipedia [puckipedia!~puck@irc.puckipedia.com] has quit (*.net *.split). [07:05:56] * puck1pedia is now known as puckipedia [07:06:14] * Sonderblade [Sonderblade!~Sonderbla@h-52-183.a157.priv.bahnhof.se] has joined the channel. [07:06:26] * c00kiemon5ter [c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter] has joined the channel. [07:40:12] * LACampbell [LACampbell!~lewis@222-154-10-31.jetstream.xtra.co.nz] has joined the channel. [08:54:03] compiling a concatenative language to C should be writty easy, right? each word can just be a void function that mutates a big array in global scope [08:54:12] /s/writty/pretty [09:15:37] * LACampbell [LACampbell!~lewis@222-154-10-31.jetstream.xtra.co.nz] has quit (Ping timeout: 244 seconds). [10:56:55] * suppi [suppi!~suppi@unaffiliated/suppi] has joined the channel. [11:02:41] * evincar [evincar!~jon@173-228-12-231.dsl.dynamic.fusionbroadband.com] has quit (Ping timeout: 260 seconds). [12:37:16] * rgrinberg [rgrinberg!~rgrinberg@24-246-56-85.cable.teksavvy.com] has joined the channel. [13:32:08] * saml_ [saml_!~saml@cpe-24-102-97-97.nyc.res.rr.com] has joined the channel. [14:09:59] * saml_ [saml_!~saml@cpe-24-102-97-97.nyc.res.rr.com] has quit (Quit: Leaving). [16:15:29] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has joined the channel. [16:15:31] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has quit (Client Quit). [18:34:53] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has joined the channel. [18:52:42] * tgunr [tgunr!~davec@cpe-66-91-34-168.hawaii.res.rr.com] has quit (Quit: My Mac has gone to sleep. ZZZzzz…). [20:34:25] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has quit (Quit: Leaving.). [21:38:53] * evincar [evincar!~jonathanp@173-228-12-231.dsl.dynamic.fusionbroadband.com] has joined the channel. [21:40:25] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has joined the channel. [21:45:45] * rgrinberg [rgrinberg!~rgrinberg@24-246-56-85.cable.teksavvy.com] has quit (Ping timeout: 246 seconds). [21:57:40] hey [22:00:14] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has quit (Quit: Leaving.). [22:21:15] * rgrinberg [rgrinberg!~rgrinberg@206-248-190-144.dsl.teksavvy.com] has joined the channel. [23:09:40] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has joined the channel. [23:18:24] erg: Hey, PM'd address & time.