[00:34:53] The reason why the [ . ] when is not inferring is because the stack effect is different depending on if the when is called or not [00:35:01] if it is called it drops an item off the stack [00:35:06] if it is not it leaves an item on the stack [00:35:36] whereas '[ _ . ] when has the same stack effect whether it is called or not [00:36:21] You probably want: [ . ] when* [00:37:52] Notice that '[ "hash" "echo foo" run-process wait-for-process zero? [ . ] when* ] infer' infers as "( -- x)" [00:38:53] You can also see the difference if you test the failure of the when clause [00:39:08] "hash" "echo foo" 0 zero? [ . ] when => "hash" [00:39:20] "hash" "echo foo" 1 zero? [ . ] when => "hash" "echo foo" [00:39:52] "hash" "echo foo" 1 zero? [ . ] when* => "hash" "echo foo" [00:40:02] "hash" "echo foo" 0 zero? [ . ] when* => "hash" "echo foo" [00:41:28] The curry/fry method you're using is fine, I'm just clearing up the difference in infer results [00:41:45] ptrkriz ^ [01:55:56] * MDude [MDude!~MDude@71.50.47.112] has joined the channel. [03:08:48] thank you:) [03:23:22] * MDude [MDude!~MDude@71.50.47.112] has quit (Quit: Going offline, see ya! (www.adiirc.com)). [06:49:12] * Sgeo [Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net] has quit (Read error: Connection reset by peer). [09:00:28] * TeddyDD [TeddyDD!teddyddmat@gateway/shell/matrix.org/x-rhgmbllswfuwkbaz] has quit (Quit: Idle for 30+ days). [09:09:30] * ephe_meral [ephe_meral!~amnesia@2a01:c22:b028:dd00:c74b:732:f0df:b7d7] has joined the channel. [10:17:54] * proteusguy [proteusguy!~proteusgu@cm-58-10-208-180.revip7.asianet.co.th] has quit (Ping timeout: 258 seconds). [10:30:29] * proteusguy [proteusguy!~proteusgu@cm-58-10-208-180.revip7.asianet.co.th] has joined the channel. [10:38:23] * ephe_meral [ephe_meral!~amnesia@2a01:c22:b028:dd00:c74b:732:f0df:b7d7] has quit (Ping timeout: 246 seconds). [14:17:04] * Sgeo [Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net] has joined the channel. [14:52:48] <^alex> so we forget why we have this in our listener but [14:52:50] <^alex> `{ { 1 10 } { 1 2 3 } } >py repr py> .` [14:52:56] <^alex> cool, we can round-trip factor to python [15:10:33] * MDude [MDude!~MDude@71.50.47.112] has joined the channel. [16:08:56] There was at some point a full binding for CPython, to the point you could mix-and-match; that's part of it. [16:09:02] I don't remember if that's maintained/around though. [16:10:01] <^alex> it seems to still be around [16:10:18] <^alex> we just wonder what our yesterday-self was... doing. with it. [16:34:14] * xelxebar [xelxebar!~xelxebar@gateway/tor-sasl/xelxebar] has quit (Remote host closed the connection). [16:36:25] * xelxebar [xelxebar!~xelxebar@gateway/tor-sasl/xelxebar] has joined the channel. [19:01:54] * xelxebar [xelxebar!~xelxebar@gateway/tor-sasl/xelxebar] has quit (Remote host closed the connection). [19:02:17] * xelxebar [xelxebar!~xelxebar@gateway/tor-sasl/xelxebar] has joined the channel. [21:13:25] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-76-164-103-181.consolidated.net] has quit (Ping timeout: 264 seconds). [21:16:20] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-76-164-103-181.consolidated.net] has joined the channel. [21:21:46] is it possible to implement ranged types what Ada has using Factor only? [21:31:50] it's not just about checking [21:34:26] > the compiler chooses an appropriate sized integer to suit the range. [21:35:59] is it possible to achieve in Factor? [21:36:05] easily [21:39:46] https://en.wikibooks.org/wiki/Ada_Programming/Types/range [23:00:12] * Sgeo_ [Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net] has joined the channel. [23:02:53] * Sgeo [Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net] has quit (Ping timeout: 260 seconds). [23:04:44] ptrkriz: PoprC (https://popr.dev) performs range analysis to use only as many bits as needed. [23:04:58] It's not perfect, of course. [23:25:51] * df1scher [df1scher!~df1scher@cpe-172-114-80-45.socal.res.rr.com] has joined the channel. [23:46:15] any thoughts on factor in relation to erlang? I know the paradigms are different but feels similar in many ways