Logs: freenode/#haskell
| 2021-03-19 00:22:33 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-03-19 00:23:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-19 00:24:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-19 00:25:20 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds) |
| 2021-03-19 00:26:26 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-19 00:26:46 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-19 00:28:23 | × | Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds) |
| 2021-03-19 00:28:49 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-ircgkbilfzdxjhvn) (Quit: Connection closed for inactivity) |
| 2021-03-19 00:29:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-19 00:30:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-19 00:30:39 | × | dhil quits (~dhil@80.208.56.181) (Ping timeout: 256 seconds) |
| 2021-03-19 00:31:20 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-03-19 00:31:56 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 2021-03-19 00:32:13 | × | SolidusRiver quits (~fuag1@174.127.249.180) (Quit: Leaving) |
| 2021-03-19 00:35:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-19 00:36:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-19 00:38:53 | hackage | persistent-mtl 0.2.1.0 - Monad transformer for the persistent API https://hackage.haskell.org/package/persistent-mtl-0.2.1.0 (brandonchinn178) |
| 2021-03-19 00:41:04 | <koz_> | If I use http://hackage.haskell.org/package/primitive-0.7.1.0/docs/Data-Primitive-ByteArray.html#v:newByteArray, taking care to specify the size as a multiple of Word size, will it be Word-aligned? |
| 2021-03-19 00:41:25 | × | poscat quits (~poscat@123.112.148.153) (Ping timeout: 256 seconds) |
| 2021-03-19 00:41:29 | → | poscat1 joins (~poscat@2408:8207:4823:b150::1) |
| 2021-03-19 00:41:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-19 00:42:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-19 00:42:49 | → | ntkr joins (uid491148@gateway/web/irccloud.com/x-grscyfuzvjfkwmna) |
| 2021-03-19 00:44:30 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-19 00:45:48 | <ephemient> | koz_: I would expect so because the object header comes before it and I think that has to be word aligned, but I don't know if it's guaranteed anywhere |
| 2021-03-19 00:46:09 | <koz_> | ephemient: I've asked in #ghc for clarification. |
| 2021-03-19 00:46:15 | <koz_> | If anyone knows they would. |
| 2021-03-19 00:47:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-19 00:48:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-19 00:52:13 | × | InsideBreeze quits (~manjaro-i@183.217.98.211) (Read error: Connection reset by peer) |
| 2021-03-19 00:54:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-19 00:58:52 | × | conal quits (~conal@66.115.157.150) (Quit: Computer has gone to sleep.) |
| 2021-03-19 01:07:37 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-19 01:08:42 | → | doom29 joins (9d2df085@157.45.240.133) |
| 2021-03-19 01:09:01 | × | doom29 quits (9d2df085@157.45.240.133) (Client Quit) |
| 2021-03-19 01:10:29 | × | maroloccio quits (~marolocci@pousada3ja.mma.com.br) (Quit: WeeChat 2.3) |
| 2021-03-19 01:12:03 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-19 01:12:25 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-03-19 01:13:31 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-03-19 01:17:34 | <Axman6> | koz_: what're you playing with byte arrays for? I was also looking at them this morning... |
| 2021-03-19 01:17:34 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-19 01:17:45 | <koz_> | Axman6: I'm writing a new back-end for text-ascii. |
| 2021-03-19 01:18:04 | <koz_> | Also, Word# alignment has been confirmed, ephemient . |
| 2021-03-19 01:18:08 | <koz_> | By Ben Gamari himself. |
| 2021-03-19 01:18:09 | <Axman6> | ah nice. I'm doing a lot of thinking about text-utf8 :) |
| 2021-03-19 01:20:23 | → | nfd joins (~nfd9001@2601:602:77f:1820:4d29:e851:1101:fd1c) |
| 2021-03-19 01:20:31 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 01:22:00 | <monochrom> | lyxia: ohai I just randomly noticed you co-authored the paper "interaction trees: ... impure programs in Coq", and it's recently too, like just last year. Is it true that this is "simply" noticing that free monads are trees, especially eg "data PutGet r = ... | Get (Char -> PutGet) | ..." is a tree s.t. each path stands for a particular user session? |
| 2021-03-19 01:22:17 | <emmanuel_erc> | So I've run into this frustrating case where compiling a module with a case statament casing on a GADT with 32 clauses, is taking both a long time and a lot of memory (several GBs) |
| 2021-03-19 01:22:28 | <emmanuel_erc> | Has anyone ever run into a situation like this? |
| 2021-03-19 01:22:40 | <Axman6> | D: |
| 2021-03-19 01:22:55 | <Axman6> | that sounds unoptimal |
| 2021-03-19 01:24:37 | <monochrom> | (I was entering "benjamin pierce advanced types and programming languages" into my university's library website in hope of locating a free online copy of AdvancedTaPL from our library. It came back with book reviews and then a lot of Pierce-coauthored papers.) |
| 2021-03-19 01:24:56 | × | nfd quits (~nfd9001@2601:602:77f:1820:4d29:e851:1101:fd1c) (Ping timeout: 240 seconds) |
| 2021-03-19 01:25:02 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-19 01:25:46 | <koz_> | emmanuel_erc: I haven't seen this with GADTs, but I know large sums, products or records aren't wonderful with GHC. |
| 2021-03-19 01:25:50 | <Axman6> | emmanuel_erc: do you have a minimal example? |
| 2021-03-19 01:25:58 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-03-19 01:27:17 | <emmanuel_erc> | Axma6: Sure, I can produce that. |
| 2021-03-19 01:35:39 | → | dramforever joins (~dram@unaffiliated/dramforever) |
| 2021-03-19 01:36:46 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-qbpyohprirpsktei) |
| 2021-03-19 01:36:46 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 01:37:10 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 01:37:53 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-19 01:38:07 | <emmanuel_erc> | Axman6: Here is my minimal example http://ix.io/2Tng |
| 2021-03-19 01:38:55 | <emmanuel_erc> | I suppose I should have been more specific, I'm using dependent sums ala https://hackage.haskell.org/package/dependent-sum |
| 2021-03-19 01:39:03 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-19 01:40:29 | <Axman6> | yeah that'd definitely not a minimal example, that's just a snippet of code. would be good to at least have syntax highlighting |
| 2021-03-19 01:41:24 | Axman6 | is weary that the favicon is Rick Astley |
| 2021-03-19 01:43:20 | × | xff0x quits (~xff0x@2001:1a81:522e:8700:e7a1:c2d3:2b7b:9821) (Ping timeout: 240 seconds) |
| 2021-03-19 01:44:30 | → | xff0x joins (~xff0x@2001:1a81:522e:8700:ae9a:c4cb:63ce:6170) |
| 2021-03-19 01:46:03 | × | kumo quits (~kumo@139.180.144.166) (Quit: WeeChat 2.9) |
| 2021-03-19 01:47:21 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds) |
| 2021-03-19 01:48:00 | <emmanuel_erc> | ah |
| 2021-03-19 01:48:35 | <emmanuel_erc> | Axman6: I didn't want to post on pastebin. |
| 2021-03-19 01:48:56 | <emmanuel_erc> | I guess I could post the entire case statement (it is LONG) as a gist. |
| 2021-03-19 01:49:14 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-19 01:49:38 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2021-03-19 01:52:34 | <lyxia> | monochrom: that's where the name comes from but the extra work is in formalizing the right notion of equality and dealing with nontermination in a total language. |
| 2021-03-19 01:54:21 | <monochrom> | Ah, equality is a lot of work, yes. |
| 2021-03-19 01:57:00 | <emmanuel_erc> | Axma6: Is this better? https://gist.github.com/emmanueldenloye/33d9751c66110d9f32a5f51f42a8d1c4 |
| 2021-03-19 01:58:29 | <ephemient> | emmanuel_erc: by minimal example something along the lines of https://stackoverflow.com/help/reprex is meant |
| 2021-03-19 01:58:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-19 01:58:43 | → | sh91 joins (~sh9@softbank060116136158.bbtec.net) |
| 2021-03-19 01:58:55 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) |
| 2021-03-19 01:59:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-19 01:59:40 | sh91 | is now known as sh9 |
| 2021-03-19 02:00:04 | <emmanuel_erc> | Ok thanks ephemient |
| 2021-03-19 02:00:32 | <emmanuel_erc> | This might take a little bit longer to produce. But I'll be back. |
| 2021-03-19 02:00:48 | <emmanuel_erc> | And sorry for the spam I suppose. |
| 2021-03-19 02:03:39 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 02:04:16 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 02:04:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-19 02:05:10 | × | darjeeling_ quits (~darjeelin@122.245.217.128) (Ping timeout: 260 seconds) |
| 2021-03-19 02:06:03 | → | toorevitimirp joins (~tooreviti@117.182.183.55) |
| 2021-03-19 02:09:10 | × | psygate quits (~psygate@unaffiliated/psygate) (Read error: Connection reset by peer) |
| 2021-03-19 02:09:56 | × | poscat1 quits (~poscat@2408:8207:4823:b150::1) (Remote host closed the connection) |
| 2021-03-19 02:11:44 | → | poscat joins (~poscat@2408:8207:4823:b150::1) |
| 2021-03-19 02:13:40 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-ibeawnzzibcmilki) () |
| 2021-03-19 02:15:42 | <siraben> | monochrom: very nice |
All times are in UTC.