Logs: freenode/#haskell
| 2020-11-11 17:16:00 | <boxscape> | maerwald huh, interesting |
| 2020-11-11 17:16:26 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-88-189.w86-212.abo.wanadoo.fr) |
| 2020-11-11 17:16:38 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-157-172.w86-212.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2020-11-11 17:16:42 | × | Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2020-11-11 17:16:47 | <maerwald> | functional is clear (based on lambda calculus), purely functional as well (eval strategy equivalence), but side effect is somewhere off |
| 2020-11-11 17:17:24 | × | v_m_v_ quits (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a) (Ping timeout: 240 seconds) |
| 2020-11-11 17:18:19 | <maerwald> | If you take a radical stance you could maybe say haskell is purely functional with side effects |
| 2020-11-11 17:18:48 | <hekkaidekapus> | boxscape: Ok, forget ATS then! The dataview stuff is neat, a Maybe at the pointer level; it might be for a follow-up talk ;) |
| 2020-11-11 17:19:02 | <boxscape> | it certainly sounds interesting |
| 2020-11-11 17:21:36 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-11 17:22:31 | × | neiluj quits (~jco@24.104.204.77.rev.sfr.net) (Read error: Connection reset by peer) |
| 2020-11-11 17:22:48 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2020-11-11 17:23:19 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-11 17:23:57 | → | Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2020-11-11 17:26:43 | → | neiluj joins (~jco@24.104.204.77.rev.sfr.net) |
| 2020-11-11 17:26:45 | × | centril quits (~centril@213-66-146-92-no250.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2020-11-11 17:27:28 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2020-11-11 17:28:55 | → | s00pcan joins (~chris@107.181.165.217) |
| 2020-11-11 17:29:16 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-11-11 17:30:22 | × | coco quits (~coco@212-51-146-87.fiber7.init7.net) (Quit: WeeChat 2.9) |
| 2020-11-11 17:30:43 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-11 17:32:52 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-11-11 17:33:14 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-11 17:33:23 | × | Sanchayan quits (~Sanchayan@122.181.216.76) (Quit: leaving) |
| 2020-11-11 17:34:29 | → | thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) |
| 2020-11-11 17:34:37 | × | Iceland_jack quits (~user@95.149.219.123) (Ping timeout: 246 seconds) |
| 2020-11-11 17:34:44 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 2020-11-11 17:36:13 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Ping timeout: 260 seconds) |
| 2020-11-11 17:37:16 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 256 seconds) |
| 2020-11-11 17:37:34 | → | v_m_v_ joins (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a) |
| 2020-11-11 17:38:01 | hackage | wai-rate-limit 0.1.0.0 - Rate limiting as WAI middleware https://hackage.haskell.org/package/wai-rate-limit-0.1.0.0 (mbg) |
| 2020-11-11 17:38:05 | <dminuoso> | int-e: heh. "most haskell implementations". how many are still alive and in actual use? |
| 2020-11-11 17:38:24 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2020-11-11 17:38:37 | <int-e> | dminuoso: but those are two different questions |
| 2020-11-11 17:38:47 | int-e | wonders whether ndm still uses winhugs, for example |
| 2020-11-11 17:38:56 | <maerwald> | do eta and frege count? |
| 2020-11-11 17:39:00 | hackage | wai-rate-limit-redis 0.1.0.0 - Redis backend for rate limiting as WAI middleware https://hackage.haskell.org/package/wai-rate-limit-redis-0.1.0.0 (mbg) |
| 2020-11-11 17:39:08 | <dminuoso> | int-e: wait, ndm used winhugs? |
| 2020-11-11 17:39:33 | <dminuoso> | maerwald: Id say yes. |
| 2020-11-11 17:40:07 | <int-e> | dminuoso: The ones I'm aware of are ghc and ghcjs, but I'm not really keeping track anymore. hugs, nhc are not maintained, jhc is probably unmaintained as well... |
| 2020-11-11 17:40:33 | <int-e> | dminuoso: ndm liked it because it reloaded code much faster than ghci |
| 2020-11-11 17:40:43 | <bqv> | yhc never even got off the ground, huh... |
| 2020-11-11 17:40:49 | <maerwald> | also, pH counts as well |
| 2020-11-11 17:40:52 | <dminuoso> | I mean frege itself seems like a pure haskell implementation |
| 2020-11-11 17:40:52 | × | thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-11-11 17:40:55 | <dminuoso> | eta is a dialect tho |
| 2020-11-11 17:41:05 | <dminuoso> | Or are there relevant differences between frege and haskell? |
| 2020-11-11 17:41:43 | <maerwald> | https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.106.364&rep=rep1&type=pdf |
| 2020-11-11 17:41:56 | → | crdrost joins (~crdrost@c-98-207-102-156.hsd1.ca.comcast.net) |
| 2020-11-11 17:41:58 | <maerwald> | it's lenient haskell |
| 2020-11-11 17:42:15 | <int-e> | dminuoso: I guess I was allowing for crazy possibilities like somebody writing a Haskell implementation targeting pure lambda calculus or things like sed. |
| 2020-11-11 17:42:54 | <int-e> | dminuoso: actually ghcjs is an interesting case here as well |
| 2020-11-11 17:43:35 | <dminuoso> | int-e: I dont even understand how ghcjs does memory management. |
| 2020-11-11 17:43:47 | <dminuoso> | afaik js does not provide you with raw memory access |
| 2020-11-11 17:44:01 | <dminuoso> | Do you have two "nested" garbage collectors? |
| 2020-11-11 17:44:06 | <int-e> | Right, I just realized I don't know that either... does it use arrays for a simulated heap or does it use javscript objects? |
| 2020-11-11 17:45:51 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-zzpyrrbxxyzgpyxs) |
| 2020-11-11 17:46:07 | <int-e> | Well, let me see if I can build that thing and find out... |
| 2020-11-11 17:46:31 | <bqv> | nested garbage collectors |
| 2020-11-11 17:46:34 | <dminuoso> | int-e: https://www.haskell.org/haskell-symposium/2013/ghcjs.pdf |
| 2020-11-11 17:46:39 | <bqv> | that sounds like a special kind of hell |
| 2020-11-11 17:46:54 | <dminuoso> | According to that (possibly dated) paper, plain JS objects |
| 2020-11-11 17:47:19 | <int-e> | Right, "representing every Haskell heap object as a plain JavaScript object" |
| 2020-11-11 17:47:25 | <dminuoso> | So that would suggest, there's only the JS garbage collector |
| 2020-11-11 17:47:29 | <bqv> | makes the most sense |
| 2020-11-11 17:47:37 | <bqv> | besides, purescript manages fine |
| 2020-11-11 17:47:45 | <dminuoso> | PureScript is strict. |
| 2020-11-11 17:47:52 | <bqv> | entirely? |
| 2020-11-11 17:47:52 | <dminuoso> | That changes things |
| 2020-11-11 17:47:54 | <dminuoso> | Yes |
| 2020-11-11 17:48:12 | <bqv> | i thought there was some laziness somewhere... meh |
| 2020-11-11 17:49:07 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-gthhcxtxtvdrftco) (Quit: Connection closed for inactivity) |
| 2020-11-11 17:49:38 | → | texasmynsted joins (~texasmyns@185.229.59.103) |
| 2020-11-11 17:49:58 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-11 17:50:13 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-11 17:50:24 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 2020-11-11 17:51:04 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-httqaqxfpjaazrtn) |
| 2020-11-11 17:53:17 | → | dbmikus__ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-11-11 17:53:28 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-dhscxibpvyjxdjig) |
| 2020-11-11 17:53:29 | × | chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2020-11-11 17:54:09 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-11 17:54:51 | → | coco joins (~coco@212-51-146-87.fiber7.init7.net) |
| 2020-11-11 17:56:16 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-11 17:56:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2020-11-11 17:57:23 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-11-11 17:57:29 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2020-11-11 17:57:31 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-11 17:57:54 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2020-11-11 17:58:10 | × | xenon- quits (~bc8165ab@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2020-11-11 17:59:16 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2020-11-11 18:00:01 | × | gatox quits (~gatox@185.204.1.185) () |
| 2020-11-11 18:01:45 | <bqv> | good lord it compiled |
| 2020-11-11 18:01:49 | <bqv> | for the first time in a week |
| 2020-11-11 18:01:57 | × | avdb quits (~avdb@ip-83-134-202-84.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 2020-11-11 18:03:24 | × | feliocrat quits (~feliocrat@95.70.185.239) (Remote host closed the connection) |
| 2020-11-11 18:04:33 | → | dddddd joins (~dddddd@unaffiliated/dddddd) |
| 2020-11-11 18:04:34 | → | britva joins (~britva@2a02:aa13:7240:2980:710d:443e:844f:5480) |
| 2020-11-11 18:04:47 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-11 18:06:20 | × | britva quits (~britva@2a02:aa13:7240:2980:710d:443e:844f:5480) (Client Quit) |
| 2020-11-11 18:06:34 | × | byorgey quits (~byorgey@155.138.238.211) (Ping timeout: 260 seconds) |
All times are in UTC.