[01:02:23] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has joined the channel. [01:07:27] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has quit (Ping timeout: 244 seconds). [01:46:52] * j-pb [j-pb!~j_pb@5ED295B1.cm-7-3c.dynamic.ziggo.nl] has joined the channel. [01:51:32] * j-pb [j-pb!~j_pb@5ED295B1.cm-7-3c.dynamic.ziggo.nl] has quit (Ping timeout: 244 seconds). [02:04:54] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has joined the channel. [02:09:27] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has quit (Ping timeout: 244 seconds). [02:57:33] * bmp [bmp!sid22344@gateway/web/irccloud.com/x-vdtvxhtkjnqbhkrf] has quit (Read error: Connection reset by peer). [02:59:23] * bmp [bmp!sid22344@gateway/web/irccloud.com/x-glmseqwoxtepwmnq] has joined the channel. [03:10:19] * j-pb [j-pb!~j_pb@5ED295B1.cm-7-3c.dynamic.ziggo.nl] has joined the channel. [03:14:41] * j-pb [j-pb!~j_pb@5ED295B1.cm-7-3c.dynamic.ziggo.nl] has quit (Ping timeout: 258 seconds). [06:13:51] * j-pb [j-pb!~j_pb@tmo-097-127.customers.d1-online.com] has joined the channel. [06:17:27] * j-pb [j-pb!~j_pb@tmo-097-127.customers.d1-online.com] has quit (Remote host closed the connection). [06:32:02] * stisti [stisti!~stisti@fsgw.f-secure.com] has joined the channel. [06:59:21] * jtimon [jtimon!~quassel@55.31.134.37.dynamic.jazztel.es] has quit (Remote host closed the connection). [07:03:08] * j-pb [j-pb!~j_pb@tmo-097-127.customers.d1-online.com] has joined the channel. [07:06:42] * j-pb [j-pb!~j_pb@tmo-097-127.customers.d1-online.com] has quit (Remote host closed the connection). [07:07:51] * j-pb [j-pb!~j_pb@tmo-097-127.customers.d1-online.com] has joined the channel. [07:08:37] * j-pb [j-pb!~j_pb@tmo-097-127.customers.d1-online.com] has quit (Read error: Connection reset by peer). [07:08:49] * j-pb [j-pb!~j_pb@tmo-097-127.customers.d1-online.com] has joined the channel. [07:09:24] * j-pb [j-pb!~j_pb@tmo-097-127.customers.d1-online.com] has quit (Read error: Connection reset by peer). [07:09:47] * j-pb [j-pb!~j_pb@tmo-097-127.customers.d1-online.com] has joined the channel. [07:10:24] * j-pb [j-pb!~j_pb@tmo-097-127.customers.d1-online.com] has quit (Read error: Connection reset by peer). [07:30:43] * jonenst [jonenst!52e27f29@gateway/web/freenode/ip.82.226.127.41] has joined the channel. [07:34:13] stisti: someone had a problem with emacs on mac. Bottom line was brew interfering. See http://irclogs.factorcode.org/concatenative/2016-07-27.log [07:35:03] maybe it's the same problem for you [07:35:09] * jonenst [jonenst!52e27f29@gateway/web/freenode/ip.82.226.127.41] has quit (Client Quit). [07:36:48] * jonenst [jonenst!52e27f29@gateway/web/freenode/ip.82.226.127.41] has joined the channel. [07:37:50] * jonenst-logbot [jonenst-logbot!~jonenst-l@163-172-28-134.rev.poneytelecom.eu] has joined the channel. [07:38:06] * jonenst [jonenst!52e27f29@gateway/web/freenode/ip.82.226.127.41] has quit (Client Quit). [07:55:05] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has joined the channel. [08:04:55] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has quit (Remote host closed the connection). [08:24:08] * iqbalansari [iqbalansari!~user@203.109.64.73] has joined the channel. [08:46:44] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has joined the channel. [08:53:56] * iqbalansari [iqbalansari!~user@203.109.64.73] has quit (Remote host closed the connection). [10:15:30] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has quit (Remote host closed the connection). [10:39:29] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has joined the channel. [10:57:29] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has quit (Remote host closed the connection). [11:15:01] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has joined the channel. [11:31:23] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has quit (Quit: Rebooting). [11:35:57] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has joined the channel. [12:26:20] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has quit (Read error: Connection reset by peer). [12:32:59] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has joined the channel. [13:04:13] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has quit (Read error: Connection reset by peer). [13:11:18] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has joined the channel. [13:15:27] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has quit (Ping timeout: 244 seconds). [13:24:33] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has quit (Ping timeout: 264 seconds). [13:33:19] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has joined the channel. [14:28:53] * groovy3shoes [groovy3shoes!~groovy2sh@unaffiliated/groovebot] has joined the channel. [14:29:48] * groovy3shoes is now known as groovy2shoes [15:00:23] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has joined the channel. [15:09:13] * stisti [stisti!~stisti@fsgw.f-secure.com] has quit (Read error: Connection reset by peer). [15:09:55] * stisti [stisti!~stisti@fsgw.f-secure.com] has joined the channel. [15:13:37] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has joined the channel. [15:17:45] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has quit (Ping timeout: 240 seconds). [15:28:35] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has quit (Remote host closed the connection). [15:29:08] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has joined the channel. [15:33:59] * j-pb [j-pb!~j_pb@ip-213-127-250-192.ip.prioritytelecom.net] has quit (Ping timeout: 265 seconds). [16:15:29] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has joined the channel. [16:19:45] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has quit (Ping timeout: 240 seconds). [17:51:39] * evincar [evincar!~jonathanp@75-142-42-181.dhcp.reno.nv.charter.com] has joined the channel. [17:52:56] Man, I wish there were a way to add laziness to a strict language without incurring a nontrivial global runtime cost. [17:56:34] Oh well. Anyone who wants laziness in Kitten can thunk/force manually if they want. :P [18:09:32] * |2dman| [|2dman|!~user@99-51-170-146.lightspeed.nworla.sbcglobal.net] has joined the channel. [18:10:56] <|2dman|> greetings all -- I've been working on a concatenative language project, and was curious if there might be some other implementers in the room? [18:29:05] |2dman|: Yup, we have a couple of Factor maintainers, one guy who's working on a lazy language, and I'm working on a statically typed one. [18:29:49] This channel gets pretty quiet, so you often have to logread, but we're around. [18:30:14] What's your project? [18:30:48] evincar: that's probably for the best. :) imho for practical programming, lazy evaluation is 100% useless [18:59:04] * j-pb [j-pb!~j_pb@5ED295B1.cm-7-3c.dynamic.ziggo.nl] has joined the channel. [19:04:20] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has joined the channel. [19:08:09] Sonderblade: I dunno, a bit less than 100%. I often use laziness in Haskell, but the majority of my code could be strict. [19:08:51] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has quit (Ping timeout: 244 seconds). [19:09:50] The asymptotics are great if you can abide the constants. [19:28:08] * j-pb [j-pb!~j_pb@5ED295B1.cm-7-3c.dynamic.ziggo.nl] has quit (Remote host closed the connection). [20:25:39] * evincar [evincar!~jonathanp@75-142-42-181.dhcp.reno.nv.charter.com] has quit (Ping timeout: 252 seconds). [20:46:11] any time i've seen it used, a strict datatype or method could have been used instead [20:46:47] laziness is good for making "sequences of all the natural numbers" but no one needs that [21:05:49] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has joined the channel. [21:10:16] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has quit (Ping timeout: 244 seconds). [21:13:17] * jonenst-logbot [jonenst-logbot!~jonenst-l@163-172-28-134.rev.poneytelecom.eu] has quit (Remote host closed the connection). [21:19:32] * jonenst-logbot [jonenst-logbot!~jonenst-l@163-172-28-134.rev.poneytelecom.eu] has joined the channel. [21:19:54] * jonenst-logbot [jonenst-logbot!~jonenst-l@163-172-28-134.rev.poneytelecom.eu] has quit (Remote host closed the connection). [21:20:19] * jonenst-logbot [jonenst-logbot!~jonenst-l@163-172-28-134.rev.poneytelecom.eu] has joined the channel. [21:20:44] * jonenst-logbot [jonenst-logbot!~jonenst-l@163-172-28-134.rev.poneytelecom.eu] has quit (Remote host closed the connection). [21:21:15] * jonenst-logbot [jonenst-logbot!~jonenst-l@163-172-28-134.rev.poneytelecom.eu] has joined the channel. [22:07:31] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has joined the channel. [22:11:45] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has quit (Ping timeout: 244 seconds). [22:12:00] * delvinj [delvinj!~Miranda@2601:449:4001:5400:fc22:9ae5:3b46:7ec8] has quit (Ping timeout: 258 seconds). [22:24:03] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has joined the channel. [22:57:14] * cdt5050 [cdt5050!~cdt5050@h62-m31-pool-04.nat.iastate.edu] has quit (Remote host closed the connection).