| 2022-04-24 00:01:39 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-24 00:02:56 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-04-24 00:03:16 +0200 | nate1 | (~nate@12.222.71.83) |
| 2022-04-24 00:03:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 272 seconds) |
| 2022-04-24 00:04:03 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.91) |
| 2022-04-24 00:06:59 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2022-04-24 00:08:16 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-24 00:08:19 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.91) (Ping timeout: 240 seconds) |
| 2022-04-24 00:08:40 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-24 00:11:41 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 00:11:54 +0200 | zeenk | (~zeenk@2a02:2f0e:7713:b01:9f0b:5fe0:531e:9cf6) (Quit: Konversation terminated!) |
| 2022-04-24 00:20:02 +0200 | Brandon_IX | (~brandon@178-79-138-117.ip.linodeusercontent.com) (Quit: leaving) |
| 2022-04-24 00:21:48 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-04-24 00:27:27 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-24 00:36:24 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-04-24 00:37:11 +0200 | titibandit | (~titibandi@xdsl-89-0-37-242.nc.de) (Remote host closed the connection) |
| 2022-04-24 00:41:06 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-04-24 00:43:50 +0200 | nate1 | (~nate@12.222.71.83) (Ping timeout: 272 seconds) |
| 2022-04-24 00:44:11 +0200 | fernand81 | (~fernand@177.89.23.224) |
| 2022-04-24 00:45:25 +0200 | fernand | (uid551405@id-551405.tinside.irccloud.com) |
| 2022-04-24 00:49:17 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-24 00:49:47 +0200 | fernand81 | (~fernand@177.89.23.224) (Quit: fernand81) |
| 2022-04-24 00:53:53 +0200 | nate1 | (~nate@12.222.71.83) |
| 2022-04-24 00:56:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-24 00:57:55 +0200 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) |
| 2022-04-24 00:59:17 +0200 | <raehik> | Can I manually quantify type variables in a typeclass method, so I can order them in a nice way for visible type application? |
| 2022-04-24 01:01:29 +0200 | <raehik> | it'd be nice to know in general but in this case I got confused, I'm not introducing any more typevars in the method so no ordering issues |
| 2022-04-24 01:04:39 +0200 | thiskappaisgrey | (~user@host-182-24.cagotro2.goleta.ca.us.clients.pavlovmedia.net) (Ping timeout: 240 seconds) |
| 2022-04-24 01:04:39 +0200 | jargon | (~jargon@174-22-223-120.phnx.qwest.net) |
| 2022-04-24 01:09:52 +0200 | <monochrom> | I think yes. Use ExplicitForall maybe. |
| 2022-04-24 01:12:15 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-04-24 01:12:51 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2022-04-24 01:19:03 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-04-24 01:20:05 +0200 | <raehik> | thanks monochrom . the users guide indicates it's done per instance |
| 2022-04-24 01:20:44 +0200 | <raehik> | didn't know you could do `instance forall x. C x => D x where ...`! |
| 2022-04-24 01:25:01 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-24 01:25:37 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-24 01:26:54 +0200 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2022-04-24 01:34:14 +0200 | <monochrom> | Hrm. Oh well. |
| 2022-04-24 01:36:20 +0200 | Guest81 | (~Guest81@172.77.31.247) (Ping timeout: 252 seconds) |
| 2022-04-24 01:37:02 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-24 01:37:40 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 2022-04-24 01:45:29 +0200 | <abastro[m]> | Having forall explicit by default could have been better for beginners so much |
| 2022-04-24 01:51:04 +0200 | nehsou^ | (~nehsou@50.233.120.162) |
| 2022-04-24 01:57:17 +0200 | maerwald | (~maerwald@user/maerwald) (Ping timeout: 246 seconds) |
| 2022-04-24 01:57:42 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 01:59:53 +0200 | <yushyin> | abastro[m]: ExplicitForAll is in GHC2021 which is the default if neither Haskell98 nor Haskell2010 is used |
| 2022-04-24 02:00:58 +0200 | <abastro[m]> | yushyin: I mean enforcing forall. |
| 2022-04-24 02:01:08 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-04-24 02:01:17 +0200 | <abastro[m]> | Seen beginners have problems reading the typevars. |
| 2022-04-24 02:01:38 +0200 | <abastro[m]> | "What is this `a`, where is it from" |
| 2022-04-24 02:01:49 +0200 | chenqisu1 | (~chenqisu1@183.217.203.102) |
| 2022-04-24 02:02:22 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-24 02:03:07 +0200 | <yushyin> | ah yes, i see your argument |
| 2022-04-24 02:06:30 +0200 | <abastro[m]> | Yep, a highly controversial one |
| 2022-04-24 02:06:56 +0200 | namkeleser | (~namkelese@124.188.206.148) |
| 2022-04-24 02:11:47 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-24 02:13:15 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 02:14:08 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-24 02:14:08 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-24 02:14:28 +0200 | <EvanR> | explicitness is a slippery slope, at first more explicitness seems great, then it turns into a nightmare |
| 2022-04-24 02:14:48 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-24 02:15:33 +0200 | kilolympus | (~kilolympu@31.205.200.235) |
| 2022-04-24 02:16:19 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-04-24 02:17:20 +0200 | cheategg | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-04-24 02:17:59 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-24 02:19:56 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-24 02:22:31 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
| 2022-04-24 02:22:38 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-04-24 02:23:25 +0200 | cheater | (~Username@user/cheater) |
| 2022-04-24 02:28:57 +0200 | kaph | (~kaph@151.57.146.102) |
| 2022-04-24 02:36:15 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-24 02:39:01 +0200 | erenyaegerdidnot | (~erenyaege@104-191-147-117.lightspeed.dybhfl.sbcglobal.net) |
| 2022-04-24 02:41:29 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-24 02:41:29 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-24 02:41:29 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-24 02:42:52 +0200 | erenyaegerdidnot | (~erenyaege@104-191-147-117.lightspeed.dybhfl.sbcglobal.net) (Quit: Client closed) |
| 2022-04-24 02:43:59 +0200 | nate1 | (~nate@12.222.71.83) (Ping timeout: 240 seconds) |
| 2022-04-24 02:46:21 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 02:47:41 +0200 | xff0x_ | (~xff0x@om126158190036.30.openmobile.ne.jp) |
| 2022-04-24 02:49:35 +0200 | kaph_ | (~kaph@151.43.155.190) |
| 2022-04-24 02:49:47 +0200 | kaph | (~kaph@151.57.146.102) (Read error: Connection reset by peer) |
| 2022-04-24 02:50:29 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-24 02:52:34 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-04-24 02:53:00 +0200 | oxide | (~lambda@user/oxide) |
| 2022-04-24 02:53:46 +0200 | gpncarl | (~gpncarl@120.244.221.62) |
| 2022-04-24 02:54:49 +0200 | nehsou^ | (~nehsou@50.233.120.162) (Ping timeout: 256 seconds) |
| 2022-04-24 02:57:23 +0200 | nate1 | (~nate@12.222.71.83) |
| 2022-04-24 02:58:38 +0200 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-24 02:58:44 +0200 | gpncarl | (~gpncarl@120.244.221.62) (Ping timeout: 272 seconds) |
| 2022-04-24 02:59:39 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:1590:f2fa:4c6c:1738) |
| 2022-04-24 03:00:00 +0200 | slack1256 | (~slack1256@191.125.99.79) |
| 2022-04-24 03:00:33 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 2022-04-24 03:00:41 +0200 | namkeleser | (~namkelese@124.188.206.148) (Quit: Client closed) |
| 2022-04-24 03:03:54 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:1590:f2fa:4c6c:1738) (Ping timeout: 250 seconds) |
| 2022-04-24 03:05:29 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2022-04-24 03:10:48 +0200 | nate1 | (~nate@12.222.71.83) (Ping timeout: 248 seconds) |
| 2022-04-24 03:11:13 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-24 03:12:14 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 03:13:56 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-04-24 03:17:28 +0200 | andrey_ | (~andrey@p200300dbcf3c0d0097a34303aa7c56ea.dip0.t-ipconnect.de) |
| 2022-04-24 03:19:59 +0200 | andrey__ | (~andrey@p200300dbcf2d4700b75a627523ede51a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-24 03:20:16 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-24 03:22:34 +0200 | sleym | (~sleym@156.146.54.59) |
| 2022-04-24 03:24:17 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 256 seconds) |
| 2022-04-24 03:24:48 +0200 | nate1 | (~nate@12.222.71.83) |
| 2022-04-24 03:25:56 +0200 | joo-_ | (~joo-_@87-49-45-171-mobile.dk.customer.tdc.net) |
| 2022-04-24 03:25:56 +0200 | joo-_ | (~joo-_@87-49-45-171-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-04-24 03:25:56 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-04-24 03:26:41 +0200 | sleym | (~sleym@156.146.54.59) (Changing host) |
| 2022-04-24 03:26:41 +0200 | sleym | (~sleym@user/sleym) |
| 2022-04-24 03:26:52 +0200 | <jackdk> | Trying to use polymorphic code in Dhall, for example, is often worse than writing stuff out longhand |
| 2022-04-24 03:27:57 +0200 | <abastro[m]> | Why? |
| 2022-04-24 03:30:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-24 03:32:11 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-24 03:34:13 +0200 | kilolympus | (~kilolympu@31.205.200.235) (Quit: Quitting IRC :() |
| 2022-04-24 03:34:39 +0200 | kilolympus | (~kilolympu@31.205.200.235) |
| 2022-04-24 03:35:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-24 03:35:15 +0200 | frost | (~frost@user/frost) |
| 2022-04-24 03:36:59 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 03:37:45 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:96b1:77a5:e350:efea) (Read error: Connection reset by peer) |
| 2022-04-24 03:38:06 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2022-04-24 03:38:26 +0200 | EvanR | (~EvanR@user/evanr) |
| 2022-04-24 03:39:59 +0200 | nate1 | (~nate@12.222.71.83) (Ping timeout: 240 seconds) |
| 2022-04-24 03:41:42 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-24 03:41:55 +0200 | sleym | (~sleym@user/sleym) (Quit: sleym) |
| 2022-04-24 03:43:22 +0200 | <monochrom> | I don't think anyone is suggesting unconditional universal explicitness. Just explicit forall specifically. |
| 2022-04-24 03:45:04 +0200 | <monochrom> | Here is an example where you will have trouble confusing yourself under explicit forall: f :: forall a. a -> a; f x = let { y :: forall a. a; y = x } in y |
| 2022-04-24 03:46:13 +0200 | <abastro[m]> | Is this one assuming ScopedTypeVariables on? |
| 2022-04-24 03:47:18 +0200 | <monochrom> | It is showing a common error "f :: a -> a; f x = let { y :: a; y = x } in y" which looks very intuitive and people cannot spot what went wrong. |
| 2022-04-24 03:47:21 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 03:47:57 +0200 | <monochrom> | An erroneous code snippet that looks so intuitive you can't see why the computer would reject it |
| 2022-04-24 03:48:30 +0200 | <monochrom> | vs under explict forall it looks so wrong you can't see why any human would write it in the first place. |
| 2022-04-24 03:48:31 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:5a18:8a8f:a66d:49c0) |
| 2022-04-24 03:48:53 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-24 03:50:19 +0200 | <abastro[m]> | Oh, I see. you meant an example where explicit forall is good |
| 2022-04-24 03:50:19 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-04-24 03:52:06 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-24 03:54:32 +0200 | razetime | (~quassel@117.254.35.14) |
| 2022-04-24 03:55:22 +0200 | <jackdk> | Dhall requires explicit type application and explicit forall. It's noisu |
| 2022-04-24 03:55:35 +0200 | <jackdk> | Still better than straight YAML though |
| 2022-04-24 03:56:12 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-04-24 03:56:22 +0200 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 272 seconds) |
| 2022-04-24 03:56:34 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 04:02:31 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-04-24 04:05:07 +0200 | <abastro> | I did not mean the explicit type application though. |
| 2022-04-24 04:05:39 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-04-24 04:05:49 +0200 | gpncarl | (~gpncarl@222.249.231.3) |
| 2022-04-24 04:08:33 +0200 | <EvanR> | actually I've seen a lot of beginners (used to other programming langauges) also get confused by the syntax of application (or lack there of) |
| 2022-04-24 04:08:42 +0200 | <EvanR> | too |
| 2022-04-24 04:09:08 +0200 | <EvanR> | f @ x may help them xD |
| 2022-04-24 04:09:24 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
| 2022-04-24 04:09:24 +0200 | maerwald | (~maerwald@user/maerwald) |
| 2022-04-24 04:10:18 +0200 | <jackdk> | I was referring to EvanR's comment about explicitness being a slippery slope |
| 2022-04-24 04:11:00 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds) |
| 2022-04-24 04:15:54 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-04-24 04:23:52 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 2022-04-24 04:28:45 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-24 04:31:23 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::c90f) (Ping timeout: 260 seconds) |
| 2022-04-24 04:33:18 +0200 | <monochrom> | On the other side of the debate, there are proponents of "#2 - #1" to mean (\x y -> y - x). There are even proponents of "# - #" at which point everyone goes bananas. |
| 2022-04-24 04:39:51 +0200 | <EvanR> | @pl (\x y -> y - x) |
| 2022-04-24 04:39:51 +0200 | <lambdabot> | subtract |
| 2022-04-24 04:40:04 +0200 | td_ | (~td@94.134.91.10) (Ping timeout: 272 seconds) |
| 2022-04-24 04:40:10 +0200 | <EvanR> | even less letters than #2 - #1 xD |
| 2022-04-24 04:40:48 +0200 | <EvanR> | ok, less letters than "#2 - #1 xD" |
| 2022-04-24 04:41:27 +0200 | td_ | (~td@muedsl-82-207-238-135.citykom.de) |
| 2022-04-24 04:47:15 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-24 04:48:30 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-04-24 04:50:26 +0200 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-04-24 04:53:45 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Read error: Connection reset by peer) |
| 2022-04-24 04:54:11 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) |
| 2022-04-24 05:04:20 +0200 | roconnor | (~roconnor@coq/roconnor) (Quit: Konversation terminated!) |
| 2022-04-24 05:14:14 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-24 05:15:57 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 276 seconds) |
| 2022-04-24 05:17:48 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2022-04-24 05:22:05 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:317a:9a8d:5793:3644) (Remote host closed the connection) |
| 2022-04-24 05:22:07 +0200 | xff0x_ | (~xff0x@om126158190036.30.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-24 05:26:07 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-04-24 05:34:09 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 276 seconds) |
| 2022-04-24 05:34:58 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-04-24 05:36:07 +0200 | oxide | (~lambda@user/oxide) |
| 2022-04-24 05:36:10 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-04-24 05:37:49 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:5a18:8a8f:a66d:49c0) (Read error: Connection reset by peer) |
| 2022-04-24 05:38:11 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-04-24 05:42:35 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:ee25:bee9:9ea5:5eff) |
| 2022-04-24 05:49:39 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-04-24 05:51:44 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-24 05:51:48 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-24 05:53:22 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:ee25:bee9:9ea5:5eff) (Remote host closed the connection) |
| 2022-04-24 05:53:51 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:5885:9431:ca89:9663) |
| 2022-04-24 05:54:16 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.91) |
| 2022-04-24 05:54:38 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-24 06:17:09 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-24 06:26:54 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-04-24 06:31:26 +0200 | slack1256 | (~slack1256@191.125.99.79) (Remote host closed the connection) |
| 2022-04-24 06:31:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 272 seconds) |
| 2022-04-24 06:32:16 +0200 | mbuf | (~Shakthi@122.162.69.23) |
| 2022-04-24 06:34:39 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-24 06:43:37 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-24 06:49:35 +0200 | kaph__ | (~kaph@151.43.147.59) |
| 2022-04-24 06:51:59 +0200 | kaph_ | (~kaph@151.43.155.190) (Ping timeout: 246 seconds) |
| 2022-04-24 06:53:24 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-24 06:57:01 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-24 06:59:06 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-24 06:59:45 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2022-04-24 07:01:19 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
| 2022-04-24 07:08:43 +0200 | sevvie | (~sevvie@ip70-189-239-121.lv.lv.cox.net) |
| 2022-04-24 07:10:12 +0200 | sevvie | (~sevvie@ip70-189-239-121.lv.lv.cox.net) (Client Quit) |
| 2022-04-24 07:11:38 +0200 | <jackdk> | Let's rename the channel to #h then |
| 2022-04-24 07:25:12 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2022-04-24 07:27:38 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-24 07:28:28 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-24 07:28:33 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.91) (Ping timeout: 276 seconds) |
| 2022-04-24 07:34:52 +0200 | napping | (~brandon@65.128.49.110) (Ping timeout: 272 seconds) |
| 2022-04-24 07:35:51 +0200 | zmv | (~zmv@2804:431:c7f2:dad8:449e:66e7:6a42:644) |
| 2022-04-24 07:36:05 +0200 | napping | (~brandon@209-181-225-137.mpls.qwest.net) |
| 2022-04-24 07:36:06 +0200 | zmv | (~zmv@2804:431:c7f2:dad8:449e:66e7:6a42:644) (Changing host) |
| 2022-04-24 07:36:06 +0200 | zmv | (~zmv@user/notzmv) |
| 2022-04-24 07:37:39 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:5885:9431:ca89:9663) (Read error: Connection reset by peer) |
| 2022-04-24 07:37:53 +0200 | zmv | notzmv |
| 2022-04-24 07:39:59 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-24 07:40:58 +0200 | Core4993 | (~Core4993@222.249.231.3) |
| 2022-04-24 07:41:36 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-24 07:43:19 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-04-24 07:57:55 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-04-24 07:59:06 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:5885:9431:ca89:9663) |
| 2022-04-24 08:01:46 +0200 | <jonathanx> | I have two values :: Lens' (Matrix a) (Vector a) |
| 2022-04-24 08:02:10 +0200 | <jonathanx> | I want to combine them, by mappending the output vector |
| 2022-04-24 08:02:45 +0200 | <jonathanx> | I assumed I could do (lens1 <> lens2) :: Lens' (Matrix a) (Vector a) |
| 2022-04-24 08:03:07 +0200 | <jonathanx> | But it complains about not being able to deduce semigroup |
| 2022-04-24 08:08:05 +0200 | kaph__ | (~kaph@151.43.147.59) (Read error: Connection reset by peer) |
| 2022-04-24 08:08:05 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-24 08:12:32 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-24 08:12:49 +0200 | img | (~img@user/img) |
| 2022-04-24 08:16:20 +0200 | jargon | (~jargon@174-22-223-120.phnx.qwest.net) (Remote host closed the connection) |
| 2022-04-24 08:19:09 +0200 | acidjnk_new | (~acidjnk@p200300d0c73b4573454e68cab0ae2c9f.dip0.t-ipconnect.de) |
| 2022-04-24 08:21:10 +0200 | <jonathanx> | (context: I want to have a lens into two of the columns of the matrix, combined into a vector, for read/write access into the column pair) |
| 2022-04-24 08:26:02 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-24 08:35:41 +0200 | kenran | (~kenran@200116b82b78bb0022722e84be41e14c.dip.versatel-1u1.de) |
| 2022-04-24 08:37:24 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:5885:9431:ca89:9663) (Read error: Connection reset by peer) |
| 2022-04-24 08:39:22 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:5885:9431:ca89:9663) |
| 2022-04-24 08:41:45 +0200 | kenran | (~kenran@200116b82b78bb0022722e84be41e14c.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-04-24 08:46:06 +0200 | <abastro[m]> | Note that this operation is unlawful |
| 2022-04-24 08:46:28 +0200 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-24 08:46:34 +0200 | <abastro[m]> | Since it violates lens laws when the two columns are the same parts |
| 2022-04-24 08:48:33 +0200 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2022-04-24 08:50:19 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-24 08:52:00 +0200 | <jonathanx> | are the same parts? |
| 2022-04-24 08:52:25 +0200 | <abastro[m]> | Same columns |
| 2022-04-24 08:52:36 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.91) |
| 2022-04-24 08:52:47 +0200 | monochrom | (trebla@216.138.220.146) |
| 2022-04-24 08:53:07 +0200 | <abastro[m]> | It is problematic when the two columns are the same columns of the matrix |
| 2022-04-24 08:53:16 +0200 | <jonathanx> | okay, but if I combine two different columns then there should not be a problem right? |
| 2022-04-24 08:53:24 +0200 | <abastro[m]> | Because you cannot distinguish which one you set |
| 2022-04-24 08:53:27 +0200 | <abastro[m]> | Indeed. |
| 2022-04-24 08:53:49 +0200 | <abastro[m]> | So, there is relevant lens combinator in Unsound module |
| 2022-04-24 08:53:56 +0200 | <abastro[m]> | Let me recall the full name.. |
| 2022-04-24 08:54:41 +0200 | <abastro[m]> | Control.Lens.Unsound |
| 2022-04-24 08:55:24 +0200 | <abastro[m]> | You can work with `lensProduct` then combine 2 into one vector using Iso I guess |
| 2022-04-24 08:59:03 +0200 | <jonathanx> | I'll look into it, thanks :) |
| 2022-04-24 09:03:27 +0200 | razetime | (~quassel@117.254.35.14) (Ping timeout: 276 seconds) |
| 2022-04-24 09:07:51 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-04-24 09:18:23 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2022-04-24 09:23:59 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 240 seconds) |
| 2022-04-24 09:26:02 +0200 | joo-_ | (~joo-_@80-62-116-228-mobile.dk.customer.tdc.net) |
| 2022-04-24 09:26:03 +0200 | joo-_ | (~joo-_@80-62-116-228-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-04-24 09:26:03 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-04-24 09:27:17 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-04-24 09:28:19 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 2022-04-24 09:33:13 +0200 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-04-24 09:35:58 +0200 | <jonathanx> | Thank you, it worked out quite nicely! |
| 2022-04-24 09:37:31 +0200 | razetime | (~quassel@117.254.35.241) |
| 2022-04-24 09:38:23 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-24 09:39:45 +0200 | <abastro[m]> | Good! =D |
| 2022-04-24 09:40:44 +0200 | odnes | (~odnes@5-203-167-164.pat.nym.cosmote.net) |
| 2022-04-24 09:47:19 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-24 09:50:40 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-24 09:50:52 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-24 10:11:42 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2022-04-24 10:11:44 +0200 | Kevin578_ | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-04-24 10:12:10 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-24 10:12:34 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.91) (Ping timeout: 272 seconds) |
| 2022-04-24 10:15:00 +0200 | chenqisu1 | (~chenqisu1@183.217.203.102) (Quit: Leaving) |
| 2022-04-24 10:18:08 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.91) |
| 2022-04-24 10:18:51 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-24 10:21:12 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-24 10:21:41 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-24 10:22:15 +0200 | titibandit | (~titibandi@xdsl-89-0-37-242.nc.de) |
| 2022-04-24 10:22:45 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-24 10:23:00 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-24 10:23:20 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-24 10:24:00 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-24 10:32:50 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 272 seconds) |
| 2022-04-24 10:36:37 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2022-04-24 10:37:02 +0200 | pavonia | (~user@user/siracusa) |
| 2022-04-24 10:38:26 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-24 10:38:37 +0200 | titusg | (~user@2a00:23c6:ab8a:3c00:4d5b:fb1b:c853:9282) (Remote host closed the connection) |
| 2022-04-24 10:40:19 +0200 | Kevin578_ | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-04-24 10:40:31 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-04-24 10:40:35 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:4284:9da1:fed4:ffd5) |
| 2022-04-24 10:43:36 +0200 | jinsun__ | (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
| 2022-04-24 10:43:38 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-04-24 10:43:48 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-04-24 10:49:49 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-24 10:49:59 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-24 10:51:30 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-24 10:51:42 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2022-04-24 10:57:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-24 11:00:08 +0200 | kevin[m] | (~pnotequal@2001:470:69fc:105::a54) (Quit: You have been kicked for being idle) |
| 2022-04-24 11:00:08 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Quit: You have been kicked for being idle) |
| 2022-04-24 11:04:52 +0200 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-24 11:10:50 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-04-24 11:14:59 +0200 | acidjnk_new | (~acidjnk@p200300d0c73b4573454e68cab0ae2c9f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-24 11:16:56 +0200 | odnes_ | (~odnes@5-203-167-164.pat.nym.cosmote.net) |
| 2022-04-24 11:16:57 +0200 | odnes | (~odnes@5-203-167-164.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-04-24 11:18:25 +0200 | <[exa]> | Is there any good tutorial/reading material that would support stuff implemented in recursion-schemes-ix ? |
| 2022-04-24 11:18:37 +0200 | <[exa]> | ("recursion schemes over indexed functors") |
| 2022-04-24 11:19:08 +0200 | <[exa]> | looks valid for one of my usecases but I can't decide if there's an overlap, guessing a bit of extra reading material might help |
| 2022-04-24 11:20:58 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-04-24 11:27:47 +0200 | odnes_ | (~odnes@5-203-167-164.pat.nym.cosmote.net) (Ping timeout: 246 seconds) |
| 2022-04-24 11:27:50 +0200 | Core4993 | (~Core4993@222.249.231.3) (Remote host closed the connection) |
| 2022-04-24 11:30:20 +0200 | fr33domlover | (~fr33@141.226.11.192) |
| 2022-04-24 11:32:46 +0200 | odnes | (~odnes@5-203-167-164.pat.nym.cosmote.net) |
| 2022-04-24 11:36:24 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-24 11:36:59 +0200 | odnes | (~odnes@5-203-167-164.pat.nym.cosmote.net) (Ping timeout: 240 seconds) |
| 2022-04-24 11:39:56 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-24 11:45:03 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-04-24 11:46:55 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-24 11:48:33 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 276 seconds) |
| 2022-04-24 11:49:30 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-24 11:49:54 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-04-24 11:51:50 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-24 11:53:20 +0200 | acidjnk | (~acidjnk@p200300d0c73b4573454e68cab0ae2c9f.dip0.t-ipconnect.de) |
| 2022-04-24 11:53:41 +0200 | abastro | (~abab9579@192.249.26.196) |
| 2022-04-24 11:53:57 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-24 11:58:19 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 240 seconds) |
| 2022-04-24 11:58:19 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-24 11:58:48 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-24 11:58:58 +0200 | dcoutts_ | (~duncan@host86-150-41-186.range86-150.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-04-24 11:59:39 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-24 12:00:45 +0200 | oxide | (~lambda@user/oxide) |
| 2022-04-24 12:02:47 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-04-24 12:02:55 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-24 12:05:01 +0200 | razetime_ | (~quassel@117.254.35.241) |
| 2022-04-24 12:05:08 +0200 | razetime_ | (~quassel@117.254.35.241) (Client Quit) |
| 2022-04-24 12:08:18 +0200 | xff0x_ | (~xff0x@om126158190036.30.openmobile.ne.jp) |
| 2022-04-24 12:11:12 +0200 | shiraeeshi | (~shiraeesh@109.166.59.6) |
| 2022-04-24 12:18:47 +0200 | kaph | (~kaph@151.37.192.71) |
| 2022-04-24 12:23:10 +0200 | Core4993 | (~Core4993@2408:8409:1880:1f0d:4019:afff:fee9:16cc) |
| 2022-04-24 12:26:22 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-24 12:28:40 +0200 | acidjnk | (~acidjnk@p200300d0c73b4573454e68cab0ae2c9f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-24 12:29:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-24 12:31:00 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-24 12:33:51 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-24 12:39:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2022-04-24 12:39:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-24 12:41:28 +0200 | Core4993 | (~Core4993@2408:8409:1880:1f0d:4019:afff:fee9:16cc) (Read error: Connection reset by peer) |
| 2022-04-24 12:41:32 +0200 | dcoutts_ | (~duncan@host86-150-41-186.range86-150.btcentralplus.com) |
| 2022-04-24 12:41:42 +0200 | Core4993 | (~Core4993@222.249.231.3) |
| 2022-04-24 12:44:37 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-04-24 12:44:40 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-1ca0-7883-960c-afa4.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-24 12:47:35 +0200 | titibandit | (~titibandi@xdsl-89-0-37-242.nc.de) (Ping timeout: 246 seconds) |
| 2022-04-24 12:53:00 +0200 | kaph | (~kaph@151.37.192.71) (Read error: Connection reset by peer) |
| 2022-04-24 12:54:06 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-04-24 12:55:07 +0200 | jargon | (~jargon@174-22-223-120.phnx.qwest.net) |
| 2022-04-24 13:00:47 +0200 | wolfshappen | (~waff@irc.furworks.de) (Quit: later) |
| 2022-04-24 13:02:33 +0200 | gpncarl | (~gpncarl@222.249.231.3) (Quit: WeeChat 3.4.1) |
| 2022-04-24 13:02:46 +0200 | gpncarl | (~gpncarl@222.249.231.3) |
| 2022-04-24 13:02:59 +0200 | abastro | (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 2022-04-24 13:03:16 +0200 | <tomsmeding> | abastro[m]: https://play-haskell.tomsmeding.com/play now has dark mode |
| 2022-04-24 13:03:46 +0200 | <geekosaur> | yay |
| 2022-04-24 13:04:28 +0200 | <tomsmeding> | though the code syntax highlighting is still javascript lol |
| 2022-04-24 13:07:11 +0200 | sprout | (~quassel@2a02-a45f-f170-1-d440-811c-5d38-df76.fixed6.kpn.net) |
| 2022-04-24 13:11:22 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-24 13:11:47 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-24 13:12:39 +0200 | fr33domlover | (~fr33@141.226.11.192) (Ping timeout: 240 seconds) |
| 2022-04-24 13:13:24 +0200 | fr33domlover | (~fr33@2.52.77.70) |
| 2022-04-24 13:13:29 +0200 | abastro | (~abab9579@192.249.26.196) |
| 2022-04-24 13:15:20 +0200 | acarrico1 | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) (Ping timeout: 250 seconds) |
| 2022-04-24 13:15:49 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-24 13:18:06 +0200 | fr33domlover_ | (~fr33@141.226.11.192) |
| 2022-04-24 13:18:08 +0200 | fr33domlover | (~fr33@2.52.77.70) (Ping timeout: 272 seconds) |
| 2022-04-24 13:18:23 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-04-24 13:20:14 +0200 | xff0x_ | (~xff0x@om126158190036.30.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-24 13:23:52 +0200 | acidjnk | (~acidjnk@p200300d0c73b45731d480a45a50d1d12.dip0.t-ipconnect.de) |
| 2022-04-24 13:25:36 +0200 | xff0x_ | (~xff0x@om126158190036.30.openmobile.ne.jp) |
| 2022-04-24 13:26:12 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:51f:ae2a:2368:1dfb) |
| 2022-04-24 13:28:57 +0200 | nehsou^ | (~nehsou@96-89-88-129-static.hfc.comcastbusiness.net) |
| 2022-04-24 13:29:14 +0200 | abastro | (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 2022-04-24 13:29:24 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 2022-04-24 13:31:45 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-04-24 13:32:38 +0200 | crazazy | (~user@130.89.171.62) |
| 2022-04-24 13:35:27 +0200 | phma_ | (~phma@2001:5b0:212a:9cb8:383f:bd93:eb4e:975d) |
| 2022-04-24 13:36:16 +0200 | abastro | (~abab9579@192.249.26.196) |
| 2022-04-24 13:36:51 +0200 | phma | (phma@2001:5b0:211c:2208:de38:aa3a:26f9:1136) (Read error: Connection reset by peer) |
| 2022-04-24 13:39:02 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-24 13:40:42 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-24 13:44:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-24 13:45:34 +0200 | jerry99 | (~339ea9ea@cerf.good1.com) |
| 2022-04-24 13:48:09 +0200 | nehsou^ | (~nehsou@96-89-88-129-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-04-24 13:53:08 +0200 | abastro | (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 2022-04-24 13:54:42 +0200 | abastro | (~abab9579@192.249.26.196) |
| 2022-04-24 13:56:32 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-24 13:58:11 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-24 14:00:23 +0200 | shiraeeshi | (~shiraeesh@109.166.59.6) (Ping timeout: 246 seconds) |
| 2022-04-24 14:00:40 +0200 | jargon | (~jargon@174-22-223-120.phnx.qwest.net) (Remote host closed the connection) |
| 2022-04-24 14:01:18 +0200 | abastro | (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 2022-04-24 14:01:33 +0200 | jargon | (~jargon@174-22-223-120.phnx.qwest.net) |
| 2022-04-24 14:02:55 +0200 | razetime | (~quassel@117.254.35.241) (Ping timeout: 256 seconds) |
| 2022-04-24 14:07:41 +0200 | MajorBiscuit | (~MajorBisc@c-001-011-047.client.tudelft.eduvpn.nl) |
| 2022-04-24 14:10:28 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-24 14:10:48 +0200 | califax | (~califax@user/califx) |
| 2022-04-24 14:12:13 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-04-24 14:12:55 +0200 | jargon | (~jargon@174-22-223-120.phnx.qwest.net) (Remote host closed the connection) |
| 2022-04-24 14:14:19 +0200 | sander | (~sander@user/sander) (Ping timeout: 240 seconds) |
| 2022-04-24 14:15:12 +0200 | sander | (~sander@user/sander) |
| 2022-04-24 14:26:02 +0200 | abastro | (~abab9579@192.249.26.196) |
| 2022-04-24 14:26:44 +0200 | abastro | (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 2022-04-24 14:28:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-24 14:29:15 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-24 14:29:24 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-24 14:29:39 +0200 | califax | (~califax@user/califx) |
| 2022-04-24 14:30:20 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-04-24 14:30:41 +0200 | caubert | (~caubert@136.244.111.235) (Ping timeout: 256 seconds) |
| 2022-04-24 14:30:50 +0200 | razetime | (~quassel@117.254.34.198) |
| 2022-04-24 14:30:58 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-24 14:31:39 +0200 | acidjnk | (~acidjnk@p200300d0c73b45731d480a45a50d1d12.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-24 14:31:54 +0200 | caubert | (~caubert@136.244.111.235) |
| 2022-04-24 14:32:00 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-24 14:37:59 +0200 | abastro | (~abab9579@192.249.26.196) |
| 2022-04-24 14:38:00 +0200 | pera | (~pera@user/pera) |
| 2022-04-24 14:38:55 +0200 | abastro | (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 2022-04-24 14:40:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-24 14:44:30 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-24 14:46:51 +0200 | abastro | (~abab9579@192.249.26.196) |
| 2022-04-24 14:48:36 +0200 | dextaa42 | (~dextaa@user/dextaa) |
| 2022-04-24 14:50:10 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-04-24 14:50:39 +0200 | dextaa4 | (~dextaa@user/dextaa) (Ping timeout: 240 seconds) |
| 2022-04-24 14:50:39 +0200 | dextaa42 | dextaa4 |
| 2022-04-24 14:55:16 +0200 | abastro | (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 2022-04-24 14:55:52 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 248 seconds) |
| 2022-04-24 14:59:28 +0200 | dextaa4 | (~dextaa@user/dextaa) (Ping timeout: 272 seconds) |
| 2022-04-24 15:00:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-24 15:01:34 +0200 | abastro | (~abab9579@192.249.26.196) |
| 2022-04-24 15:01:59 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 2022-04-24 15:05:15 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-04-24 15:07:03 +0200 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-24 15:09:04 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 2022-04-24 15:09:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-04-24 15:10:25 +0200 | abastro | (~abab9579@192.249.26.196) (Remote host closed the connection) |
| 2022-04-24 15:10:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-24 15:13:02 +0200 | jerry99 | (~339ea9ea@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-04-24 15:13:20 +0200 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-24 15:14:41 +0200 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-24 15:14:50 +0200 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-24 15:15:48 +0200 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-24 15:18:00 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-24 15:21:27 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-24 15:24:27 +0200 | Core4993 | (~Core4993@222.249.231.3) (Read error: Connection reset by peer) |
| 2022-04-24 15:24:46 +0200 | Core4993 | (~Core4993@2408:8409:1880:1f0d:4019:afff:fee9:16cc) |
| 2022-04-24 15:24:58 +0200 | Core4993 | (~Core4993@2408:8409:1880:1f0d:4019:afff:fee9:16cc) (Read error: Connection reset by peer) |
| 2022-04-24 15:25:11 +0200 | Core4993 | (~Core4993@2408:8409:1880:1f0d:4019:afff:fee9:16cc) |
| 2022-04-24 15:26:19 +0200 | Core4993 | (~Core4993@2408:8409:1880:1f0d:4019:afff:fee9:16cc) (Read error: Connection reset by peer) |
| 2022-04-24 15:38:09 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-24 15:42:11 +0200 | pera | (~pera@user/pera) (Quit: leaving) |
| 2022-04-24 15:52:21 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-04-24 15:54:00 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-24 16:06:23 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-24 16:07:19 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-04-24 16:12:56 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-04-24 16:13:55 +0200 | andrey | (~andrey@p200300dbcf4488004d3181a4567cdd4f.dip0.t-ipconnect.de) |
| 2022-04-24 16:15:35 +0200 | andrey_ | (~andrey@p200300dbcf3c0d0097a34303aa7c56ea.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-24 16:17:58 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-24 16:19:24 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-24 16:20:34 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-24 16:20:34 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-24 16:20:34 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-24 16:33:12 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 272 seconds) |
| 2022-04-24 16:34:30 +0200 | <abastro[m]> | tomsmeding: Cheers!!! |
| 2022-04-24 16:34:46 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-24 16:35:28 +0200 | Core4993 | (~Core4993@120.244.220.254) |
| 2022-04-24 16:36:41 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-24 16:36:47 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-04-24 16:36:48 +0200 | Core4993 | (~Core4993@120.244.220.254) (Client Quit) |
| 2022-04-24 16:37:49 +0200 | Dslyexic | (~Dslyexic@node-1w7jr9upi8kshj80883knja3d.ipv6.telus.net) |
| 2022-04-24 16:39:04 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2022-04-24 16:40:26 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-24 16:41:04 +0200 | odnes | (~odnes@5-203-219-132.pat.nym.cosmote.net) |
| 2022-04-24 16:43:51 +0200 | phma_ | phma |
| 2022-04-24 16:45:13 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:4284:9da1:fed4:ffd5) (Quit: bye) |
| 2022-04-24 16:45:30 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::c90f) |
| 2022-04-24 16:47:32 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:119e:5bf7:b034:3dc7) |
| 2022-04-24 16:47:49 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2022-04-24 16:48:10 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-04-24 16:52:55 +0200 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 256 seconds) |
| 2022-04-24 16:58:17 +0200 | Dslyexic | (~Dslyexic@node-1w7jr9upi8kshj80883knja3d.ipv6.telus.net) (Remote host closed the connection) |
| 2022-04-24 16:58:22 +0200 | haveo | (~haveo@sl35.iuwt.fr) (Remote host closed the connection) |
| 2022-04-24 17:00:30 +0200 | haveo | (~haveo@sl35.iuwt.fr) |
| 2022-04-24 17:05:27 +0200 | haveo | (~haveo@sl35.iuwt.fr) (Remote host closed the connection) |
| 2022-04-24 17:09:42 +0200 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 2022-04-24 17:09:52 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-04-24 17:10:30 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-24 17:12:11 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 256 seconds) |
| 2022-04-24 17:15:10 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2022-04-24 17:15:40 +0200 | odnes | (~odnes@5-203-219-132.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-04-24 17:15:46 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-04-24 17:15:52 +0200 | odnes | (~odnes@5-203-219-132.pat.nym.cosmote.net) |
| 2022-04-24 17:15:57 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-04-24 17:16:34 +0200 | kmein | (~weechat@user/kmein) |
| 2022-04-24 17:18:33 +0200 | razetime | (~quassel@117.254.34.198) (Remote host closed the connection) |
| 2022-04-24 17:21:00 +0200 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 2022-04-24 17:23:29 +0200 | <zebrag> | How do I setup `stack` system wide resolver? I do have a `~/.stack/global-project/stack.yaml` file, but should I edit it by hand? |
| 2022-04-24 17:24:16 +0200 | <zebrag> | I'm just trying to upgrade pandoc, which is stuck to a very old version |
| 2022-04-24 17:25:34 +0200 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-24 17:26:09 +0200 | <napping> | I don't know how to do that, but if you just want to build a newer pandoc cabal install should work |
| 2022-04-24 17:27:49 +0200 | <zebrag> | yeah, it's just I digged out some stack command for pandoc from my bash history, so I want to reuse it. I'll edit the stack.yaml file by hand |
| 2022-04-24 17:30:14 +0200 | <napping> | Ah, if you did install with stack in the first place that sounds good. I was trying to get ghc-core the other day and found it wasn't even in any stackage revisions |
| 2022-04-24 17:30:18 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-04-24 17:33:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2022-04-24 17:33:19 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 240 seconds) |
| 2022-04-24 17:33:41 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-04-24 17:33:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-24 17:34:19 +0200 | neurocyte8614492 | (~neurocyte@IP-195080054226.dynamic.medianet-world.de) |
| 2022-04-24 17:34:20 +0200 | neurocyte8614492 | (~neurocyte@IP-195080054226.dynamic.medianet-world.de) (Changing host) |
| 2022-04-24 17:34:20 +0200 | neurocyte8614492 | (~neurocyte@user/neurocyte) |
| 2022-04-24 17:35:35 +0200 | <zebrag> | Initially I just wanted to "build" some pdf documentation file. The whole process already has installed GB of dependencies, and worked my cpu to its limits for an almost an hour |
| 2022-04-24 17:35:51 +0200 | <tomsmeding> | pandoc is not the lightest binary :p |
| 2022-04-24 17:35:59 +0200 | <tomsmeding> | s/binary/library/ |
| 2022-04-24 17:36:02 +0200 | <napping> | Did that pull in TeX too? |
| 2022-04-24 17:36:23 +0200 | <tomsmeding> | there may be a pandoc in your system package manager too, just in case |
| 2022-04-24 17:36:41 +0200 | <zebrag> | I think I already had tex, otherwise it'd been endless |
| 2022-04-24 17:36:56 +0200 | <zebrag> | it's not all done yet |
| 2022-04-24 17:36:57 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2022-04-24 17:37:16 +0200 | <napping> | Ah, being able to reuse more compiled packages is nice part of stack |
| 2022-04-24 17:37:45 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-24 17:38:08 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-24 17:38:11 +0200 | <zebrag> | I need a bigger computer |
| 2022-04-24 17:39:06 +0200 | <tomsmeding> | zebrag: https://tomsmeding.com/ss/get/tomsmeding/bv3cAL |
| 2022-04-24 17:40:28 +0200 | <zebrag> | yeah, I'm sure I could have pulled it out of debian packages, but I've got standards |
| 2022-04-24 17:40:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-24 17:41:14 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-04-24 17:41:36 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-24 17:42:14 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Quit: mikoto-chan) |
| 2022-04-24 17:42:16 +0200 | <zebrag> | what is that tool you are using, it's rater cute |
| 2022-04-24 17:43:06 +0200 | <tomsmeding> | htop |
| 2022-04-24 17:43:17 +0200 | <tomsmeding> | (this is a university machine, don't have that at home lol) |
| 2022-04-24 17:45:08 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 2022-04-24 17:50:32 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-24 17:53:23 +0200 | <boxscape_> | % () |
| 2022-04-24 17:53:26 +0200 | <boxscape_> | hm what happened to yahb? |
| 2022-04-24 17:53:42 +0200 | <tomsmeding> | rip yahb |
| 2022-04-24 17:53:57 +0200 | <tomsmeding> | play-haskell.tomsmeding.com needs ghci functionality |
| 2022-04-24 17:54:13 +0200 | <boxscape_> | that does sound like it would be neat |
| 2022-04-24 17:54:22 +0200 | <tomsmeding> | stretch goal though :p |
| 2022-04-24 17:54:34 +0200 | <boxscape_> | understandable |
| 2022-04-24 17:55:51 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-04-24 17:56:39 +0200 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-24 17:59:01 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-24 18:00:10 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (Quit: You have been kicked for being idle) |
| 2022-04-24 18:03:55 +0200 | <geekosaur> | mm, mniip isn't around either |
| 2022-04-24 18:04:18 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-24 18:05:29 +0200 | haveo | (~haveo@sl35.iuwt.fr) |
| 2022-04-24 18:08:17 +0200 | xff0x_ | (~xff0x@om126158190036.30.openmobile.ne.jp) (Ping timeout: 256 seconds) |
| 2022-04-24 18:11:39 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-24 18:14:20 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 250 seconds) |
| 2022-04-24 18:24:40 +0200 | neurocyte8614492 | (~neurocyte@user/neurocyte) (Ping timeout: 272 seconds) |
| 2022-04-24 18:27:20 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-24 18:30:21 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-24 18:32:14 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-24 18:37:43 +0200 | qy | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-04-24 18:37:53 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-04-24 18:39:14 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 2022-04-24 18:42:11 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-24 18:44:41 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-04-24 18:44:52 +0200 | mbuf | (~Shakthi@122.162.69.23) (Quit: Leaving) |
| 2022-04-24 18:46:50 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-24 18:47:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-24 18:48:02 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-24 18:52:03 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-24 18:58:14 +0200 | dextaa4 | (~dextaa@user/dextaa) (Ping timeout: 246 seconds) |
| 2022-04-24 19:04:41 +0200 | titibandit | (~titibandi@xdsl-89-0-37-242.nc.de) |
| 2022-04-24 19:04:47 +0200 | sprout | (~quassel@2a02-a45f-f170-1-d440-811c-5d38-df76.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-24 19:05:20 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-24 19:08:13 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-24 19:09:04 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-24 19:10:08 +0200 | econo | (uid147250@user/econo) |
| 2022-04-24 19:11:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-04-24 19:12:48 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) |
| 2022-04-24 19:12:59 +0200 | fendor__ | fendor |
| 2022-04-24 19:14:01 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-04-24 19:14:43 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 2022-04-24 19:15:40 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-24 19:15:45 +0200 | shiraeeshi | (~shiraeesh@109.166.59.6) |
| 2022-04-24 19:16:05 +0200 | <Andrew> | Any ideas/packages to help create an async tcp server? |
| 2022-04-24 19:16:56 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-24 19:19:23 +0200 | fr33domlover_ | fr33domlover |
| 2022-04-24 19:20:23 +0200 | f-a | (f2a@f2a.jujube.ircnow.org) |
| 2022-04-24 19:20:49 +0200 | <f-a> | hello. windows question: I am invoking ghci (9.2.2) with ghci -with-rtsopts=--io-manager=native |
| 2022-04-24 19:21:01 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-24 19:21:05 +0200 | <f-a> | but it still errors on |
| 2022-04-24 19:21:06 +0200 | <f-a> | ghci> putStrLn "→" |
| 2022-04-24 19:21:06 +0200 | <f-a> | *** Exception: <stdout>: hPutChar: invalid argument (invalid character) |
| 2022-04-24 19:22:56 +0200 | <geekosaur> | hm. should you be using -with-rtsopts or +RTS? |
| 2022-04-24 19:23:30 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-5483-9565-9dfd-ed25.fixed6.kpn.net) |
| 2022-04-24 19:23:32 +0200 | <f-a> | geekosaur: how would I invoke ghc w/ +RTS? |
| 2022-04-24 19:24:27 +0200 | <geekosaur> | ghc understands +RTS. I'm not sureif the Windows wrapper for ghci will do the right thing with it though, might need to use ghc --interactive directly |
| 2022-04-24 19:24:42 +0200 | <geekosaur> | hrm, Phyx isn't in here |
| 2022-04-24 19:25:00 +0200 | <geekosaur> | I don't have Windows so I can't test it locally |
| 2022-04-24 19:25:04 +0200 | <exarkun> | Andrew: Which part are you stuck on? |
| 2022-04-24 19:26:00 +0200 | <EvanR> | Andrew, sounds obvious but... 'async' xD |
| 2022-04-24 19:26:07 +0200 | <EvanR> | (the library) |
| 2022-04-24 19:26:09 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-04-24 19:26:50 +0200 | <dsal> | i.e., you don't make an async service a la libev or whatever. |
| 2022-04-24 19:28:44 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-24 19:28:46 +0200 | <f-a> | ghc --interactive -with-rtsopts=--io-manager=native ← still errors, geekosaur , I will try to send my friend a cabal project and see if it works |
| 2022-04-24 19:29:10 +0200 | <geekosaur> | with that one you definitely want +RTS instead of -with-rtsopts |
| 2022-04-24 19:29:24 +0200 | <geekosaur> | -with-rtsopts applies to a program you compile with ghc, not to ghc itself |
| 2022-04-24 19:29:45 +0200 | <f-a> | ah I see |
| 2022-04-24 19:31:00 +0200 | <geekosaur> | it basically bakes in a +RTS to a program |
| 2022-04-24 19:31:10 +0200 | titibandit | (~titibandi@xdsl-89-0-37-242.nc.de) (Ping timeout: 272 seconds) |
| 2022-04-24 19:33:04 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 2022-04-24 19:34:49 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-24 19:37:35 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:b841:3aa3:64b1:7cea) |
| 2022-04-24 19:40:08 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-24 19:41:48 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-24 19:44:17 +0200 | <Andrew> | I see, thanks |
| 2022-04-24 19:48:15 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-24 19:50:19 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-04-24 19:51:03 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:51f:ae2a:2368:1dfb) (Remote host closed the connection) |
| 2022-04-24 19:52:39 +0200 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer) |
| 2022-04-24 19:53:07 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 256 seconds) |
| 2022-04-24 19:53:58 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-24 19:55:16 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-04-24 20:01:00 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-04-24 20:01:09 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-04-24 20:03:19 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.91) (Ping timeout: 240 seconds) |
| 2022-04-24 20:14:16 +0200 | <zebrag> | 3GB later, hours of cpu, `aptitude install texlive-xetex`, I'm sure I'll have my pdf soon, if I don't run out of disk space before. I have to move tex/latex in user space, not enough room in "root" partition |
| 2022-04-24 20:14:44 +0200 | f-a | (f2a@f2a.jujube.ircnow.org) () |
| 2022-04-24 20:15:01 +0200 | <dsal> | If you use nixos, you can use tex without even intalling it! |
| 2022-04-24 20:15:59 +0200 | <monochrom> | What magic is that? Can I also use GHC without installing it? |
| 2022-04-24 20:16:39 +0200 | mixfix41 | (~sdenyninn@user/mixfix41) |
| 2022-04-24 20:16:40 +0200 | <exarkun> | just flexible definition of "install" |
| 2022-04-24 20:16:42 +0200 | <zebrag> | my nixos laptop is in the cupboard, not enough room on my desk to put it on |
| 2022-04-24 20:17:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-24 20:17:13 +0200 | <monochrom> | Haha you run out of room on both your desktop and your desktop |
| 2022-04-24 20:17:21 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-24 20:17:53 +0200 | <monochrom> | Achievement unlock: Both logical and physical space exhaustion. |
| 2022-04-24 20:17:55 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-24 20:18:04 +0200 | <hpc> | that's the nice thing about laptops |
| 2022-04-24 20:18:04 +0200 | <exarkun> | in this project I started w/ cabal, I am getting away with `data (HasThings t, HasContainment c) => BigWorld t c = BigWorld` but when I extract this while trying to produce a minimal example of something, bare `ghc ...` tells me it is illegal. what's going on? |
| 2022-04-24 20:18:10 +0200 | <hpc> | but they're really hard to use with a standing desk :P |
| 2022-04-24 20:19:23 +0200 | <sclv> | missing some ghc extensions enabled in the extracted bit? |
| 2022-04-24 20:19:45 +0200 | <geekosaur> | ugh, don't use DatatypeContexts |
| 2022-04-24 20:20:03 +0200 | <exarkun> | sclv: I mean, I guess so, but I didn't turn DatatypeContexts on in my cabal file |
| 2022-04-24 20:20:22 +0200 | <exarkun> | ghc suggests I turn it on, then when I turn it on with a pragma, it tells me it is deprecated and I shouldnt use it :) |
| 2022-04-24 20:20:27 +0200 | <geekosaur> | Haskell98? |
| 2022-04-24 20:20:45 +0200 | <exarkun> | cabal file says `default-language: Haskell2010` |
| 2022-04-24 20:20:58 +0200 | <exarkun> | What does `ghc Some.hs` do? |
| 2022-04-24 20:21:39 +0200 | <exarkun> | I wonder (1) why cabal is giving me this extension (and w/o the deprecation warning) and (2) why DatatypeContexts is bad and (3) what I should do instead |
| 2022-04-24 20:22:02 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-24 20:22:15 +0200 | <geekosaur> | DatatypeContexts is bad because it only does something during construction; you can't recover the conmtext with pattern matching |
| 2022-04-24 20:22:42 +0200 | <geekosaur> | whihc makes it close to useless (some would argue worse than useless; SPJ calls it "stupid theta") |
| 2022-04-24 20:22:48 +0200 | carl | (~gpncarl@120.244.220.254) |
| 2022-04-24 20:23:53 +0200 | carl | (~gpncarl@120.244.220.254) (Client Quit) |
| 2022-04-24 20:24:22 +0200 | <geekosaur> | you can get a working version with GADTs |
| 2022-04-24 20:25:40 +0200 | <geekosaur> | I can't answer (1) |
| 2022-04-24 20:25:58 +0200 | <geekosaur> | (or reproduce it, for that matter) |
| 2022-04-24 20:27:48 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:51f:ae2a:2368:1dfb) |
| 2022-04-24 20:28:43 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-24 20:29:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-24 20:33:57 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2022-04-24 20:35:14 +0200 | <exarkun> | refreshing my memory of GADTs now |
| 2022-04-24 20:36:29 +0200 | tzxun | (~tzxun@183.128.119.95) |
| 2022-04-24 20:38:20 +0200 | <tomsmeding> | `data BigWorld t c where BigWorld :: (HasThings t, HasContainment c) => BigWorld t c` |
| 2022-04-24 20:39:10 +0200 | <tomsmeding> | the notation is nicely (and accurately, in fact) suggestive that the context becomes a field in the data type this way |
| 2022-04-24 20:39:19 +0200 | tzxun | (~tzxun@183.128.119.95) () |
| 2022-04-24 20:39:51 +0200 | gawen | (~gawen@user/gawen) |
| 2022-04-24 20:39:56 +0200 | <hpc> | it also has some nice parallels with type class definitions |
| 2022-04-24 20:40:12 +0200 | tzxun | (~tzxun@183.128.119.95) |
| 2022-04-24 20:40:16 +0200 | <hpc> | and it's (imo) a bit easier to learn than regular syntax |
| 2022-04-24 20:40:43 +0200 | <tomsmeding> | opinions differ on the latter point :) |
| 2022-04-24 20:40:44 +0200 | <hpc> | data Type type = Value Type | Value type | ... |
| 2022-04-24 20:40:59 +0200 | tzxun | (~tzxun@183.128.119.95) (Quit: Leaving) |
| 2022-04-24 20:41:33 +0200 | tzxun | (~tzxun@183.128.119.95) |
| 2022-04-24 20:41:51 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-24 20:42:25 +0200 | simeon | (~pi@dslb-088-076-113-221.088.076.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-04-24 20:43:02 +0200 | tzxun | (~tzxun@183.128.119.95) (Client Quit) |
| 2022-04-24 20:48:18 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-24 20:48:33 +0200 | tzxun | (~Thunderbi@183.128.119.95) |
| 2022-04-24 20:51:02 +0200 | tzxun | (~Thunderbi@183.128.119.95) (Quit: tzxun) |
| 2022-04-24 20:51:26 +0200 | tzxun | (~tzxun@183.128.119.95) |
| 2022-04-24 20:51:34 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-24 20:51:40 +0200 | fr33domlover | (~fr33@141.226.11.192) (Quit: fr33domlover) |
| 2022-04-24 20:53:00 +0200 | tzxun | (~tzxun@183.128.119.95) (Client Quit) |
| 2022-04-24 20:53:03 +0200 | gensyst | (gensyst@user/gensyst) |
| 2022-04-24 20:53:13 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 20:53:36 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-04-24 20:53:53 +0200 | simeon | (~pi@dslb-088-078-150-105.088.078.pools.vodafone-ip.de) |
| 2022-04-24 20:55:26 +0200 | <gensyst> | If this question makes any sense, look forward to answers: Creating a typeclass with data types as instances of that type class VERSUS a bit more complex data type with type parameters and records where the "instances" are just new values of that data type (with each "instance creation function" simply having whatever parameters makes sense). |
| 2022-04-24 20:55:49 +0200 | <gensyst> | It seems it's sometimes not clear which design pattern to pick :S |
| 2022-04-24 20:57:00 +0200 | <tomsmeding> | one is open-world (advantage: anyone can add new instances; disadvantage: no exhaustive case analysis), the other is closed-world (advantage: you know for sure what the full list of cases is; disadvantage: not extensible without access to the declaration) |
| 2022-04-24 20:57:56 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-24 20:58:00 +0200 | <gensyst> | tomsmeding, how do you know this stuff lol :D |
| 2022-04-24 20:58:07 +0200 | <gensyst> | thanks! |
| 2022-04-24 20:58:11 +0200 | <tomsmeding> | ¯\_(ツ)_/¯ |
| 2022-04-24 20:58:12 +0200 | <hpc> | this is a fairly common question |
| 2022-04-24 20:58:16 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-24 20:58:22 +0200 | <tomsmeding> | is this not also "the expression problem" |
| 2022-04-24 20:58:39 +0200 | <tomsmeding> | that the big brains of FP have been thinking about since the inception of FP |
| 2022-04-24 20:58:51 +0200 | <hpc> | usually you want the data type approach though |
| 2022-04-24 20:58:54 +0200 | <hpc> | for example, Handle |
| 2022-04-24 20:58:58 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-24 20:59:08 +0200 | <tomsmeding> | and every few years someone designs a construction where you can have both somehow, and somehow it's always less convenient in practice than one of the two |
| 2022-04-24 20:59:08 +0200 | <hpc> | it can be an open file, an open network connection, etc |
| 2022-04-24 20:59:18 +0200 | <hpc> | but they all have send, receive, and close |
| 2022-04-24 20:59:22 +0200 | <tomsmeding> | +1 if a data type works, probably a data type is nicest |
| 2022-04-24 20:59:38 +0200 | <hpc> | and you want to be able to mix and match, so they all have to be Handle if you want to make a [Handle] |
| 2022-04-24 20:59:42 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-24 21:00:37 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 21:01:28 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-24 21:05:32 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-24 21:05:38 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-24 21:06:33 +0200 | ubert | (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-04-24 21:06:46 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 21:07:37 +0200 | <gensyst> | I still don't get when you should pick which :) |
| 2022-04-24 21:07:45 +0200 | <gensyst> | I guess it's a hard decision sometimes! |
| 2022-04-24 21:08:58 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::c90f) (Ping timeout: 250 seconds) |
| 2022-04-24 21:09:13 +0200 | <tomsmeding> | gensyst: another important difference: with type classes, there's exactly one implementation per "constructor" |
| 2022-04-24 21:09:25 +0200 | <tomsmeding> | because you cannot have two different instances of the same class for the same type |
| 2022-04-24 21:09:48 +0200 | <tomsmeding> | in return for that restriction, you don't have to explicitly pass the objects around, it gets done implicitly using type class resolution |
| 2022-04-24 21:10:03 +0200 | <EvanR> | usually if it seems like both would work, but you feel that you should go with type class "because it's there", you probably should go with a data type xD |
| 2022-04-24 21:10:05 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-04-24 21:11:08 +0200 | <EvanR> | type classes work well when they take the place of some kind of mathematical thing that would have an annoying context passed around everywhere |
| 2022-04-24 21:11:32 +0200 | <EvanR> | that is invisible in actual math because of the power of clever notation |
| 2022-04-24 21:18:44 +0200 | <gensyst> | tomsmeding, aaaah. when you said "list of cases", you're probably talking about sum types. yet i didn't even have in mind sum types at all. i was talking about a single type with one value constructor. the function creating values of this type can have a bunch of parameters (for purposes of populating the records). |
| 2022-04-24 21:18:58 +0200 | <gensyst> | so in this case, there is no question of "knowing all cases" benefit. |
| 2022-04-24 21:19:09 +0200 | <tomsmeding> | ah, there would be only one instance anyway? |
| 2022-04-24 21:19:32 +0200 | <tomsmeding> | (yes, I was thinking about sum types :p) |
| 2022-04-24 21:19:43 +0200 | <tomsmeding> | If there would only be one case, this is exactly what record types are for |
| 2022-04-24 21:19:48 +0200 | <tomsmeding> | use a record type :p |
| 2022-04-24 21:19:53 +0200 | <gensyst> | sure at the type level, but in practice you can create a bunch of instances because the records can be FUNCTIONS |
| 2022-04-24 21:20:04 +0200 | <gensyst> | man... so much flexibility |
| 2022-04-24 21:20:06 +0200 | <gensyst> | no idea which to use |
| 2022-04-24 21:20:13 +0200 | <tomsmeding> | I'm not sure I follow there |
| 2022-04-24 21:20:24 +0200 | <tomsmeding> | a function is still a single value, right? |
| 2022-04-24 21:20:36 +0200 | <tomsmeding> | if you say "the records", do you mean "the record fields" or something else? |
| 2022-04-24 21:20:39 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-24 21:20:42 +0200 | <gensyst> | yes, record fields |
| 2022-04-24 21:20:57 +0200 | <tomsmeding> | data MyThing = MyThing { field1 :: a -> b, field2 :: Int |
| 2022-04-24 21:20:58 +0200 | <tomsmeding> | } |
| 2022-04-24 21:21:11 +0200 | <tomsmeding> | what's wrong with functions in a record |
| 2022-04-24 21:22:39 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-04-24 21:24:32 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-24 21:25:56 +0200 | <gensyst> | Nothing, but the question is more when to pick |
| 2022-04-24 21:25:56 +0200 | <gensyst> | data Beast beast = Beast { initBeast :: IO (), echoBeast :: IO String } and later niceBeast :: Int Double Float String -> Beast VERSUS |
| 2022-04-24 21:25:56 +0200 | <gensyst> | class Beast a where and make a NiceBeast instance of Beast. |
| 2022-04-24 21:26:25 +0200 | <gensyst> | (with all those Int, Double, Float, String being records of NiceBeast) |
| 2022-04-24 21:26:43 +0200 | <tomsmeding> | s/records/record fields/? |
| 2022-04-24 21:26:50 +0200 | <gensyst> | yeah |
| 2022-04-24 21:26:52 +0200 | <tomsmeding> | the record is the entire thing :p |
| 2022-04-24 21:27:12 +0200 | <hpc> | do you need the type variable? |
| 2022-04-24 21:27:44 +0200 | <gensyst> | hpc, in that example nope, sorry about that |
| 2022-04-24 21:27:49 +0200 | <tomsmeding> | given the example, I feel like it makes no sense to go with a type class here, because there is not by definition only one possible value of Beast |
| 2022-04-24 21:28:29 +0200 | laolmtdea^ | (~laolmtdea@50.227.69.228) |
| 2022-04-24 21:28:42 +0200 | <tomsmeding> | oh your point is that the different instantiations would be different instances, _NOW_ I get it lol |
| 2022-04-24 21:29:16 +0200 | <hpc> | i mean, once you are done with the type |
| 2022-04-24 21:29:18 +0200 | <tomsmeding> | yes for sure a record, not a type class |
| 2022-04-24 21:29:22 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2022-04-24 21:29:22 +0200 | <gensyst> | and also that I could do badBeast :: Double -> Double -> Double -> Beast |
| 2022-04-24 21:29:36 +0200 | <tomsmeding> | because if you go with a type class, you will have to communicate to functions what instance you want them to use |
| 2022-04-24 21:29:43 +0200 | <tomsmeding> | hence you need some kind of tag type to put the instance on |
| 2022-04-24 21:29:50 +0200 | <tomsmeding> | so you're passing around a data value anyhow |
| 2022-04-24 21:30:01 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-24 21:30:40 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-24 21:30:51 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 21:31:06 +0200 | <Unhammer> | https://i.imgur.com/hpTMCxF.png searched for haskell brick :D |
| 2022-04-24 21:31:12 +0200 | <tomsmeding> | if you want you can even use -XRecordWildCards so that you can write `f Beast{..} = ... {- can simply use 'echoBeast' here, which references the field from the parameter -}` |
| 2022-04-24 21:31:41 +0200 | <tomsmeding> | Unhammer: https://www.haskellfoundation.org/ |
| 2022-04-24 21:32:18 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-24 21:32:37 +0200 | <tomsmeding> | gensyst: "and also that I could do badBeast :: Double -> Double ->Double -> |
| 2022-04-24 21:32:40 +0200 | <tomsmeding> | oops |
| 2022-04-24 21:32:57 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Client Quit) |
| 2022-04-24 21:33:05 +0200 | <tomsmeding> | but re that line: only with the data type version, with the type class version you'd need to make `data BadBeast = BadBeast; instance Beast BadBeast where ...` |
| 2022-04-24 21:34:28 +0200 | <gensyst> | well, data BadBeast = BadBeast { arm1 :: Double, arm2 :: Double, arm3 :: Double }; instance Beast BadBeast where |
| 2022-04-24 21:34:38 +0200 | <gensyst> | so in a way function parameters go into record fields |
| 2022-04-24 21:34:41 +0200 | <gensyst> | hmmmmmm |
| 2022-04-24 21:34:44 +0200 | <tomsmeding> | true |
| 2022-04-24 21:34:57 +0200 | <tomsmeding> | still, go with data type until you notice that it really doesn't work |
| 2022-04-24 21:35:00 +0200 | <Rembane> | Unhammer: That's a good find! :) |
| 2022-04-24 21:35:09 +0200 | <tomsmeding> | in most cases data types are nicer to work with |
| 2022-04-24 21:35:17 +0200 | <tomsmeding> | (if you have the choice) |
| 2022-04-24 21:36:09 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-24 21:36:54 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 21:37:45 +0200 | <gensyst> | tomsmeding, it feels to me like "badBeast :: Double -> Double -> Double -> Beast" would be just thunks sitting there as opposed to " data BadBeast = BadBeast { arm1 :: Double, arm2 :: Double, arm3 :: Double }" which are full-fledged things in memory (not that this makes any huge difference) |
| 2022-04-24 21:37:49 +0200 | <Unhammer> | tomsmeding haha good one |
| 2022-04-24 21:38:08 +0200 | <tomsmeding> | gensyst: 0 difference in thunk behaviour |
| 2022-04-24 21:38:28 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2022-04-24 21:38:46 +0200 | <tomsmeding> | also the two things you're giving are not alternatives of each other? |
| 2022-04-24 21:38:48 +0200 | <hpc> | how about data Beast = Beast {..., bad :: Bool} |
| 2022-04-24 21:38:53 +0200 | <Unhammer> | The 4th Annual Haskell Foundation Golf Classic |
| 2022-04-24 21:39:25 +0200 | <Unhammer> | (was looking to compare brick with https://www.textualize.io/ ) |
| 2022-04-24 21:40:05 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-24 21:42:17 +0200 | odnes | (~odnes@5-203-219-132.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-04-24 21:43:36 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-24 21:43:59 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.5) |
| 2022-04-24 21:44:41 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-04-24 21:44:59 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-24 21:45:19 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2022-04-24 21:45:28 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-04-24 21:46:25 +0200 | pavonia | (~user@user/siracusa) |
| 2022-04-24 21:49:34 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 2022-04-24 21:51:44 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-24 21:53:04 +0200 | acidjnk | (~acidjnk@p200300d0c73b4573e8a6f1626a35c03c.dip0.t-ipconnect.de) |
| 2022-04-24 21:54:40 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-24 21:55:27 +0200 | titibandit | (~titibandi@xdsl-89-0-37-242.nc.de) |
| 2022-04-24 21:55:51 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 21:56:38 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-24 21:56:39 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-04-24 21:56:55 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-24 22:00:35 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-24 22:02:54 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-24 22:05:06 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-24 22:05:19 +0200 | acarrico1 | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) |
| 2022-04-24 22:09:12 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.91) |
| 2022-04-24 22:09:58 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-04-24 22:12:13 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-04-24 22:13:56 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.91) (Ping timeout: 272 seconds) |
| 2022-04-24 22:14:42 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-24 22:14:52 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-04-24 22:15:19 +0200 | laolmtdea^ | (~laolmtdea@50.227.69.228) (Remote host closed the connection) |
| 2022-04-24 22:17:06 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-04-24 22:18:19 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-04-24 22:19:09 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-24 22:21:08 +0200 | fendor_ | (~fendor@178.115.54.135.wireless.dyn.drei.com) |
| 2022-04-24 22:21:31 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: WeeChat 3.0) |
| 2022-04-24 22:22:06 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2022-04-24 22:22:50 +0200 | <shiraeeshi> | I've installed haskell-language-server and I'm trying to use it with ircbrowse project to see if it works |
| 2022-04-24 22:23:19 +0200 | fendor | (~fendor@178.115.77.64.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2022-04-24 22:23:26 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-04-24 22:23:44 +0200 | <shiraeeshi> | when I run "haskell-language-server-wrapper" command from inside the project folder, it gives me the error |
| 2022-04-24 22:24:00 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 22:24:27 +0200 | <tomsmeding> | shiraeeshi: what error |
| 2022-04-24 22:24:50 +0200 | <shiraeeshi> | the source of error is the command "cabal v2-exec ghc -v0 -- --numeric-version" (I shortened it a bit) |
| 2022-04-24 22:25:03 +0200 | <shiraeeshi> | cabal: Could not resolve dependencies: |
| 2022-04-24 22:25:17 +0200 | <tomsmeding> | full output in a paste perhaps? |
| 2022-04-24 22:25:18 +0200 | <tomsmeding> | @where paste |
| 2022-04-24 22:25:19 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-04-24 22:25:31 +0200 | <tomsmeding> | (because it works for me) |
| 2022-04-24 22:25:51 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-24 22:25:52 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-24 22:25:52 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-24 22:26:23 +0200 | <shiraeeshi> | here is the output |
| 2022-04-24 22:26:24 +0200 | <shiraeeshi> | https://paste.tomsmeding.com/gae89eFT |
| 2022-04-24 22:26:50 +0200 | <tomsmeding> | ah |
| 2022-04-24 22:26:55 +0200 | <tomsmeding> | git submodule update --init --recursive |
| 2022-04-24 22:27:49 +0200 | <shiraeeshi> | tried it, the error persists |
| 2022-04-24 22:28:06 +0200 | <tomsmeding> | does a 'cabal build' work? |
| 2022-04-24 22:28:07 +0200 | <geekosaur> | base 4.9?? |
| 2022-04-24 22:28:09 +0200 | <shiraeeshi> | perhaps it's caused by version mismatch? |
| 2022-04-24 22:28:22 +0200 | <shiraeeshi> | I'm running it with cabal-3.4 |
| 2022-04-24 22:28:24 +0200 | <tomsmeding> | clogparse should be vendored in with a submodule, the hackage version is mega old |
| 2022-04-24 22:28:30 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-24 22:28:48 +0200 | <tomsmeding> | oh wait it's not even a submodule, it's just in the tree |
| 2022-04-24 22:28:59 +0200 | <tomsmeding> | is HLS not seeing the cabal.project or something |
| 2022-04-24 22:29:04 +0200 | <geekosaur> | [__1] rejecting: base-4.9.1.0/installed-4.9.1.0 (constraint from project config TODO requires ==4.14.3.0) |
| 2022-04-24 22:29:26 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2022-04-24 22:29:27 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:51f:ae2a:2368:1dfb) (Remote host closed the connection) |
| 2022-04-24 22:29:28 +0200 | <tomsmeding> | /upstream/clogparse/clogparse.cabal has an updated version |
| 2022-04-24 22:29:33 +0200 | <tomsmeding> | and /cabal.project refers to it |
| 2022-04-24 22:30:54 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-24 22:31:07 +0200 | <tomsmeding> | OH |
| 2022-04-24 22:31:10 +0200 | <geekosaur> | as I read that, installed base version 4.9 which corresponds to ghc 8.0 |
| 2022-04-24 22:31:18 +0200 | <tomsmeding> | shiraeeshi: I suddenly realise you're probably using chrisdone's original repo |
| 2022-04-24 22:31:21 +0200 | <tomsmeding> | that's mega old |
| 2022-04-24 22:31:33 +0200 | <tomsmeding> | shiraeeshi: https://github.com/tomsmeding/ircbrowse is the version that's currently running |
| 2022-04-24 22:31:44 +0200 | <shiraeeshi> | tomsmeding, no, I'm using your version |
| 2022-04-24 22:31:48 +0200 | <tomsmeding> | ah |
| 2022-04-24 22:32:04 +0200 | <shiraeeshi> | I've used stack before |
| 2022-04-24 22:32:05 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-24 22:32:15 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 22:32:28 +0200 | <shiraeeshi> | I've installed cabal and ghc today |
| 2022-04-24 22:32:53 +0200 | <tomsmeding> | if I literally do 'git clone git@github.com:tomsmeding/ircbrowse; cd ircbrowse; haskell-language-server-wrapper' then it works |
| 2022-04-24 22:32:57 +0200 | <tomsmeding> | ghc 8.10.7 |
| 2022-04-24 22:34:29 +0200 | <shiraeeshi> | "ghc -- --version" outputs 8.0.2 |
| 2022-04-24 22:34:36 +0200 | <tomsmeding> | O.o |
| 2022-04-24 22:34:39 +0200 | <tomsmeding> | please upgrade lol |
| 2022-04-24 22:34:53 +0200 | <tomsmeding> | so that's where the 4.9 comes from |
| 2022-04-24 22:34:59 +0200 | <tomsmeding> | how did you install ghc? |
| 2022-04-24 22:35:57 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-04-24 22:35:59 +0200 | <shiraeeshi> | apt install ghc-8.8 |
| 2022-04-24 22:36:10 +0200 | <tomsmeding> | why does ghc-8.8 give ghc-8.0 |
| 2022-04-24 22:36:14 +0200 | <shiraeeshi> | but I think I've installed an older version before |
| 2022-04-24 22:36:18 +0200 | <tomsmeding> | right |
| 2022-04-24 22:36:28 +0200 | <tomsmeding> | scour all ghcs from your system and use ghcup |
| 2022-04-24 22:36:30 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-24 22:36:34 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:51f:ae2a:2368:1dfb) |
| 2022-04-24 22:36:36 +0200 | <tomsmeding> | or use hvr's ppa I think |
| 2022-04-24 22:37:23 +0200 | <tomsmeding> | hm the ppa only goes to 8.10.4, but that should also work I guess (but use ghcup if you're at all willing to do so) |
| 2022-04-24 22:38:34 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-24 22:38:42 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-24 22:38:59 +0200 | titibandit | (~titibandi@xdsl-89-0-37-242.nc.de) (Ping timeout: 240 seconds) |
| 2022-04-24 22:40:52 +0200 | mshiraeeshi | (~shiraeesh@109.166.57.76) |
| 2022-04-24 22:40:58 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-24 22:41:01 +0200 | <mshiraeeshi> | now it gives the same error, but with base-4.13.0.0 instead of 4.9 |
| 2022-04-24 22:42:01 +0200 | <tomsmeding> | mshiraeeshi: right, because you're using ghc-8.8 instead of 8.10.7; you can try 'rm cabal.project.freeze' and then try again |
| 2022-04-24 22:42:10 +0200 | <tomsmeding> | may work, 8.8 should be recent enough |
| 2022-04-24 22:42:37 +0200 | <tomsmeding> | (the freeze file pins all dependencies, including 'base' which as a side effect pins the GHC version -- see also https://wiki.haskell.org/Base_package ) |
| 2022-04-24 22:43:11 +0200 | <mshiraeeshi> | now it says "unknown package: timezone-series (dependency of clogparse)" |
| 2022-04-24 22:43:26 +0200 | shiraeeshi | (~shiraeesh@109.166.59.6) (Ping timeout: 250 seconds) |
| 2022-04-24 22:43:30 +0200 | <tomsmeding> | https://hackage.haskell.org/package/timezone-series |
| 2022-04-24 22:43:34 +0200 | <tomsmeding> | have you run 'cabal update'? |
| 2022-04-24 22:43:41 +0200 | <mshiraeeshi> | no |
| 2022-04-24 22:43:47 +0200 | <tomsmeding> | ah, you have to, at least once |
| 2022-04-24 22:44:03 +0200 | <tomsmeding> | then it downloads the list of packages from hackage so that it knows what exists |
| 2022-04-24 22:44:35 +0200 | <tomsmeding> | (and at what versions -- so if something requires a package version newer than what was available the last time you ran 'cabal update', you may need to run it again) |
| 2022-04-24 22:45:10 +0200 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-24 22:45:12 +0200 | <tomsmeding> | stack automatically downloads whatever snapshot a stack.yaml prescribes; cabal doesn't automatically download the package index for some reason |
| 2022-04-24 22:45:50 +0200 | <geekosaur> | it does print a warning if it's missing or old |
| 2022-04-24 22:46:11 +0200 | <tomsmeding> | maybe it got lost in the output that HLS-wrapper also puts out |
| 2022-04-24 22:46:26 +0200 | <mshiraeeshi> | I've run out of space while updating, I need to free some |
| 2022-04-24 22:46:30 +0200 | <tomsmeding> | :') |
| 2022-04-24 22:46:37 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-24 22:47:08 +0200 | <tomsmeding> | mshiraeeshi: make 1GiB free or something |
| 2022-04-24 22:47:40 +0200 | <tomsmeding> | ircbrowse itself including compiled products is ~200MiB, and there's a bunch of dependencies as well that it puts in ~/.cabal that I don't know the sizes of |
| 2022-04-24 22:47:43 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 22:48:12 +0200 | <tomsmeding> | note also, in case you weren't aware, that ircbrowse requires a running instance of postgresql that needs to be set up with a user account in some manner |
| 2022-04-24 22:48:41 +0200 | <tomsmeding> | (I don't like its dependency on postgresql precisely because it's annoying to set up quickly, but I haven't gotten around to removing that dependency yet) |
| 2022-04-24 22:49:19 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-04-24 22:49:42 +0200 | <mshiraeeshi> | I can check that postgresql credentials in configs, right? |
| 2022-04-24 22:49:59 +0200 | <tomsmeding> | there's instructions in README.md |
| 2022-04-24 22:50:17 +0200 | <tomsmeding> | (oh I see that still references stack lol) |
| 2022-04-24 22:50:29 +0200 | acarrico1 | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2022-04-24 22:50:34 +0200 | <tomsmeding> | (well, maybe stack still works, I haven't tried in a while) |
| 2022-04-24 22:50:39 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-04-24 22:51:04 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-24 22:51:07 +0200 | <tomsmeding> | but editing and compiling ircbrowse should work of course, it will just throw an error at runtime if there's no postgresql |
| 2022-04-24 22:52:11 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-04-24 22:53:22 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-24 22:54:02 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-24 22:55:44 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-24 22:56:18 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-24 22:56:19 +0200 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-24 22:56:26 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-24 22:57:00 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::c90f) |
| 2022-04-24 22:58:26 +0200 | gensyst | (gensyst@user/gensyst) (Quit: Leaving) |
| 2022-04-24 22:59:15 +0200 | <tomsmeding> | (I'm off to bed) |
| 2022-04-24 23:00:55 +0200 | <mshiraeeshi> | thanks for the help, I'm freeing some space, gonna try after |
| 2022-04-24 23:01:53 +0200 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-24 23:03:54 +0200 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 276 seconds) |
| 2022-04-24 23:03:59 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:119e:5bf7:b034:3dc7) (Ping timeout: 240 seconds) |
| 2022-04-24 23:08:39 +0200 | MajorBiscuit | (~MajorBisc@c-001-011-047.client.tudelft.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-24 23:08:51 +0200 | kaph | (~kaph@fi-19-197-87.service.infuturo.it) |
| 2022-04-24 23:10:43 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-24 23:11:11 +0200 | Brandon_IX | (~brandon@178-79-138-117.ip.linodeusercontent.com) |
| 2022-04-24 23:11:34 +0200 | dextaa4 | (~dextaa@user/dextaa) (Ping timeout: 272 seconds) |
| 2022-04-24 23:12:04 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-04-24 23:12:14 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-24 23:15:30 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-24 23:16:12 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-24 23:16:35 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:51f:ae2a:2368:1dfb) (Remote host closed the connection) |
| 2022-04-24 23:18:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-24 23:19:10 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-04-24 23:19:15 +0200 | vicfred | (~vicfred@user/vicfred) (Client Quit) |
| 2022-04-24 23:20:54 +0200 | mmhat | (~mmh@55d4c572.access.ecotel.net) |
| 2022-04-24 23:20:56 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-24 23:21:04 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-24 23:22:04 +0200 | theproffesor | (~theprofff@user/theproffesor) (Read error: Connection reset by peer) |
| 2022-04-24 23:22:20 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-04-24 23:25:03 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-24 23:25:27 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-24 23:28:43 +0200 | <Brandon_IX> | is it possible to write a list comprehension that lists all possible pairs of numbers in a list without including a pairs made up of the same element |
| 2022-04-24 23:28:51 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-24 23:29:11 +0200 | <Brandon_IX> | I'm not sure if that's a clear enough question |
| 2022-04-24 23:29:28 +0200 | <exarkun> | You want to exclude the diagonal from top left to bottom right, sounds like? |
| 2022-04-24 23:29:38 +0200 | <Brandon_IX> | exarkun: yeah |
| 2022-04-24 23:29:39 +0200 | zmv | (~zmv@2804:431:c7f2:dad8:449e:66e7:6a42:644) |
| 2022-04-24 23:29:53 +0200 | <exarkun> | it is surely possible. the real question is how many different ways can #haskell imagine to do it. |
| 2022-04-24 23:30:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-24 23:30:58 +0200 | <Brandon_IX> | exarkun: okay, ill give it another go and come back, thanks |
| 2022-04-24 23:31:09 +0200 | <exarkun> | :) |
| 2022-04-24 23:32:30 +0200 | kaskal | (~kaskal@2001:4bb8:2e0:b5bd:e3c0:d71b:f32:84d8) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-24 23:32:30 +0200 | mshiraeeshi | (~shiraeesh@109.166.57.76) (Read error: Connection reset by peer) |
| 2022-04-24 23:37:43 +0200 | kaph | (~kaph@fi-19-197-87.service.infuturo.it) (Read error: Connection reset by peer) |
| 2022-04-24 23:39:38 +0200 | fendor_ | (~fendor@178.115.54.135.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-04-24 23:39:50 +0200 | zmv | notzmv |
| 2022-04-24 23:39:52 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-24 23:40:02 +0200 | notzmv | (~zmv@2804:431:c7f2:dad8:449e:66e7:6a42:644) (Changing host) |
| 2022-04-24 23:40:02 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-04-24 23:41:11 +0200 | <yushyin> | if you need a hint, let us know :) |
| 2022-04-24 23:50:35 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:5885:9431:ca89:9663) (Remote host closed the connection) |
| 2022-04-24 23:51:11 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 2022-04-24 23:51:14 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-24 23:53:25 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-24 23:56:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-24 23:57:04 +0200 | dostoevsky2 | (~5c42c5384@user/dostoevsky) |
| 2022-04-24 23:59:03 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Ping timeout: 256 seconds) |
| 2022-04-24 23:59:03 +0200 | dostoevsky2 | dostoevsky |
