[00:46:10] * otoburb [otoburb!~otoburb@unaffiliated/otoburb] has quit (Quit: leaving).
[01:02:32] * roachmd [roachmd!~roachmd@2601:cc:4100:244e:441e:7431:ff6e:9a7] has joined the channel.
[01:07:48] * roachmd [roachmd!~roachmd@2601:cc:4100:244e:441e:7431:ff6e:9a7] has quit (Ping timeout: 276 seconds).
[01:58:11] * xkapastel [xkapastel!uid17782@gateway/web/irccloud.com/x-kvlkqefxovstggft] has joined the channel.
[03:03:49] * jamtho_ [jamtho_!~jamtho@host217-42-117-216.range217-42.btcentralplus.com] has joined the channel.
[04:07:52] * jamtho_ [jamtho_!~jamtho@host217-42-117-216.range217-42.btcentralplus.com] has quit (Ping timeout: 240 seconds).
[06:59:46] * evincar [evincar!~jon@75-142-42-181.dhcp.reno.nv.charter.com] has joined the channel.
[07:08:09] <evincar> hackerfoo: What do you mean by "non-greedy" matching of group type variables?
[07:09:24] <evincar> Do you try 1 value, 2 values, &c. from the top of the "stack" downward until the first match?
[07:13:07] <evincar> This looks similar to how Kitten's type system used to work
[07:13:31] <evincar> (A -> B) (C -> D) was inferred as (X ++ A -> Y ++ D) where X = C \ B (the values consumed by C not produced by B) and Y = B \ C (values produced by B not consumed by C)
[07:14:29] <evincar> Unfortunately it left no good way to talk about a variable number of items on the stack
[07:15:37] <evincar> So for example there was a family of combinators apply{# consumed}{# produced}, which was ugly, and hard to resolve by overloading
[07:16:07] <evincar> Since you don't have a stack per se, maybe you don't need to care about that?
[08:17:33] * xkapastel [xkapastel!uid17782@gateway/web/irccloud.com/x-kvlkqefxovstggft] has quit (Quit: Connection closed for inactivity).
[09:10:52] * evincar [evincar!~jon@75-142-42-181.dhcp.reno.nv.charter.com] has quit (Ping timeout: 240 seconds).
[09:45:41] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has quit (Quit: Rebooting).
[09:53:01] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has joined the channel.
[10:15:43] * jamtho_ [jamtho_!~jamtho@host217-42-117-216.range217-42.btcentralplus.com] has joined the channel.
[12:21:20] <hackerfoo> Right. Popr doesn't support variable arity, because every expression corresponds to one reduction graph.
[12:29:44] <hackerfoo> Variable arity doesn't really make sense to me semantically. For example, with "A B C apply -> D E", I can't tell if A = D by looking at the expression.
[12:34:44] <hackerfoo> Another important aspect of the typing rules is that "->" is never introduced and only eliminated through composition.
[12:35:43] <hackerfoo> Probably related to composition being monadic.
[12:46:29] * jamtho_ [jamtho_!~jamtho@host217-42-117-216.range217-42.btcentralplus.com] has quit (Ping timeout: 240 seconds).
[14:17:58] * roachmd [roachmd!~roachmd@2601:cc:4100:244e:35fc:cbc1:cfab:3ba4] has joined the channel.
[14:55:31] * tgunr [tgunr!~tgunr@gateway/vpn/privateinternetaccess/tgunr] has quit (Read error: Connection reset by peer).
[14:55:50] * tgunr [tgunr!~tgunr@gateway/vpn/privateinternetaccess/tgunr] has joined the channel.
[16:48:48] * _tgunr [_tgunr!~tgunr@2605:e000:1128:20f4:b5ad:ad41:d6:2d12] has joined the channel.
[16:51:18] * tgunr [tgunr!~tgunr@gateway/vpn/privateinternetaccess/tgunr] has quit (Ping timeout: 240 seconds).
[17:02:01] * _tgunr [_tgunr!~tgunr@2605:e000:1128:20f4:b5ad:ad41:d6:2d12] has quit (Quit: Textual IRC Client: www.textualapp.com).
[17:02:19] * tgunr [tgunr!~tgunr@2605:e000:1128:20f4:b5ad:ad41:d6:2d12] has joined the channel.
[17:23:17] * jamtho_ [jamtho_!~jamtho@host217-42-117-216.range217-42.btcentralplus.com] has joined the channel.
[17:42:09] * jamtho_ [jamtho_!~jamtho@host217-42-117-216.range217-42.btcentralplus.com] has quit (Ping timeout: 240 seconds).
[18:10:20] * jamtho_ [jamtho_!~jamtho@host217-42-117-216.range217-42.btcentralplus.com] has joined the channel.
[18:36:58] * klltkr [klltkr!~klltkr@unaffiliated/klltkr] has joined the channel.
[18:58:22] * groovy2shoes [groovy2shoes!~groovy2sh@unaffiliated/groovebot] has quit (Ping timeout: 276 seconds).
[19:03:52] * klltkr [klltkr!~klltkr@unaffiliated/klltkr] has quit (Quit: My MacBook has gone to sleep. ZZZzzz…).
[19:14:10] * jamtho_ [jamtho_!~jamtho@host217-42-117-216.range217-42.btcentralplus.com] has quit (Ping timeout: 246 seconds).
[19:33:21] * klltkr [klltkr!~klltkr@unaffiliated/klltkr] has joined the channel.
[19:51:17] * groovy2shoes [groovy2shoes!~groovy2sh@unaffiliated/groovebot] has joined the channel.
[22:13:25] * flogbot [flogbot!~flogbot@2001:4800:7814:0:2804:b05a:ff04:4ba7] has quit (Ping timeout: 240 seconds).
[22:13:32] * flogbot [flogbot!~flogbot@2001:4800:7814:0:2804:b05a:ff04:4ba7] has joined the channel.
[22:13:33] :wilhelm.freenode.net 353 flogbot = #concatenative :flogbot groovy2shoes klltkr tgunr roachmd FreeFull carvite merry jlewis m_hackerfoo doublec abeaumont zgrep mollerse shachaf dustinm` diginet hackerfoo ephe_meral amuck shmibs jeaye mtp earl rgrinberg jeremyheiler defanor rotty lonjil PiDelport cstrahan strmpnk erg
[22:13:33] :wilhelm.freenode.net 366 flogbot #concatenative :End of /NAMES list.