Logs on 2022-09-10 (liberachat/#haskell)
| 00:00:34 | <fraznel> | parameterizing the exception handler as part of the monadic effect also results in the exception escaping the handleAny |
| 00:00:46 | × | [-n3W7-] quits (~q_q@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 00:01:45 | <fraznel> | if yanked it out into a helper function that is required to be called from within the monad in question which is called at the site and that works. |
| 00:01:49 | <fraznel> | but... :? |
| 00:03:04 | <fraznel> | i'd like to have my cake and eat it too by handling exceptions with reasonable universal defaults in my monad that deals with the database and don't grok why it results in leaky exception handling |
| 00:04:23 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 00:05:35 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 00:12:09 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 00:12:10 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 00:13:41 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 00:16:03 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 00:16:34 | → | nate1 joins (~nate@98.45.169.16) |
| 00:17:49 | × | ryantrinkle quits (~ryan@2607:f00:3:14c0:7c6b:7160:d1ff:3f7) (Ping timeout: 244 seconds) |
| 00:19:59 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:26:16 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 00:31:05 | → | rockymarine joins (~rocky@user/rockymarine) |
| 00:35:23 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 00:35:26 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 00:35:29 | × | rockymarine quits (~rocky@user/rockymarine) (Read error: Connection reset by peer) |
| 00:35:54 | → | rockymarine joins (~rocky@user/rockymarine) |
| 00:38:29 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 00:39:37 | lua | is now known as ed |
| 00:40:18 | → | luffy joins (~chenqisu1@183.217.201.192) |
| 00:40:29 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:41:17 | × | Tuplanolla quits (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:41:40 | × | hsw quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 00:41:49 | → | hsw joins (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 00:42:40 | × | fraznel quits (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Quit: Leaving) |
| 00:45:38 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 00:47:16 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 00:50:14 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 00:50:35 | → | nbms^ joins (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) |
| 00:55:13 | → | infinity0 joins (~infinity0@185.112.146.113) |
| 00:56:51 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:57:51 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 00:58:20 | → | mikess joins (~sam@user/mikess) |
| 01:00:25 | → | rockymarine joins (~rocky@user/rockymarine) |
| 01:02:44 | × | nbms^ quits (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 268 seconds) |
| 01:06:43 | × | mikess quits (~sam@user/mikess) (Ping timeout: 248 seconds) |
| 01:07:47 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 01:11:06 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:17 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 01:13:35 | → | rockymarine joins (~rocky@user/rockymarine) |
| 01:17:13 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:55 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 01:20:12 | → | nbms^ joins (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) |
| 01:25:24 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 01:25:51 | × | mmhat quits (~mmh@p200300f1c728cc1aee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 01:29:20 | → | rockymarine joins (~rocky@user/rockymarine) |
| 01:35:13 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:35:29 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:42:02 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 01:44:03 | × | xff0x quits (~xff0x@2405:6580:b080:900:7afb:e146:b361:288c) (Ping timeout: 248 seconds) |
| 01:44:39 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 01:46:26 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:47:49 | → | califax joins (~califax@user/califx) |
| 01:57:06 | → | buster_blue[m] joins (~busterblu@2001:470:69fc:105::1:d7e8) |
| 01:58:43 | × | nbms^ quits (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 02:02:59 | × | guyst_ quits (~guyst@213.205.241.185) (Ping timeout: 252 seconds) |
| 02:03:50 | → | mikess joins (~sam@user/mikess) |
| 02:05:23 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 02:05:26 | → | xff0x joins (~xff0x@2405:6580:b080:900:7afb:e146:b361:288c) |
| 02:05:42 | × | mikess quits (~sam@user/mikess) (Client Quit) |
| 02:07:14 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 02:11:13 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 02:12:24 | × | Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 02:12:42 | → | Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 02:23:53 | → | nate1 joins (~nate@98.45.169.16) |
| 02:24:18 | <johnjaye> | i've been reading this blog post on category theory and haskell but i'm having trouble with it. he says that void in C is like a morphism from a set A to a singleton set. |
| 02:24:47 | <johnjaye> | for example void func(int a) { a+=1; } |
| 02:26:17 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 02:26:49 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 02:28:19 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 02:32:11 | → | rockymarine joins (~rocky@user/rockymarine) |
| 02:36:19 | × | td_ quits (~td@94.134.91.37) (Ping timeout: 248 seconds) |
| 02:36:56 | <dolio> | Yeah? |
| 02:38:12 | → | td_ joins (~td@muedsl-82-207-238-006.citykom.de) |
| 02:39:29 | <dsal> | I think they're distracting you by also doing something nobody can observe. |
| 02:40:35 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 02:41:21 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 02:41:44 | × | califax quits (~califax@user/califx) (Ping timeout: 258 seconds) |
| 02:42:33 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 02:43:15 | → | califax joins (~califax@user/califx) |
| 02:46:22 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 02:47:50 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:47:50 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:47:50 | finn_elija | is now known as FinnElija |
| 02:48:23 | <dolio> | Disappointing. I was ready to talk about some category theory. |
| 02:49:22 | × | luffy quits (~chenqisu1@183.217.201.192) (Remote host closed the connection) |
| 02:49:53 | → | luffy joins (~chenqisu1@183.217.201.192) |
| 02:55:53 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 02:56:38 | × | raym quits (~raym@user/raym) (Remote host closed the connection) |
| 03:01:34 | → | mikess joins (~sam@user/mikess) |
| 03:02:02 | × | mikess quits (~sam@user/mikess) (Client Quit) |
| 03:03:17 | × | kimjetwav quits (~user@2607:fea8:235e:b600:92e2:67dd:5673:6729) (Remote host closed the connection) |
| 03:09:04 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:10:58 | → | raym joins (~raym@user/raym) |
| 03:11:21 | <johnjaye> | well. i guess that's what i was asking |
| 03:11:40 | <johnjaye> | maybe there's a better source on category theory than this blog post as it relates to haskell |
| 03:12:13 | <johnjaye> | apparently Set gets renamed to Hask at one point |
| 03:12:24 | <johnjaye> | _|_ was also mentioned. |
| 03:13:07 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 03:15:19 | <dolio> | Yes, void is like a singleton set. That function always returns the same, completely uninformative value, in a manner of speaking. |
| 03:16:32 | <dolio> | Functions in C don't exactly match up with mathematical functions on the given types, because there are side effects and stuff, though. |
| 03:16:45 | <[Leary]> | johnjaye: I suspect that a blog post relating Haskell to Category Theory doesn't have much value unless you already know one of the two. It's like trying to use a French to Spanish dictionary when you only speak English. |
| 03:20:04 | <[Leary]> | Though this case doesn't really need any CT. What it comes down to, is that the choice of an element of a given singleton set does not encode any information. It's the closest option to "returning nothing" that a (total) function (of non-empty domain) has. In the impure, mutable context of C, that function is something like `Int -> ()`. In Haskell, it's `IORef Int -> IO ()`. Either way, () is a singleton type, and it's there because the function does |
| 03:20:04 | <[Leary]> | n't have anything else to say. |
| 03:32:33 | <EvanR> | because returning a null pointer would be all the wrong kinds of fun |
| 03:35:11 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 03:40:21 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::875a) (Ping timeout: 244 seconds) |
| 03:42:13 | → | gmg joins (~user@user/gehmehgeh) |
| 03:48:35 | → | rockymarine joins (~rocky@user/rockymarine) |
| 04:02:27 | <johnjaye> | ah ok. i assume this is related to the haskell-curry correspondence and such |
| 04:02:41 | <johnjaye> | so i was wondering if there were any documents i missed about it |
| 04:04:42 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 04:04:49 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 04:11:43 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 04:12:13 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 04:15:06 | × | ente` quits (~daemon@inferno.barfooze.de) (Ping timeout: 260 seconds) |
| 04:16:58 | × | koolazer quits (~koo@user/koolazer) (Read error: Connection reset by peer) |
| 04:19:45 | × | luffy quits (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 04:21:24 | → | ente` joins (~daemon@inferno.barfooze.de) |
| 04:22:19 | × | justJingo quits (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:22:42 | → | justache joins (~justache@user/justache) |
| 04:25:49 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:35:40 | × | caryhartline quits (~caryhartl@2600:1700:2d0:8d30:7194:db6b:564d:bfb9) (Quit: caryhartline) |
| 04:36:19 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 04:42:43 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 04:43:41 | × | gdown quits (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Ping timeout: 260 seconds) |
| 04:45:05 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 04:49:31 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 04:52:19 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 04:57:07 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 05:02:20 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 05:12:13 | → | rockymarine joins (~rocky@user/rockymarine) |
| 05:19:33 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 05:23:15 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 05:26:59 | × | ente` quits (~daemon@inferno.barfooze.de) (Ping timeout: 248 seconds) |
| 05:34:21 | → | nate1 joins (~nate@98.45.169.16) |
| 05:41:48 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 05:42:57 | → | razetime joins (~quassel@117.254.34.232) |
| 05:51:16 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 06:02:23 | ormaaj | is now known as ormaaj2 |
| 06:03:03 | ormaaj2 | is now known as ormaaaj |
| 06:03:56 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 06:07:31 | → | biberu joins (~biberu@user/biberu) |
| 06:09:08 | × | codaraxis__ quits (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 06:10:02 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 06:11:04 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 06:12:47 | → | zxx7529 joins (~Thunderbi@user/zxx7529) |
| 06:13:03 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 06:13:48 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 06:14:41 | → | rockymarine joins (~rocky@user/rockymarine) |
| 06:15:26 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 06:15:30 | → | coot joins (~coot@213.134.176.158) |
| 06:16:35 | × | vglfr quits (~vglfr@145.224.94.248) (Ping timeout: 248 seconds) |
| 06:20:23 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 06:20:32 | → | ente` joins (~daemon@inferno.barfooze.de) |
| 06:28:32 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:30:22 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 06:31:36 | × | zxx7529 quits (~Thunderbi@user/zxx7529) (Ping timeout: 260 seconds) |
| 06:31:55 | → | vglfr joins (~vglfr@145.224.94.248) |
| 06:32:45 | → | chomwitt joins (~chomwitt@2a02:587:dc16:fe00:b62b:4d00:b365:1fd8) |
| 06:33:37 | → | rockymarine joins (~rocky@user/rockymarine) |
| 06:34:28 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 06:35:53 | → | mastarija joins (~mastarija@46.188.135.255) |
| 06:36:58 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 06:40:33 | × | vglfr quits (~vglfr@145.224.94.248) (Ping timeout: 252 seconds) |
| 06:51:43 | → | nate1 joins (~nate@98.45.169.16) |
| 06:55:38 | → | vglfr joins (~vglfr@145.224.94.221) |
| 07:02:32 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 07:03:21 | → | toeffel joins (~toeffel@user/toeffel) |
| 07:03:29 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 07:04:17 | → | MoC joins (~moc@user/moc) |
| 07:12:38 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 07:18:54 | × | razetime quits (~quassel@117.254.34.232) (Ping timeout: 244 seconds) |
| 07:27:54 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 07:30:54 | → | acidjnk joins (~acidjnk@p200300d6e7137a4691693eacd7b318b7.dip0.t-ipconnect.de) |
| 07:30:55 | → | acidjnk_new joins (~acidjnk@p200300d6e7137a4691693eacd7b318b7.dip0.t-ipconnect.de) |
| 07:31:59 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 07:33:52 | → | CiaoSen joins (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 07:41:10 | → | Tuplanolla joins (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 07:43:42 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 07:45:10 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 07:47:47 | × | mastarija quits (~mastarija@46.188.135.255) (Ping timeout: 248 seconds) |
| 07:48:01 | × | acidjnk_new quits (~acidjnk@p200300d6e7137a4691693eacd7b318b7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 07:48:01 | × | acidjnk quits (~acidjnk@p200300d6e7137a4691693eacd7b318b7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 07:48:45 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 07:49:23 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 07:50:03 | → | mastarija joins (~mastarija@46.188.135.255) |
| 07:52:45 | × | jargon quits (~jargon@184.101.66.251) (Remote host closed the connection) |
| 07:54:43 | × | toeffel quits (~toeffel@user/toeffel) (Ping timeout: 248 seconds) |
| 08:00:26 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:02:31 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 08:04:52 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 08:11:24 | × | mastarija quits (~mastarija@46.188.135.255) (Quit: WeeChat 3.5) |
| 08:11:44 | → | mastarija joins (~mastarija@46.188.135.255) |
| 08:11:59 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 08:18:11 | × | Vajb quits (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
| 08:19:15 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 08:19:16 | → | rockymarine joins (~rocky@user/rockymarine) |
| 08:19:21 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:19:41 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 08:24:03 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 08:26:49 | × | hsw quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 08:27:01 | → | hsw joins (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 08:32:14 | → | mjrosenb joins (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) |
| 08:33:18 | <mjrosenb> | I'm trying to build something with ghcjs, and when I add in a reference to Commonmark.commonmark, the linking phase starts to fail with running out of stack |
| 08:33:37 | → | rockymarine joins (~rocky@user/rockymarine) |
| 08:34:56 | → | toeffel joins (~toeffel@user/toeffel) |
| 08:36:11 | → | yvan-sraka joins (~yvan-srak@2a02:2788:224:71c:6d92:6ba0:2cf1:bf18) |
| 08:39:17 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:40:01 | → | eikke joins (~NicolasT@user/NicolasT) |
| 08:40:54 | <mjrosenb> | Linking dist/build/htalk-client/htalk-client.jsexe (Main) |
| 08:40:55 | <mjrosenb> | stack overflow: use +RTS -K<size> to increase it |
| 08:41:11 | <mjrosenb> | is the exact error, not that it has any useful informaion in it. |
| 08:46:14 | × | mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 08:47:04 | → | lottaquestions joins (~nick@2607:fa49:503e:7100:c24f:b04e:32d4:e421) |
| 08:47:50 | × | lottaquestions quits (~nick@2607:fa49:503e:7100:c24f:b04e:32d4:e421) (Client Quit) |
| 08:49:00 | → | lottaquestions joins (~nick@2607:fa49:503e:7100:c24f:b04e:32d4:e421) |
| 08:49:41 | → | luffy joins (~chenqisu1@183.217.201.192) |
| 08:49:44 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 08:54:38 | <mjrosenb> | oh joy, I can reference the function |
| 08:54:49 | <mjrosenb> | but when I try to do something with the result, the linker gets sad |
| 08:56:35 | <mjrosenb> | printing it, or even matching on the result causes an issue. I wonder if this has to do with the polymorphism in the return of it. I'm asking it to return Html () |
| 08:56:40 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:57:00 | <mjrosenb> | I wonder if they have any other data types implementing that typeclass |
| 08:57:20 | → | Guest8 joins (~Guest8@p200300ef9718354a03cb9868a876eda3.dip0.t-ipconnect.de) |
| 08:57:55 | × | yvan-sraka quits (~yvan-srak@2a02:2788:224:71c:6d92:6ba0:2cf1:bf18) (Remote host closed the connection) |
| 08:58:13 | → | yvan-sraka joins (~yvan-srak@2a02:2788:224:71c:ea38:ab1b:9b5d:9cb6) |
| 09:00:02 | <mjrosenb> | class (Monoid b, Show b, Rangeable b, IsInline il, HasAttributes b) => IsBlock il b | b -> il where |
| 09:00:11 | <mjrosenb> | methinks I am too tired to implement that right now. |
| 09:00:23 | → | isolateminds joins (~danny@c-73-139-200-93.hsd1.fl.comcast.net) |
| 09:03:01 | <isolateminds> | Hello |
| 09:06:15 | × | yvan-sraka quits (~yvan-srak@2a02:2788:224:71c:ea38:ab1b:9b5d:9cb6) (Remote host closed the connection) |
| 09:07:40 | ← | isolateminds parts (~danny@c-73-139-200-93.hsd1.fl.comcast.net) () |
| 09:07:55 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 09:09:21 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:10:59 | × | tcard quits (~tcard@p1094022-ipngn10701hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 248 seconds) |
| 09:16:33 | → | razetime joins (~quassel@117.254.34.232) |
| 09:18:15 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 09:22:04 | → | isolateminds joins (~danny@c-73-139-200-93.hsd1.fl.comcast.net) |
| 09:23:57 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 09:28:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:30:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:30:22 | → | potash joins (~foghorn@user/foghorn) |
| 09:36:44 | → | goldstein joins (~goldstein@static.234.8.201.195.clients.your-server.de) |
| 09:38:01 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 09:38:02 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 09:39:46 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:42:42 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 09:42:56 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 09:44:03 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 09:45:06 | → | hippoid joins (~idris@ec2-107-22-56-196.compute-1.amazonaws.com) |
| 09:47:22 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 09:47:52 | → | Vajb joins (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 09:47:58 | × | coot quits (~coot@213.134.176.158) (Quit: coot) |
| 09:49:01 | × | Guest8 quits (~Guest8@p200300ef9718354a03cb9868a876eda3.dip0.t-ipconnect.de) (Quit: Client closed) |
| 09:50:09 | → | rockymarine joins (~rocky@user/rockymarine) |
| 09:52:14 | × | isolateminds quits (~danny@c-73-139-200-93.hsd1.fl.comcast.net) (Quit: Lost terminal) |
| 09:56:05 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 09:57:30 | → | mmhat joins (~mmh@p200300f1c728cc1aee086bfffe095315.dip0.t-ipconnect.de) |
| 10:00:37 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 10:02:08 | × | mastarija quits (~mastarija@46.188.135.255) (Quit: WeeChat 3.5) |
| 10:05:25 | → | oldsk00l joins (~znc@ec2-18-134-177-246.eu-west-2.compute.amazonaws.com) |
| 10:07:52 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 10:12:30 | → | jargon joins (~jargon@184.101.66.251) |
| 10:13:32 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 10:17:44 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 10:17:45 | → | `2jt joins (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 10:23:28 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 10:31:20 | → | rockymarine joins (~rocky@user/rockymarine) |
| 10:32:08 | → | mehrad joins (~mehrad@host-a59myvj.static.zeelandnet.nl) |
| 10:32:14 | × | mehrad quits (~mehrad@host-a59myvj.static.zeelandnet.nl) (Client Quit) |
| 10:37:13 | → | nate1 joins (~nate@98.45.169.16) |
| 10:40:22 | → | zxx7529 joins (~Thunderbi@user/zxx7529) |
| 10:41:25 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 10:42:15 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 10:43:05 | → | tcard joins (~tcard@p1773251-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 10:44:41 | → | tcard_ joins (~tcard@p1773251-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 10:44:55 | × | tcard quits (~tcard@p1773251-ipngn12801hodogaya.kanagawa.ocn.ne.jp) (Read error: Connection reset by peer) |
| 10:45:34 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 10:46:58 | × | tcard_ quits (~tcard@p1773251-ipngn12801hodogaya.kanagawa.ocn.ne.jp) (Remote host closed the connection) |
| 10:47:11 | → | tcard_ joins (~tcard@p1773251-ipngn12801hodogaya.kanagawa.ocn.ne.jp) |
| 10:48:47 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 10:50:28 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:51:12 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 10:57:00 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 10:58:11 | × | CiaoSen quits (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 10:58:44 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 11:12:35 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:15:33 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 11:16:05 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 11:17:53 | → | titibandit joins (~titibandi@xdsl-85-197-3-115.nc.de) |
| 11:29:32 | → | Successus joins (~Successus@user/Successus) |
| 11:32:39 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.6) |
| 11:33:07 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 11:33:11 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 11:37:05 | → | coot joins (~coot@213.134.176.158) |
| 11:38:28 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 11:43:26 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 11:44:01 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 11:44:16 | → | alternateved joins (~user@staticline-31-183-146-203.toya.net.pl) |
| 11:46:06 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 11:48:56 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 11:49:39 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 11:52:20 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:52:29 | → | kenran joins (~kenran@200116b82b0a4200fa65784654f4f9a3.dip.versatel-1u1.de) |
| 11:52:43 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 11:52:48 | × | kenran quits (~kenran@200116b82b0a4200fa65784654f4f9a3.dip.versatel-1u1.de) (Client Quit) |
| 11:57:01 | → | rockymarine joins (~rocky@user/rockymarine) |
| 12:01:57 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 12:02:50 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 12:11:39 | × | luffy quits (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 12:14:44 | → | rockymarine joins (~rocky@user/rockymarine) |
| 12:14:54 | × | `2jt quits (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 12:20:07 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 12:20:27 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 12:26:27 | × | mrmr quits (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 12:26:44 | → | mrmr joins (~mrmr@user/mrmr) |
| 12:27:09 | → | Topsi joins (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) |
| 12:27:16 | → | odnes joins (~odnes@5-203-227-103.pat.nym.cosmote.net) |
| 12:27:46 | → | mbuf joins (~Shakthi@91.208.88.13) |
| 12:28:42 | × | Andrew quits (Andrew@user/AndrewYu) (Quit: Disappearing for a while, email me if you need to talk: andrew AT andrewyu DOT org.) |
| 12:35:58 | × | zachel_ quits (~zachel@user/zachel) (Quit: DIsconnected: v7+nano) |
| 12:37:26 | → | zachel joins (~zachel@user/zachel) |
| 12:42:01 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 12:43:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:43:46 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 12:43:50 | × | zachel quits (~zachel@user/zachel) (Quit: DIsconnected: v7+nano) |
| 12:45:48 | → | zachel joins (~zachel@user/zachel) |
| 12:47:57 | × | phma quits (~phma@host-67-44-209-14.hnremote.net) (Ping timeout: 252 seconds) |
| 12:48:29 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 12:49:37 | → | phma joins (phma@2001:5b0:211f:e9a8:6c19:a290:295f:6fac) |
| 12:50:01 | × | alternateved quits (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 12:50:03 | × | zachel quits (~zachel@user/zachel) (Client Quit) |
| 12:50:22 | × | coot quits (~coot@213.134.176.158) (Quit: coot) |
| 12:52:00 | → | zachel joins (~zachel@user/zachel) |
| 12:52:06 | → | coot joins (~coot@213.134.176.158) |
| 13:06:47 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 13:08:01 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 13:14:11 | × | phma quits (phma@2001:5b0:211f:e9a8:6c19:a290:295f:6fac) (Read error: Connection reset by peer) |
| 13:14:14 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 13:16:07 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:19:44 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 13:20:00 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 13:22:03 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 13:23:00 | → | phma joins (~phma@host-67-44-208-193.hnremote.net) |
| 13:24:11 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 13:28:04 | → | rockymarine joins (~rocky@user/rockymarine) |
| 13:28:13 | → | Pickchea joins (~private@user/pickchea) |
| 13:33:25 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 13:36:23 | → | nate1 joins (~nate@98.45.169.16) |
| 13:38:43 | → | __monty__ joins (~toonn@user/toonn) |
| 13:41:51 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 13:43:18 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 13:47:47 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 13:52:56 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 13:53:37 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 13:54:21 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 14:00:43 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 14:03:51 | × | odnes quits (~odnes@5-203-227-103.pat.nym.cosmote.net) (Ping timeout: 252 seconds) |
| 14:04:21 | × | titibandit quits (~titibandi@xdsl-85-197-3-115.nc.de) (Quit: Leaving.) |
| 14:05:02 | → | rockymarine joins (~rocky@user/rockymarine) |
| 14:06:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:12:12 | → | odnes joins (~odnes@5-203-227-103.pat.nym.cosmote.net) |
| 14:13:00 | × | mbuf quits (~Shakthi@91.208.88.13) (Read error: Connection reset by peer) |
| 14:14:24 | → | mbuf joins (~Shakthi@91.208.88.13) |
| 14:15:16 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 14:16:37 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 14:17:05 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 14:21:57 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:24:25 | → | titibandit joins (~titibandi@xdsl-85-197-3-115.nc.de) |
| 14:26:26 | × | chomwitt quits (~chomwitt@2a02:587:dc16:fe00:b62b:4d00:b365:1fd8) (Ping timeout: 260 seconds) |
| 14:27:11 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 14:36:22 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:37:10 | jinsun | is now known as Guest507 |
| 14:37:11 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 14:37:11 | × | Guest507 quits (~jinsun@user/jinsun) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 14:37:11 | jinsun__ | is now known as jinsun |
| 14:41:19 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 14:41:19 | × | jinsun quits (~jinsun@user/jinsun) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 14:41:19 | jinsun__ | is now known as jinsun |
| 14:46:24 | × | mbuf quits (~Shakthi@91.208.88.13) (Read error: Connection reset by peer) |
| 14:46:54 | → | mbuf joins (~Shakthi@91.208.88.13) |
| 14:51:35 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 14:54:20 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 14:54:36 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:55:44 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 14:56:58 | × | mbuf quits (~Shakthi@91.208.88.13) (Read error: Connection reset by peer) |
| 14:57:24 | → | mbuf joins (~Shakthi@91.208.88.13) |
| 14:59:06 | × | euandreh quits (~euandreh@179.214.113.107) (Ping timeout: 260 seconds) |
| 14:59:53 | × | coot quits (~coot@213.134.176.158) (Quit: coot) |
| 15:01:24 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 15:02:24 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 15:03:06 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 15:04:35 | × | toeffel quits (~toeffel@user/toeffel) (Ping timeout: 248 seconds) |
| 15:06:15 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 15:14:55 | × | fjMSX quits (~hypni2p@128-68-149-52.broadband.corbina.ru) (Quit: Уш'лЪЬ їз єтой IRC сетї) |
| 15:15:16 | → | fjMSX joins (~hypni2p@128-68-149-52.broadband.corbina.ru) |
| 15:15:33 | → | beteigeuze joins (~Thunderbi@p5090d00a.dip0.t-ipconnect.de) |
| 15:16:47 | → | odnes_ joins (~odnes@5-203-232-136.pat.nym.cosmote.net) |
| 15:17:46 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 15:19:11 | × | odnes quits (~odnes@5-203-227-103.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 15:19:20 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 15:19:24 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:19:32 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 15:19:33 | × | mbuf quits (~Shakthi@91.208.88.13) (Quit: Leaving) |
| 15:21:31 | → | euandreh joins (~euandreh@179.214.113.107) |
| 15:24:35 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 15:28:48 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 15:29:00 | → | rockymarine joins (~rocky@user/rockymarine) |
| 15:30:52 | → | MoC joins (~moc@user/moc) |
| 15:32:30 | <xsebek> | Hi, is there a way to change executable datadir at compile time? |
| 15:33:05 | <xsebek> | Say I wanted it to point at /usr/share/my-app instead of $HOME/.cabal/store/ghc.../my-app/.../share |
| 15:34:07 | <xsebek> | I would expect the cabal install --datadir option to do that, but it does not seem to change anything |
| 15:34:53 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 15:35:06 | → | nate1 joins (~nate@98.45.169.16) |
| 15:39:28 | → | raym_ joins (~raym@user/raym) |
| 15:41:41 | × | raym quits (~raym@user/raym) (Ping timeout: 260 seconds) |
| 15:47:10 | × | odnes_ quits (~odnes@5-203-232-136.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 15:47:16 | → | odnes_ joins (~odnes@5-203-232-136.pat.nym.cosmote.net) |
| 15:48:51 | × | ente` quits (~daemon@inferno.barfooze.de) (Ping timeout: 244 seconds) |
| 15:51:10 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 15:51:16 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 16:01:37 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 16:01:46 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 16:02:00 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 16:02:58 | <sm[i]_> | test from irc |
| 16:03:10 | <sm1> | test from matrix |
| 16:03:13 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 16:04:04 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 16:05:18 | sm[i]_ | is now known as sm[i] |
| 16:05:18 | × | sm[i] quits (~user@li229-222.members.linode.com) (Changing host) |
| 16:05:18 | → | sm[i] joins (~user@plaintextaccounting/sm) |
| 16:06:27 | sm1 | is now known as sm |
| 16:06:50 | → | califax joins (~califax@user/califx) |
| 16:07:33 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:12:25 | × | Noinia quits (~Frank@77-162-168-71.fixed.kpn.net) (Remote host closed the connection) |
| 16:16:52 | → | caryhartline joins (~caryhartl@2600:1700:2d0:8d30:9c09:b6dc:9188:4242) |
| 16:17:38 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 16:18:13 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 16:21:40 | <sm> | matrix.org/libera bridging is having a multi-day partial outage, https://github.com/matrix-org/matrix-appservice-irc/issues/1601 |
| 16:22:14 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 16:22:33 | → | gaff joins (~gaff@49.207.211.188) |
| 16:22:39 | × | gaff quits (~gaff@49.207.211.188) (Client Quit) |
| 16:22:39 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 16:23:06 | → | econo joins (uid147250@user/econo) |
| 16:23:30 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 16:25:36 | → | rockymarine joins (~rocky@user/rockymarine) |
| 16:27:52 | → | coot joins (~coot@213.134.176.158) |
| 16:29:37 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 16:30:11 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 16:31:05 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 16:32:21 | raym_ | is now known as raym |
| 16:39:14 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 16:40:06 | → | ente` joins (~daemon@inferno.barfooze.de) |
| 16:43:44 | → | YawnyYak joins (~YawnyYak@146.70.119.78) |
| 16:45:10 | × | coot quits (~coot@213.134.176.158) (Quit: coot) |
| 16:45:24 | × | YawnyYak quits (~YawnyYak@146.70.119.78) (Remote host closed the connection) |
| 16:46:05 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 16:48:58 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 16:50:21 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 244 seconds) |
| 16:51:05 | × | goldstein quits (~goldstein@static.234.8.201.195.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:53:57 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 16:54:46 | → | rockymarine joins (~rocky@user/rockymarine) |
| 16:56:13 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 16:59:30 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Client Quit) |
| 16:59:41 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 17:00:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:01:16 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 17:05:30 | <EvanR> | this is from the B user reference. https://i.imgur.com/i2ktmiE.png a more civilized time when it was clear you had to specify associativity and evaluation order |
| 17:05:54 | <EvanR> | this guide reads like an ancient version of D&D |
| 17:06:11 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 17:07:00 | <EvanR> | 20 pages with everything explained, relatively simple, in stark contrast to a modern C standard with is like 1000 pages |
| 17:08:10 | <hpc> | and disturbingly much of that 1000 pages is "if you don't do it exactly right, the compiler can do whatever it wants" |
| 17:08:20 | <monochrom> | I think it's only 700 pages. |
| 17:09:34 | <monochrom> | Some of it proves your point, complications and abstractness due to trying to satisfy more committee members. |
| 17:09:45 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Ping timeout: 252 seconds) |
| 17:10:00 | <monochrom> | But some other of it is because B didn't have an optimizing compiler but C does. |
| 17:10:10 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 17:10:33 | <EvanR> | ahhh, a feature (or lack thereof) only a haskeller could love https://i.imgur.com/E3IdPKj.png |
| 17:10:57 | <monochrom> | There is a quadratic blowup when you cross pointer semantics with code optimization. |
| 17:12:18 | <monochrom> | That is indeed a source of simplicity. |
| 17:12:18 | × | vglfr quits (~vglfr@145.224.94.221) (Read error: Connection reset by peer) |
| 17:12:19 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 17:12:27 | → | vglfr joins (~vglfr@145.224.94.221) |
| 17:14:34 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Read error: Connection reset by peer) |
| 17:14:36 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 17:14:54 | → | chomwitt joins (~chomwitt@2a02:587:dc16:fe00:5010:70b4:e094:50b5) |
| 17:16:20 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 17:17:43 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 17:18:41 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 17:19:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:20:09 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 17:21:31 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 17:21:31 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 17:21:33 | × | zxx7529 quits (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 17:23:17 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 17:24:19 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 17:26:33 | → | goldstein joins (~goldstein@goldstein.rs) |
| 17:26:56 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 17:26:59 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Ping timeout: 252 seconds) |
| 17:28:43 | × | odnes_ quits (~odnes@5-203-232-136.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 17:29:18 | → | odnes_ joins (~odnes@5-203-232-136.pat.nym.cosmote.net) |
| 17:31:44 | → | coot joins (~coot@213.134.176.158) |
| 17:31:50 | × | vglfr quits (~vglfr@145.224.94.221) (Read error: Connection reset by peer) |
| 17:32:01 | → | vglfr joins (~vglfr@145.224.94.221) |
| 17:32:20 | × | razetime quits (~quassel@117.254.34.232) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 17:32:33 | → | stef204 joins (~stef204@user/stef204) |
| 17:34:07 | × | goldstein quits (~goldstein@goldstein.rs) (Read error: Connection reset by peer) |
| 17:34:37 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:35:02 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 17:35:14 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 17:36:22 | → | rockymarine joins (~rocky@user/rockymarine) |
| 17:38:58 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Client Quit) |
| 17:39:32 | → | zebrag joins (~chris@user/zebrag) |
| 17:41:05 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:41:16 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 17:43:57 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Client Quit) |
| 17:44:09 | → | img joins (~img@user/img) |
| 17:46:08 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 17:46:09 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 17:46:14 | <EvanR> | "The character set used in B is ANSCII." :thonk: |
| 17:47:07 | <EvanR> | ever heard of ANSCII |
| 17:47:07 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:49:21 | <Clint> | no, but i've heard of VISCII |
| 17:49:41 | <Rembane> | BSCII is better though |
| 17:51:33 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 17:52:19 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 17:52:56 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 17:54:15 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:57:01 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 17:59:10 | <johnjaye> | any good books or resources on category theory? |
| 17:59:21 | <johnjaye> | i don't want to learn haskell without also learning about drawing elaborate arrow diagrams |
| 18:00:00 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:00:28 | <EvanR> | I like basic category theory by leinster https://arxiv.org/abs/1612.09375 |
| 18:00:51 | <EvanR> | very little to do with haskell though |
| 18:01:04 | <johnjaye> | but morphisms. and monads |
| 18:01:22 | <johnjaye> | and like. proving programs correct with verifications |
| 18:01:29 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 3.6) |
| 18:02:13 | <EvanR> | not a damn thing about monads either |
| 18:02:52 | <johnjaye> | ok. where do i go if i want to rigorously prove haskell programs are correct with predicate logic and categories |
| 18:03:26 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 18:07:06 | → | perrierjouet joins (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 18:08:08 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:08:49 | <monochrom> | All of Richard Bird's books and papers? |
| 18:10:18 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 18:11:01 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 18:13:23 | → | arjun joins (~arjun@user/arjun) |
| 18:14:26 | → | rockymarine joins (~rocky@user/rockymarine) |
| 18:15:16 | → | gera joins (~gera@user/gera) |
| 18:18:00 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:20:00 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Read error: Connection reset by peer) |
| 18:20:31 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 18:20:50 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 18:21:55 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 18:24:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:24:53 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 18:30:15 | → | king_gs joins (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) |
| 18:30:59 | × | gera quits (~gera@user/gera) (Ping timeout: 248 seconds) |
| 18:35:04 | → | Guest8 joins (~Guest8@p200300ef97183563afe1a831f7e32e73.dip0.t-ipconnect.de) |
| 18:36:50 | <Guest8> | If my recursive call in a depth first search looks like this go (adjacentNodesOf currentNode ++ stack) (currentNode : resultList) will I get quadratic behaviour because of the list concatenation? |
| 18:37:51 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 18:38:56 | <EvanR> | shortlist ++ longlist is not bad |
| 18:39:16 | <EvanR> | but it depends on how THAT is nested with itself in the overall algorithm |
| 18:39:45 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 18:40:57 | <Guest8> | I think it'll be ok because the parens in the recursive calls go like this (adjNodesOf someNode ++ (adjNodesOf someOtherNode ++ (adjNodesOf yetAnother ++ [])))? |
| 18:41:32 | → | stef204 joins (~stef204@user/stef204) |
| 18:41:35 | <EvanR> | looks good |
| 18:41:50 | → | simendsjo joins (~user@84.211.91.241) |
| 18:42:02 | <Guest8> | But innermost paren to the left would be a problem, wouldn't it? |
| 18:42:45 | <EvanR> | then you reallocate the entire intermediate list up to that point for each ++ |
| 18:42:59 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 18:43:11 | <EvanR> | so you can change the ending |
| 18:43:58 | <EvanR> | which still beats doing list operations in ruby, which would reallocate the entire array for every operation xD |
| 18:44:00 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 18:44:03 | <EvanR> | but is bad |
| 18:44:40 | <Rembane> | Guest8: How big input can you do this on before it becomes painful? |
| 18:44:42 | → | rockymarine joins (~rocky@user/rockymarine) |
| 18:45:12 | <int-e> | Guest8: Yeah that pattern is fine unless you worry about constant factors. (And if you do, Haskell might actually not be the ideal language for this stuff. Sadly.) |
| 18:45:21 | <Guest8> | If I have an algorithm where ++ nests from the left would the Seq data structure be a solution? |
| 18:45:48 | <int-e> | DList for some simple cases, Seq otherwise. |
| 18:46:31 | <Guest8> | Rembane: I don't know. Haven't benchmarked anything. |
| 18:46:33 | → | ddellacosta joins (~ddellacos@143.244.47.67) |
| 18:47:18 | <Rembane> | Guest8: Cool. :) |
| 18:47:18 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:47:41 | <EvanR> | the pain test. If a ghci expression returns an answer instantly it's good. Otherwise it's bad xD |
| 18:47:52 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:48:27 | <Guest8> | int-e: Did you run into situations where the constant factors were so bad that Haskell wasn't fast enough? Because if Haskell is too slow I think only something like c/c++/rust will help. |
| 18:48:38 | <EvanR> | (sometimes "bad can be fixed by compiling the program with optimizations, but there still might be a problem) |
| 18:48:47 | <Guest8> | EvanR: I will keep that in mind. :D |
| 18:48:48 | <EvanR> | "bad" |
| 18:49:00 | <int-e> | Guest8: This may be worth considering: processNode results x = foldl processNode (x : results) (adjacentNodes x) [untested, I may have swapped some arguments, the compiler will tell] |
| 18:49:29 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 18:50:00 | × | arjun quits (~arjun@user/arjun) (Quit: tip toe-ing my way outta here) |
| 18:50:03 | <int-e> | Guest8: I've run into this quite a bit, and yeah, I usually switch to (a subset of) C++. |
| 18:50:40 | → | GoldsteinQ joins (~goldstein@static.234.8.201.195.clients.your-server.de) |
| 18:50:48 | <EvanR> | you can hammer on knobs and levers in haskell to get more performance in many cases |
| 18:50:51 | <int-e> | Combinatorial search problems tend to have the property that there's always a bigger instance. And when your prospective runtime is hours and more, you do care about constant factors. |
| 18:51:16 | <int-e> | Haskell is still great for prototyping even in that niche. |
| 18:51:18 | <EvanR> | but C++ has a reputation of having high performance no matter what you throw at it |
| 18:51:48 | <darkling> | ... assuming you know how to write it that way. :) |
| 18:51:56 | <int-e> | You want a good algorithm first, *then* implement it close to the "metal". |
| 18:52:14 | <darkling> | Indeed. |
| 18:52:23 | <int-e> | And, of course, computers aren't arbitrarily fast. |
| 18:52:47 | <Guest8> | True. I just don't understand people who say Haskell is too slow and then go on to use Java, Python, JavaScript |
| 18:52:55 | <EvanR> | luckily they can be arbitrarily slow so we can make DSLs resistant to timing attacks xD |
| 18:54:05 | <EvanR> | haskell performance and java performance is probably a good competition |
| 18:54:58 | <int-e> | JS VMs are pretty amazing too. |
| 18:55:09 | <EvanR> | similar engineering factors and decades of improvements |
| 18:55:37 | <EvanR> | javascript is just alien tech afaic |
| 18:55:55 | <int-e> | Python... can be good if it's glue code around low-level kernels. So stuff like numpy isn't bad. |
| 18:56:49 | <darkling> | I've seen some pretty damn fast Java, but it's messy. You shouldn't create or destroy objects, so there's singletons of containers of unused objects all over the place... |
| 18:57:03 | <int-e> | But the Python VM doesn't have the magical properties that we see from Java and JS these days. |
| 18:57:08 | × | GoldsteinQ quits (~goldstein@static.234.8.201.195.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:59:15 | <Guest8> | Yes, but in my experience they don't beat Haskell by a large margin or at all. If you need every bit of performance then you have to choose group 1: c/c++/rust or maybe assembly. But I'd put Haskell in the second group behind that with e.g. Java. |
| 19:02:44 | <hpc> | https://youtu.be/RfWGJS7rckk?t=36 on python performance |
| 19:04:09 | × | vglfr quits (~vglfr@145.224.94.221) (Ping timeout: 244 seconds) |
| 19:04:28 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 19:05:18 | <int-e> | "you can't do a loop if you care about performance in Python" |
| 19:05:28 | <EvanR> | haskell's compiler and performance is just a bonus for me |
| 19:05:40 | <EvanR> | I'd probably use it if it was as slow as ruby |
| 19:05:57 | <hpc> | ruby is a very expressive language |
| 19:06:02 | <hpc> | you're getting what you pay for, in that way |
| 19:06:03 | <EvanR> | sure it is |
| 19:07:23 | <EvanR> | (you can probably pull some js vm style stuff to speed up ruby, but why) |
| 19:07:50 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:08:13 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 19:08:56 | × | titibandit quits (~titibandi@xdsl-85-197-3-115.nc.de) (Quit: Leaving.) |
| 19:09:05 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 19:09:56 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 19:10:32 | <int-e> | hpc: Did you listen to the part about Lisp too? Because that also applies to Haskell to some extent at least. |
| 19:11:00 | <hpc> | i listened to the whole podcast :D |
| 19:11:22 | <hpc> | at one point i think he was trying to learn haskell by porting doom to it, no idea how far that went though |
| 19:13:01 | <int-e> | (`lens` is probably the most pervasive example of this kind of thing. you may know Haskell the language, and still not understand a single incantation involving that abstraction and its arcane collection of infix operators.) |
| 19:15:14 | → | ZachPizazz joins (~ZachPizaz@c-73-242-199-239.hsd1.nm.comcast.net) |
| 19:15:16 | → | acidjnk joins (~acidjnk@p200300d6e7137a874d2a610757c4d695.dip0.t-ipconnect.de) |
| 19:17:03 | → | Guest|28 joins (~Guest|28@host31.181-4-170.telecom.net.ar) |
| 19:17:24 | × | Guest|28 quits (~Guest|28@host31.181-4-170.telecom.net.ar) (Client Quit) |
| 19:20:02 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.6) |
| 19:20:52 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 19:23:56 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 19:25:06 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 19:27:43 | → | notzmv joins (~zmv@user/notzmv) |
| 19:28:08 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 19:28:52 | → | zxx7529 joins (~Thunderbi@user/zxx7529) |
| 19:29:19 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 3.6) |
| 19:30:01 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 19:30:34 | <EvanR> | yeah the doom code is hilariously dysfunctional xD |
| 19:30:53 | <EvanR> | but now I'm intrigued |
| 19:32:14 | × | king_gs quits (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Quit: king_gs) |
| 19:32:14 | → | vglfr joins (~vglfr@145.224.94.221) |
| 19:32:35 | × | simendsjo quits (~user@84.211.91.241) (Ping timeout: 244 seconds) |
| 19:33:24 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Client Quit) |
| 19:33:36 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 19:37:21 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 19:37:37 | × | [_________] quits (~oos95GWG@user/oos95GWG) (Remote host closed the connection) |
| 19:37:53 | → | [_________] joins (~oos95GWG@user/oos95GWG) |
| 19:38:53 | → | pavonia joins (~user@user/siracusa) |
| 19:41:48 | × | zxx7529 quits (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 19:46:32 | → | rockymarine joins (~rocky@user/rockymarine) |
| 19:49:49 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 19:51:34 | <Hecate> | Would I sound crazy if I was to suggest closed type families? |
| 19:51:42 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 19:51:44 | <Hecate> | ARGH |
| 19:51:46 | <Hecate> | closed typeclasses |
| 19:51:50 | <Hecate> | that is what I meant |
| 19:51:55 | <Hecate> | just like closed type families |
| 19:53:29 | <dolio> | Would that let you write more sophisticated 'backtracking' type stuff without having to solve the issues with that? |
| 19:53:32 | <geekosaur> | they'd have to be implemented differently from current typeclasses, I think |
| 19:54:06 | <geekosaur> | although I think by necessity the compiler would have to be able to resolve their dictionaries during compilation so that might not be a problem\ |
| 19:54:58 | <dolio> | I guess the problems with backtracking aren't entirely with the class in question being closed. |
| 19:56:27 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Client Quit) |
| 19:57:34 | → | titibandit joins (~titibandi@xdsl-85-197-3-115.nc.de) |
| 19:57:52 | × | nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 19:59:48 | × | califax quits (~califax@user/califx) (Ping timeout: 258 seconds) |
| 19:59:49 | <geekosaur> | what problem would this be solving? |
| 20:00:59 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 20:01:02 | → | GoldsteinQ joins (~goldstein@static.234.8.201.195.clients.your-server.de) |
| 20:01:28 | → | dsrt^ joins (~dsrt@70.88.176.185) |
| 20:02:46 | × | GoldsteinQ quits (~goldstein@static.234.8.201.195.clients.your-server.de) (Client Quit) |
| 20:04:31 | → | califax joins (~califax@user/califx) |
| 20:05:22 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 20:05:58 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:06:48 | <dolio> | I guess it could be used to write functions over closed type/data families. |
| 20:12:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:17:06 | → | Topsi1 joins (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) |
| 20:19:35 | → | Topsi2 joins (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) |
| 20:20:03 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 20:20:19 | × | Topsi quits (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) (Ping timeout: 248 seconds) |
| 20:20:51 | × | dsrt^ quits (~dsrt@70.88.176.185) (Ping timeout: 248 seconds) |
| 20:22:59 | × | Topsi1 quits (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) (Ping timeout: 252 seconds) |
| 20:27:06 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 20:27:20 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 20:31:57 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 20:35:33 | → | ds-ac joins (ds-ac@user/ds-ac) |
| 20:37:40 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 20:39:56 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:40:37 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 20:50:05 | × | euandreh quits (~euandreh@179.214.113.107) (Ping timeout: 244 seconds) |
| 20:50:31 | → | euandreh joins (~euandreh@179.214.113.107) |
| 20:50:51 | × | ente` quits (~daemon@inferno.barfooze.de) (Ping timeout: 252 seconds) |
| 20:57:23 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 20:57:32 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 21:01:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:02:56 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:03:56 | × | dolio quits (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:04:08 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:05:14 | × | chomwitt quits (~chomwitt@2a02:587:dc16:fe00:5010:70b4:e094:50b5) (Ping timeout: 268 seconds) |
| 21:05:59 | → | dolio joins (~dolio@130.44.130.54) |
| 21:06:56 | → | Gav60 joins (~Gav@69.162.228.202) |
| 21:07:09 | × | Gav60 quits (~Gav@69.162.228.202) (Client Quit) |
| 21:07:32 | → | GavOnyx joins (~GavOnyx@69.162.228.202) |
| 21:08:10 | × | dolio quits (~dolio@130.44.130.54) (Client Quit) |
| 21:09:11 | → | henninb joins (~henninb@97-116-154-134.mpls.qwest.net) |
| 21:10:04 | → | dolio joins (~dolio@130.44.130.54) |
| 21:13:06 | × | rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 21:14:09 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:18:04 | → | nate1 joins (~nate@98.45.169.16) |
| 21:24:02 | → | rockymarine joins (~rocky@user/rockymarine) |
| 21:27:09 | × | eikke quits (~NicolasT@user/NicolasT) (Ping timeout: 252 seconds) |
| 21:31:11 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 21:31:17 | → | nek0 joins (~nek0@2a01:4f8:222:2b41::12) |
| 21:33:26 | × | GavOnyx quits (~GavOnyx@69.162.228.202) (Quit: Client closed) |
| 21:34:06 | × | Guest8 quits (~Guest8@p200300ef97183563afe1a831f7e32e73.dip0.t-ipconnect.de) (Quit: Client closed) |
| 21:41:12 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 21:42:47 | → | eikke joins (~NicolasT@user/NicolasT) |
| 21:44:40 | × | odnes_ quits (~odnes@5-203-232-136.pat.nym.cosmote.net) (Quit: Leaving) |
| 21:44:45 | → | dsrt^ joins (~dsrt@70.88.176.185) |
| 21:48:47 | → | son0p joins (~ff@181.136.122.143) |
| 21:51:10 | → | ente` joins (~daemon@inferno.barfooze.de) |
| 21:51:31 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 21:55:36 | × | acidjnk quits (~acidjnk@p200300d6e7137a874d2a610757c4d695.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 21:56:46 | × | mmhat quits (~mmh@p200300f1c728cc1aee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 22:03:07 | → | cowboy8625 joins (~cowboy@2001-48F8-4002-6A7-6030-C399-CF68-CCC3-static.midco.net) |
| 22:10:41 | → | mmhat joins (~mmh@p200300f1c728cc18ee086bfffe095315.dip0.t-ipconnect.de) |
| 22:10:46 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 22:11:37 | → | califax joins (~califax@user/califx) |
| 22:16:45 | → | nate1 joins (~nate@98.45.169.16) |
| 22:27:15 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 22:29:36 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 22:53:02 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:54:56 | × | titibandit quits (~titibandi@xdsl-85-197-3-115.nc.de) (Remote host closed the connection) |
| 23:01:47 | × | dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 23:02:57 | → | causal joins (~user@50.35.83.177) |
| 23:03:02 | × | henninb quits (~henninb@97-116-154-134.mpls.qwest.net) (Quit: leaving) |
| 23:03:03 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 23:03:03 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 23:03:03 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:09:55 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 23:10:31 | × | coot quits (~coot@213.134.176.158) (Quit: coot) |
| 23:14:13 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 23:15:29 | → | zeenk joins (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 23:17:16 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 23:17:45 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 23:22:00 | → | luffy joins (~chenqisu1@183.217.201.192) |
| 23:27:35 | → | nate1 joins (~nate@98.45.169.16) |
| 23:29:16 | × | vulpine quits (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 23:29:36 | → | vulpine joins (xfnw@tilde.team) |
| 23:34:02 | hnOsmium0001_ | is now known as hnOsmium0001 |
| 23:46:45 | → | aaronv joins (~aaronv@2601:602:a080:fa0::b9fc) |
| 23:47:26 | × | YoungFrog quits (~youngfrog@2a02:a03f:c21b:f900:fce9:8620:712c:392d) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 23:47:45 | → | YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 23:54:56 | × | zeenk quits (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 23:55:47 | × | Kaipei quits (~Kaiepi@142.68.249.28) (Ping timeout: 248 seconds) |
| 23:56:17 | ← | aaronv parts (~aaronv@2601:602:a080:fa0::b9fc) (Leaving) |
| 23:56:40 | × | ente` quits (~daemon@inferno.barfooze.de) (Ping timeout: 268 seconds) |
| 23:57:02 | <mjrosenb> | I'm having some issues linking some code that's been compiled with ghcjs. When I add in a reference to the result of a computation, the linker runs out of stack. |
| 23:57:57 | → | gurkengl1s joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 23:58:06 | × | gurkengl1s quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Client Quit) |
| 23:58:33 | → | gurkengl1s joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 23:58:36 | gurkengl1s | is now known as avoniap |
| 23:58:53 | → | dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
All times are in UTC on 2022-09-10.