| 2022-02-14 00:00:17 +0100 | <monochrom> | Today I think type-level foldl can be made a type family. |
| 2022-02-14 00:00:29 +0100 | <romesrf> | It's really funny |
| 2022-02-14 00:02:05 +0100 | <jackdk> | I read it as a satire on type-level programming in general, and that was the state of the art at the time. The turns of phrase make it so much fun - "summon two meaningless constants from the void, and imbue them with meaning" |
| 2022-02-14 00:02:17 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-14 00:02:53 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 00:03:28 +0100 | <monochrom> | "it's easier to just define it inline" |
| 2022-02-14 00:04:16 +0100 | <romesrf> | AHAHAH |
| 2022-02-14 00:05:35 +0100 | <romesrf> | still laughing. Thank you, i've forwarded this to my advisor as well ahahah |
| 2022-02-14 00:05:43 +0100 | <sshine> | monochrom, nice blog post, hadn't read it before :) |
| 2022-02-14 00:05:51 +0100 | <sshine> | “We must use this,” you inform him cheerfully, “because Hask is not a category.” -- I should use this reasoning more often. |
| 2022-02-14 00:05:53 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-14 00:06:07 +0100 | <monochrom> | hee hee |
| 2022-02-14 00:06:10 +0100 | <romesrf> | hahahaha |
| 2022-02-14 00:07:41 +0100 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2022-02-14 00:08:03 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 2022-02-14 00:09:19 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-14 00:09:41 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-02-14 00:11:21 +0100 | prolic | (~prolic@181.122.131.227) (Remote host closed the connection) |
| 2022-02-14 00:11:28 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 00:11:41 +0100 | prolic | (~prolic@181.122.131.227) |
| 2022-02-14 00:12:29 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 00:12:32 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-02-14 00:14:18 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7dab:1fa0:9cf6:a5de) (Remote host closed the connection) |
| 2022-02-14 00:15:20 +0100 | slack1256 | (~slack1256@191.126.227.77) (Remote host closed the connection) |
| 2022-02-14 00:16:06 +0100 | maxime__ | (~maxime@2a01cb08833598009b8db594e1e70b96.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 2022-02-14 00:17:51 +0100 | fruitfly | (~fruitfly@host-79-121-41-174.kabelnet.hu) |
| 2022-02-14 00:22:15 +0100 | prolic | (~prolic@181.122.131.227) (Remote host closed the connection) |
| 2022-02-14 00:22:33 +0100 | prolic | (~prolic@181.122.131.227) |
| 2022-02-14 00:26:46 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-02-14 00:27:28 +0100 | acidjnk | (~acidjnk@p200300d0c70575217cad9542db460749.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-14 00:29:02 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 00:31:07 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-14 00:33:21 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-02-14 00:35:48 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-14 00:37:02 +0100 | pavonia_ | (~user@user/siracusa) |
| 2022-02-14 00:37:12 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 00:37:27 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-02-14 00:37:58 +0100 | Hash | (~Hash@hashsecurity.org) (Remote host closed the connection) |
| 2022-02-14 00:38:02 +0100 | xsperry | (~xs@user/xsperry) (Killed (NickServ (GHOST command used by fuukk!~xs@cpe-188-129-71-242.dynamic.amis.hr))) |
| 2022-02-14 00:38:10 +0100 | xsperry | (~xs@user/xsperry) |
| 2022-02-14 00:38:18 +0100 | Hash | (~Hash@hashsecurity.org) |
| 2022-02-14 00:38:24 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 00:38:49 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-02-14 00:39:07 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 00:39:15 +0100 | nunggu | (~q@user/nunggu) (Ping timeout: 276 seconds) |
| 2022-02-14 00:39:23 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 256 seconds) |
| 2022-02-14 00:39:27 +0100 | pavonia_ | pavonia |
| 2022-02-14 00:39:35 +0100 | cherryblossom[m] | (~cherryblo@2001:470:69fc:105::b789) (Ping timeout: 250 seconds) |
| 2022-02-14 00:39:35 +0100 | Michal[m] | (~oomiguelm@2001:470:69fc:105::1:5ab0) (Ping timeout: 250 seconds) |
| 2022-02-14 00:40:01 +0100 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) (Ping timeout: 250 seconds) |
| 2022-02-14 00:40:01 +0100 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Ping timeout: 250 seconds) |
| 2022-02-14 00:40:01 +0100 | psydroid | (~psydroid@user/psydroid) (Ping timeout: 250 seconds) |
| 2022-02-14 00:40:01 +0100 | unclechu | (~unclechu@2001:470:69fc:105::354) (Ping timeout: 250 seconds) |
| 2022-02-14 00:40:01 +0100 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) (Ping timeout: 250 seconds) |
| 2022-02-14 00:40:01 +0100 | mahene[m] | (~mahenemat@2001:470:69fc:105::1:6a93) (Ping timeout: 250 seconds) |
| 2022-02-14 00:40:27 +0100 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 250 seconds) |
| 2022-02-14 00:40:46 +0100 | nunggu | (~q@user/nunggu) |
| 2022-02-14 00:40:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-02-14 00:43:55 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-02-14 00:43:56 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-14 00:44:49 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-02-14 00:47:14 +0100 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) |
| 2022-02-14 00:47:44 +0100 | psydroid | (~psydroid@user/psydroid) |
| 2022-02-14 00:49:24 +0100 | prolic | (~prolic@181.122.131.227) (Remote host closed the connection) |
| 2022-02-14 00:49:42 +0100 | prolic | (~prolic@181.122.131.227) |
| 2022-02-14 00:53:38 +0100 | cherryblossom[m] | (~cherryblo@2001:470:69fc:105::b789) |
| 2022-02-14 00:54:19 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 00:54:25 +0100 | Michal[m] | (~oomiguelm@2001:470:69fc:105::1:5ab0) |
| 2022-02-14 00:54:28 +0100 | emf | (~emf@2620:10d:c090:400::5:d01b) |
| 2022-02-14 00:54:32 +0100 | mahene[m] | (~mahenemat@2001:470:69fc:105::1:6a93) |
| 2022-02-14 00:54:38 +0100 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) |
| 2022-02-14 00:55:13 +0100 | <sshine> | are there any Stack executables for OpenBSD? it seems like https://get.haskellstack.org/ doesn't support OpenBSD. |
| 2022-02-14 00:56:46 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 00:56:49 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2022-02-14 00:56:51 +0100 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2022-02-14 00:57:26 +0100 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2022-02-14 00:58:26 +0100 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2022-02-14 00:58:35 +0100 | deadmarshal | (~deadmarsh@95.38.115.206) |
| 2022-02-14 01:01:13 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-14 01:03:47 +0100 | deadmarshal | (~deadmarsh@95.38.115.206) (Ping timeout: 272 seconds) |
| 2022-02-14 01:06:01 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2022-02-14 01:06:12 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-02-14 01:06:28 +0100 | califax | (~califax@user/califx) |
| 2022-02-14 01:07:36 +0100 | chenqisu1 | (~chenqisu1@183.217.200.249) |
| 2022-02-14 01:09:30 +0100 | fruitfly | (~fruitfly@host-79-121-41-174.kabelnet.hu) (Quit: Client closed) |
| 2022-02-14 01:11:58 +0100 | prolic | (~prolic@181.122.131.227) (Remote host closed the connection) |
| 2022-02-14 01:12:16 +0100 | prolic | (~prolic@181.122.131.227) |
| 2022-02-14 01:14:48 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 01:17:23 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-14 01:17:36 +0100 | <romesrf> | I'm getting "type variable not in scope" in the last line here https://paste.tomsmeding.com/rmGDpNER |
| 2022-02-14 01:17:36 +0100 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-02-14 01:17:55 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-02-14 01:17:55 +0100 | <romesrf> | But I have something very similar working, what am I doing wrong? :) |
| 2022-02-14 01:18:18 +0100 | <geekosaur> | you need ScopedTypeVariables *and* to "declare" the type variable with an explicit forall |
| 2022-02-14 01:18:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 2022-02-14 01:18:55 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 01:20:29 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-02-14 01:20:50 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-14 01:21:12 +0100 | <romesrf> | AH! It was the ScopedTypeVariables. Nothing in the error message hints at it. In the other module where I was doing this successfully I must have had it for some other reason |
| 2022-02-14 01:21:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 01:21:22 +0100 | <romesrf> | and coincidentally this worked without effort |
| 2022-02-14 01:21:40 +0100 | <romesrf> | Where could I suggest adding that bit to the error message? :) |
| 2022-02-14 01:22:04 +0100 | Topsi | (~Tobias@dyndsl-095-033-095-012.ewe-ip-backbone.de) |
| 2022-02-14 01:22:08 +0100 | <geekosaur> | ghc issue tracker |
| 2022-02-14 01:22:25 +0100 | <geekosaur> | I'm surprised it didn'talso require the forall, that seems inconsistent |
| 2022-02-14 01:24:34 +0100 | <jackdk> | geekosaur: is it possible that the type application is actually providing no information? The `h` being applied tells you what the `a` must be anyway, no? |
| 2022-02-14 01:24:53 +0100 | <jackdk> | (romesrf: does `serve Proxy h`typecheck?) |
| 2022-02-14 01:25:21 +0100 | <geekosaur> | no, Proxy needs a type |
| 2022-02-14 01:25:41 +0100 | <geekosaur> | data Proxy a = Proxy |
| 2022-02-14 01:26:12 +0100 | <geekosaur> | so either a type application or (Proxy :: Proxy type) |
| 2022-02-14 01:26:59 +0100 | <jackdk> | yeah I know that it's phantom, but because it's used in `serve :: HasServer api '[] => Proxy api -> Server api -> Application`, and you know `h :: Server a` from pattern-matching the `ChatBot`ctor, I would expect GHC to unify the type var on `Proxy` with the one in the function's type signature |
| 2022-02-14 01:28:14 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 01:29:06 +0100 | <geekosaur> | if it could do that, then Proxy wouldn't be necessary, would it? |
| 2022-02-14 01:29:06 +0100 | <romesrf> | geekosaur: oh it does require the forall, but i had already tried that without success |
| 2022-02-14 01:29:25 +0100 | <romesrf> | i readded the forall, but the key was ScopedTypedVariables |
| 2022-02-14 01:29:29 +0100 | <romesrf> | Type* |
| 2022-02-14 01:30:20 +0100 | <romesrf> | jackdk: it doesn't :) but looking at it high level i would expect it too |
| 2022-02-14 01:30:35 +0100 | <romesrf> | it just isn't that easy hahaha |
| 2022-02-14 01:34:04 +0100 | prolic | (~prolic@181.122.131.227) (Remote host closed the connection) |
| 2022-02-14 01:34:22 +0100 | prolic | (~prolic@181.122.131.227) |
| 2022-02-14 01:35:14 +0100 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) (Remote host closed the connection) |
| 2022-02-14 01:36:01 +0100 | <jackdk> | right, because ServerT is a noninjective type family |
| 2022-02-14 01:37:19 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 01:38:57 +0100 | jgeerds | (~jgeerds@55d4a547.access.ecotel.net) |
| 2022-02-14 01:39:06 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-02-14 01:39:36 +0100 | melonai | (~mel@rnrd.eu) |
| 2022-02-14 01:39:58 +0100 | <jackdk> | so `Server api ~ Server a` does not imply `api ~ a`. |
| 2022-02-14 01:40:03 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-02-14 01:42:11 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:a8cc:c7ff:6c11:4c2d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-14 01:42:11 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 01:42:25 +0100 | <Axman6> | "users" :> GET [User] and "API" :> "users" :> GET [User] would have the same Server isntance but not the same Server arguments |
| 2022-02-14 01:46:17 +0100 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) |
| 2022-02-14 01:46:20 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 252 seconds) |
| 2022-02-14 01:46:25 +0100 | <sshine> | $ cd stack && cabal install -v |
| 2022-02-14 01:46:34 +0100 | <sshine> | ... Failed to build stack-2.7.4 because it depends on stack-2.7.4 which itself |
| 2022-02-14 01:46:58 +0100 | <sshine> | somehow I'm not sure how this would ever succeed. |
| 2022-02-14 01:47:07 +0100 | <geekosaur> | that sounds wrong |
| 2022-02-14 01:47:44 +0100 | <sshine> | oh, haha |
| 2022-02-14 01:47:49 +0100 | <sshine> | ... which itself failed to build. |
| 2022-02-14 01:48:00 +0100 | <geekosaur> | lib target failed? |
| 2022-02-14 01:48:15 +0100 | <geekosaur> | the way exe vs. lib target is reported can sometimes be odd |
| 2022-02-14 01:48:41 +0100 | <sshine> | oh, shoot. running out of memory on this darn VPS again. |
| 2022-02-14 01:52:15 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Remote host closed the connection) |
| 2022-02-14 01:53:08 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-14 01:53:14 +0100 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2022-02-14 01:56:10 +0100 | prolic | (~prolic@181.122.131.227) (Remote host closed the connection) |
| 2022-02-14 01:56:27 +0100 | prolic | (~prolic@181.122.131.227) |
| 2022-02-14 01:56:31 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-02-14 01:56:57 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-14 01:58:29 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 02:02:17 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 02:02:58 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 02:04:00 +0100 | yauhsien | (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) |
| 2022-02-14 02:06:20 +0100 | mvk | (~mvk@2607:fea8:5cdc:bf00::99e7) |
| 2022-02-14 02:06:51 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 02:07:09 +0100 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-14 02:08:02 +0100 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2022-02-14 02:08:11 +0100 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2022-02-14 02:08:21 +0100 | yauhsien | (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-14 02:08:39 +0100 | jgeerds | (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2022-02-14 02:09:53 +0100 | <romesrf> | night everyone |
| 2022-02-14 02:10:04 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-02-14 02:11:29 +0100 | dolio | (~dolio@130.44.130.54) |
| 2022-02-14 02:16:38 +0100 | <sshine> | with 'cabal install', is it possible to add a package constraint on-the-fly to what's mentioned in a .cabal file? |
| 2022-02-14 02:17:12 +0100 | <sshine> | for now I just modified the .cabal file and added the package constraint (aeson < 2), but I wonder if I could add it to the command-line as an argument. |
| 2022-02-14 02:18:17 +0100 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 240 seconds) |
| 2022-02-14 02:19:30 +0100 | <int-e> | sshine: cabal install --constraint="aeson < 2" should do the trick |
| 2022-02-14 02:20:27 +0100 | joo-_ | (~joo-_@87-49-147-175-mobile.dk.customer.tdc.net) |
| 2022-02-14 02:20:27 +0100 | joo-_ | (~joo-_@87-49-147-175-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-02-14 02:20:27 +0100 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-02-14 02:20:37 +0100 | <sshine> | awesome, thx. |
| 2022-02-14 02:20:45 +0100 | <jackdk> | sshine: cabal.project.freeze files can keep constraints around also |
| 2022-02-14 02:21:02 +0100 | <geekosaur> | or cabal.project.local |
| 2022-02-14 02:21:41 +0100 | foul_owl | (~kerry@174-21-76-71.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 2022-02-14 02:21:44 +0100 | johnson- | (~bc8147f2@cerf.good1.com) |
| 2022-02-14 02:23:45 +0100 | <jackdk> | geekosaur: probably best, good point |
| 2022-02-14 02:24:26 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 02:26:29 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-14 02:27:55 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2022-02-14 02:28:27 +0100 | nunggu | (~q@user/nunggu) (Ping timeout: 276 seconds) |
| 2022-02-14 02:28:46 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 02:30:07 +0100 | nunggu | (~q@user/nunggu) |
| 2022-02-14 02:30:56 +0100 | <sshine> | ghc: panic! (the 'impossible' happened) (GHC version 8.10.6: heap overflow |
| 2022-02-14 02:31:50 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-14 02:31:50 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-14 02:31:50 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 02:31:57 +0100 | <sshine> | I'm thinking... I already added -M800m, so could it be that it heap overflowed because of this memory constraint? |
| 2022-02-14 02:32:02 +0100 | <Axman6> | Panic at the GHC! |
| 2022-02-14 02:34:56 +0100 | <jackdk> | is it possible to use Liquid Haskell to require a function argument be injective? I haven't played in this space before, but a colleague would like to write `reverseMap :: Ord b => (a -> b) -> [a] -> Maybe (Map b a)` without the `Maybe` |
| 2022-02-14 02:35:47 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7dab:1fa0:9cf6:a5de) |
| 2022-02-14 02:37:02 +0100 | ix | (~ix@213.205.242.104) (Ping timeout: 250 seconds) |
| 2022-02-14 02:37:26 +0100 | foul_owl | (~kerry@94.140.8.89) |
| 2022-02-14 02:38:57 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-14 02:39:38 +0100 | absentia | (~absentia@user/absentia) (Quit: WeeChat 3.4) |
| 2022-02-14 02:41:18 +0100 | prolic | (~prolic@181.122.131.227) (Remote host closed the connection) |
| 2022-02-14 02:41:38 +0100 | prolic | (~prolic@181.122.131.227) |
| 2022-02-14 02:44:52 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-14 02:44:53 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-14 02:44:53 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 02:45:34 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 02:47:44 +0100 | prolic | (~prolic@181.122.131.227) (Remote host closed the connection) |
| 2022-02-14 02:48:02 +0100 | prolic | (~prolic@181.122.131.227) |
| 2022-02-14 02:50:10 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-14 02:50:28 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 02:50:54 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 2022-02-14 02:52:22 +0100 | jleightcap | (~jleightca@user/jleightcap) |
| 2022-02-14 02:54:02 +0100 | prolic | (~prolic@181.122.131.227) (Remote host closed the connection) |
| 2022-02-14 02:54:21 +0100 | prolic | (~prolic@181.122.131.227) |
| 2022-02-14 03:00:51 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-14 03:01:37 +0100 | jao | (~jao@68.235.43.108) (Ping timeout: 240 seconds) |
| 2022-02-14 03:01:42 +0100 | <sm> | sshine: not saying it's 8.10.6 is at fault, but I'd use 8.10.7 to rule it out |
| 2022-02-14 03:03:06 +0100 | <sm> | and yes, you could try without/with a bigger -M. 800m doesn't sound enough to compile much |
| 2022-02-14 03:03:16 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-14 03:03:16 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-14 03:03:16 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 03:04:05 +0100 | jao | (~jao@static-68-235-44-10.cust.tzulo.com) |
| 2022-02-14 03:04:06 +0100 | <geekosaur> | if I understood the earlier discussion right, they're trying to fit it into a small vps |
| 2022-02-14 03:04:18 +0100 | <geekosaur> | may not have enough memory+swap for more heap |
| 2022-02-14 03:06:45 +0100 | johnson- | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-02-14 03:07:25 +0100 | vysn | (~vysn@user/vysn) |
| 2022-02-14 03:08:07 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 03:08:14 +0100 | xsperry | (~xs@user/xsperry) (Remote host closed the connection) |
| 2022-02-14 03:08:35 +0100 | califax- | (~califax@user/califx) |
| 2022-02-14 03:09:00 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-c0be-54b3-db2c-85e9.res6.spectrum.com) (Remote host closed the connection) |
| 2022-02-14 03:09:02 +0100 | xsperry | (~xs@user/xsperry) |
| 2022-02-14 03:10:31 +0100 | jleightcap | (~jleightca@user/jleightcap) (Quit: WeeChat 3.0) |
| 2022-02-14 03:10:47 +0100 | jleightcap | (~jleightca@73.61.8.75) |
| 2022-02-14 03:12:00 +0100 | califax | (~califax@user/califx) (Ping timeout: 276 seconds) |
| 2022-02-14 03:12:00 +0100 | califax- | califax |
| 2022-02-14 03:12:04 +0100 | <sshine> | sm, I might try with 8.10.7! and yes, geekosaur, there's a memory constraint. |
| 2022-02-14 03:13:07 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 03:14:08 +0100 | prolic | (~prolic@181.122.131.227) (Remote host closed the connection) |
| 2022-02-14 03:14:11 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-02-14 03:22:21 +0100 | Topsi | (~Tobias@dyndsl-095-033-095-012.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-02-14 03:23:13 +0100 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-02-14 03:26:37 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2022-02-14 03:27:26 +0100 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-02-14 03:28:17 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-02-14 03:28:57 +0100 | mvk | (~mvk@2607:fea8:5cdc:bf00::99e7) (Ping timeout: 240 seconds) |
| 2022-02-14 03:30:52 +0100 | ix | (~ix@213.205.242.104) |
| 2022-02-14 03:31:48 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 03:34:10 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2022-02-14 03:35:05 +0100 | Kaipi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-02-14 03:35:05 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 03:35:34 +0100 | Kaipi | (~Kaiepi@156.34.47.253) |
| 2022-02-14 03:42:37 +0100 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-02-14 03:45:20 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-02-14 03:51:29 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-02-14 03:53:25 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 03:54:48 +0100 | mbuf | (~Shakthi@223.178.90.64) |
| 2022-02-14 03:55:48 +0100 | jleightcap | (~jleightca@73.61.8.75) (Remote host closed the connection) |
| 2022-02-14 03:56:02 +0100 | jleightcap | (~jleightca@73.61.8.75) |
| 2022-02-14 03:56:07 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 03:57:12 +0100 | xff0x | (~xff0x@2001:1a81:5288:ea00:43ab:35e6:a5cd:7882) (Ping timeout: 250 seconds) |
| 2022-02-14 03:57:19 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-5c4e-92cc-80de-49d9.res6.spectrum.com) |
| 2022-02-14 03:57:30 +0100 | jleightcap | (~jleightca@73.61.8.75) (Client Quit) |
| 2022-02-14 03:57:43 +0100 | jespada | (~jespada@87.74.36.188) (Ping timeout: 256 seconds) |
| 2022-02-14 03:57:44 +0100 | jleightcap | (~jleightca@73.61.8.75) |
| 2022-02-14 03:58:55 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 03:59:01 +0100 | xff0x | (~xff0x@2001:1a81:52c4:8c00:1680:ae3c:6c22:79cc) |
| 2022-02-14 04:02:42 +0100 | jespada | (~jespada@90.254.246.194) |
| 2022-02-14 04:04:01 +0100 | lemonsni- | (~lemonsnic@86.4.248.115) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-14 04:07:53 +0100 | rembo10 | (~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-14 04:08:57 +0100 | rembo10 | (~rembo10@remulis.com) |
| 2022-02-14 04:10:51 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-5c4e-92cc-80de-49d9.res6.spectrum.com) (Remote host closed the connection) |
| 2022-02-14 04:10:52 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-14 04:11:13 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-02-14 04:12:25 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-02-14 04:12:45 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 04:15:14 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Read error: Connection reset by peer) |
| 2022-02-14 04:16:32 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 04:17:28 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 04:18:19 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-02-14 04:23:16 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-14 04:25:11 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-02-14 04:25:11 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-02-14 04:25:16 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 04:26:04 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 04:26:31 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-14 04:28:21 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-02-14 04:28:21 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-14 04:31:43 +0100 | td_ | (~td@94.134.91.109) (Ping timeout: 256 seconds) |
| 2022-02-14 04:32:08 +0100 | cjb | (~cjb@user/cjb) (Ping timeout: 260 seconds) |
| 2022-02-14 04:33:11 +0100 | td_ | (~td@muedsl-82-207-238-184.citykom.de) |
| 2022-02-14 04:33:54 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-14 04:33:54 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 04:33:54 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-14 04:33:54 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 04:36:33 +0100 | jleightcap | (~jleightca@73.61.8.75) (Quit: WeeChat 3.0) |
| 2022-02-14 04:36:46 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-14 04:36:46 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-02-14 04:36:46 +0100 | finn_elija | FinnElija |
| 2022-02-14 04:36:48 +0100 | jleightcap | (~jleightca@73.61.8.75) |
| 2022-02-14 04:38:21 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-02-14 04:40:20 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-02-14 04:40:50 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2022-02-14 04:41:15 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 04:41:30 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 04:41:54 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-14 04:42:36 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-02-14 04:43:07 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 04:52:52 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-14 04:54:15 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-02-14 04:56:20 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 04:57:04 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-14 04:58:05 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-14 04:59:52 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 05:00:00 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2022-02-14 05:01:10 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2022-02-14 05:01:17 +0100 | foul_owl | (~kerry@94.140.8.89) (Ping timeout: 240 seconds) |
| 2022-02-14 05:01:45 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2022-02-14 05:02:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 05:04:21 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 05:04:59 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-14 05:06:17 +0100 | srk_ | (~sorki@user/srk) |
| 2022-02-14 05:06:52 +0100 | srk| | (~sorki@user/srk) |
| 2022-02-14 05:09:17 +0100 | srk | (~sorki@user/srk) (Ping timeout: 240 seconds) |
| 2022-02-14 05:09:35 +0100 | srk| | srk |
| 2022-02-14 05:10:25 +0100 | srk_ | (~sorki@user/srk) (Ping timeout: 250 seconds) |
| 2022-02-14 05:13:05 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:c9f2:b4e0:2bd7:fbaf) (Remote host closed the connection) |
| 2022-02-14 05:14:47 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-02-14 05:15:47 +0100 | <ProfSimm> | If we use the state monad to pass the entire state in and out of every 'statement', don't we force execution to be strictly linear. What would the state monad look like if each function can declare which parts of a state it wants |
| 2022-02-14 05:17:07 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Quit: Leaving) |
| 2022-02-14 05:18:35 +0100 | srk_ | (~sorki@user/srk) |
| 2022-02-14 05:20:46 +0100 | foul_owl | (~kerry@217.114.38.246) |
| 2022-02-14 05:22:07 +0100 | srk | (~sorki@user/srk) (Ping timeout: 250 seconds) |
| 2022-02-14 05:22:07 +0100 | srk_ | srk |
| 2022-02-14 05:22:16 +0100 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-14 05:22:22 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 05:24:35 +0100 | <mstksg> | ProfSimm: there's the lazy state monad which can sort of flout that linearity |
| 2022-02-14 05:24:49 +0100 | mstksg | jle` |
| 2022-02-14 05:25:26 +0100 | <jle`> | but data dependency becomes driven by evaluation + laziness, which makes it a bit magical |
| 2022-02-14 05:25:40 +0100 | <jle`> | instead of explicitly talking about what parts you want, like what you mention |
| 2022-02-14 05:26:15 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 05:26:35 +0100 | <ProfSimm> | jle`: apperance of magic is more than fine, if there's solid approach behind it |
| 2022-02-14 05:26:52 +0100 | <ProfSimm> | jle`: how does it figure out what I want. |
| 2022-02-14 05:27:15 +0100 | ix | (~ix@213.205.242.104) (Ping timeout: 272 seconds) |
| 2022-02-14 05:27:29 +0100 | <jle`> | the same way laziness works in let bindings, essentially |
| 2022-02-14 05:27:33 +0100 | <ProfSimm> | jle`: it can collect what I touched in the input and maybe what I changed in the output, but to do this it needs to run first |
| 2022-02-14 05:27:35 +0100 | <jle`> | since it's all fancy let bindings underneath |
| 2022-02-14 05:28:27 +0100 | ix | (~ix@213.205.242.108) |
| 2022-02-14 05:28:29 +0100 | <jle`> | the typical example is something like sequencing infinite actions, which is ok as long as you don't touch the part of the state that those actions touch afterwards |
| 2022-02-14 05:31:58 +0100 | <jle`> | hm, actually my example isn't quite right, the whole is still synced with the parts in an annoying way |
| 2022-02-14 05:32:15 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d449-2685-1032-d72e.res6.spectrum.com) |
| 2022-02-14 05:32:40 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-02-14 05:34:34 +0100 | <ProfSimm> | Would you say it's correct to say in Haskell everything is a function |
| 2022-02-14 05:34:38 +0100 | <ProfSimm> | Like values are also a function |
| 2022-02-14 05:34:40 +0100 | <ProfSimm> | Everything is |
| 2022-02-14 05:34:51 +0100 | pavonia_ | (~user@user/siracusa) |
| 2022-02-14 05:35:14 +0100 | <dolio> | No. |
| 2022-02-14 05:35:18 +0100 | <ProfSimm> | Oh? |
| 2022-02-14 05:36:45 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 272 seconds) |
| 2022-02-14 05:36:46 +0100 | pavonia_ | pavonia |
| 2022-02-14 05:37:49 +0100 | <dolio> | Lists, integers, .... Lots of things aren't functions. |
| 2022-02-14 05:38:34 +0100 | <ProfSimm> | dolio: well conceptually can't they be? |
| 2022-02-14 05:38:43 +0100 | <ProfSimm> | dolio: church ancoding and what not |
| 2022-02-14 05:38:47 +0100 | <ProfSimm> | encoding* |
| 2022-02-14 05:38:57 +0100 | <ski> | all functions take exactly one parameter |
| 2022-02-14 05:39:14 +0100 | <ski> | (dunno what Church has to do with it) |
| 2022-02-14 05:39:16 +0100 | <dolio> | They aren't, though. |
| 2022-02-14 05:39:28 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
| 2022-02-14 05:40:30 +0100 | pavonia_ | (~user@user/siracusa) |
| 2022-02-14 05:41:49 +0100 | pavonia__ | (~user@user/siracusa) |
| 2022-02-14 05:42:25 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 05:42:27 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 272 seconds) |
| 2022-02-14 05:43:02 +0100 | <ProfSimm> | ski: well you probably know how church booleans work |
| 2022-02-14 05:43:08 +0100 | pavonia__ | pavonia |
| 2022-02-14 05:44:12 +0100 | <ski> | yes. but that doesn't mean values of type `Bool' are functions |
| 2022-02-14 05:44:48 +0100 | <monochrom> | If you are looking for an oversimplification slogan, here is mine: In Haskell, everything is interesting. |
| 2022-02-14 05:45:02 +0100 | <ProfSimm> | interesting to me means complex |
| 2022-02-14 05:45:08 +0100 | <ProfSimm> | I want everything to be boring |
| 2022-02-14 05:45:09 +0100 | <Inst[m]> | agleed |
| 2022-02-14 05:45:31 +0100 | pavonia_ | (~user@user/siracusa) (Ping timeout: 250 seconds) |
| 2022-02-14 05:47:08 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 05:47:23 +0100 | <ProfSimm> | I use church encoding for things in my toy lang, so 5 > 6 encodes as (gt 5 6 then else) where then else is something you pass in to be returned for true and false |
| 2022-02-14 05:47:39 +0100 | <ProfSimm> | Boolean values are a mistake |
| 2022-02-14 05:48:11 +0100 | <monochrom> | Soon you're going to extend that to: All values are a mistake. |
| 2022-02-14 05:48:12 +0100 | <jle`> | ProfSimm: everything is like a function but only if you distort the definition of function to the point where it's no longer useful |
| 2022-02-14 05:48:23 +0100 | <ProfSimm> | monochrom: preach the truth |
| 2022-02-14 05:48:25 +0100 | <jle`> | specifically in Haskell, "function" has a specific technical definition |
| 2022-02-14 05:48:35 +0100 | <jle`> | and there are many non-function values in haskell |
| 2022-02-14 05:48:56 +0100 | <jle`> | so if you're asking about haskell in specific, the answer is no if you're talking about haskell functions |
| 2022-02-14 05:49:08 +0100 | <ski> | functions have a type that looks like `... -> ...'. if the type doesn't look like that, it's not a function |
| 2022-02-14 05:49:24 +0100 | <ProfSimm> | Is there an attempt to make a Haskell dialect where evaluating a function causes it to modify itself, as a way to achieve controlled mutability |
| 2022-02-14 05:49:41 +0100 | <ski> | modify, how ? |
| 2022-02-14 05:50:00 +0100 | <ProfSimm> | ski: f(arg) = (f', result) |
| 2022-02-14 05:50:08 +0100 | <ProfSimm> | ski: where f' becomes the function |
| 2022-02-14 05:50:09 +0100 | <monochrom> | Lazy evaluation does that. |
| 2022-02-14 05:50:30 +0100 | <ski> | maybe you'd like stream processors ? |
| 2022-02-14 05:50:34 +0100 | <ProfSimm> | ski: so technically every time you call it the result may differ |
| 2022-02-14 05:50:43 +0100 | <ProfSimm> | ski: how do streams work in Haskell |
| 2022-02-14 05:50:52 +0100 | <ski> | sounds a bit impractical, to me |
| 2022-02-14 05:51:01 +0100 | <ProfSimm> | ski: maybe |
| 2022-02-14 05:51:04 +0100 | <jle`> | ProfSimm: how does that work for something like (f x, f y) |
| 2022-02-14 05:51:09 +0100 | <jle`> | where evaluation order is undefined |
| 2022-02-14 05:51:26 +0100 | <jle`> | or f x might never even be evaluated |
| 2022-02-14 05:51:34 +0100 | <jle`> | snd (f x, f y) |
| 2022-02-14 05:51:38 +0100 | <ProfSimm> | jle`: I guess we need the order |
| 2022-02-14 05:51:53 +0100 | <jle`> | you mean, we need a language where evaluation order is defined? |
| 2022-02-14 05:52:46 +0100 | <ProfSimm> | What about partial order that ensures causality order for invoking the same function, but otherwise remains arbitrary |
| 2022-02-14 05:52:46 +0100 | <ski> | newtype SSP a b = MkSSP (a -> (b,SSP a b)) -- a synchronous stream processor produces a new one, when receiving an input and producing an output |
| 2022-02-14 05:53:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 05:53:40 +0100 | <ProfSimm> | ski: so the primary distinction here is that the processor is just returned, not reassigned back |
| 2022-02-14 05:54:01 +0100 | <jle`> | ProfSimm: how does something like snd (f x, f y) turn out? |
| 2022-02-14 05:54:01 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-14 05:54:45 +0100 | <ProfSimm> | jle`: parsing the expression, seeing they have shared dependency, and evaluating them left to right. Otherwise, order remains undefined |
| 2022-02-14 05:55:17 +0100 | <ski> | "seeing they have shared dependency" -- how does that work ? |
| 2022-02-14 05:55:30 +0100 | <ProfSimm> | ski: referring to the same symbol |
| 2022-02-14 05:55:39 +0100 | <jle`> | i think you def ened to have explicit sequencing for this to be usable, and code readable really |
| 2022-02-14 05:55:52 +0100 | <ski> | what if we replace `f x' with `g x', where, in some other module, we have a definition `g = f' ? |
| 2022-02-14 05:56:17 +0100 | <ProfSimm> | ski: we remove references for mutable state |
| 2022-02-14 05:56:24 +0100 | <ProfSimm> | ski: it's in one place only |
| 2022-02-14 05:56:31 +0100 | <ProfSimm> | ski: immutable refs stay |
| 2022-02-14 05:56:38 +0100 | <ski> | (or, say `f' and `g' are run-time parameters, and some callers will pass the same function for them, while some won't) |
| 2022-02-14 05:57:03 +0100 | phma_ | (~phma@host-67-44-209-104.hnremote.net) |
| 2022-02-14 05:57:49 +0100 | <ProfSimm> | ski: same solution |
| 2022-02-14 05:57:50 +0100 | jleightcap | (~jleightca@73.61.8.75) (Quit: WeeChat 3.0) |
| 2022-02-14 05:58:12 +0100 | <jle`> | if we're talking about a separate language where evaluation order is explicit (like ocaml or idris) then this could make sense |
| 2022-02-14 05:58:16 +0100 | <ProfSimm> | ski: basically we can keep all existing semantics and add mutability with move only semantics on top of it |
| 2022-02-14 05:58:35 +0100 | <ski> | i didn't understand your first solution, in the first place |
| 2022-02-14 05:58:38 +0100 | <jle`> | but tacking it on top of a language with non-strict semantics seems like an easy way to break expectations |
| 2022-02-14 05:58:59 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-14 05:58:59 +0100 | <ProfSimm> | ski: you can't have g = f, because f can exist only in one place. It's g or it's f, not both |
| 2022-02-14 05:59:01 +0100 | <ski> | ("we remove references for mutable state","it's in one place only","immutable refs stay" -- no idea what this means) |
| 2022-02-14 05:59:24 +0100 | <ProfSimm> | Linear types |
| 2022-02-14 05:59:28 +0100 | <ski> | are you saying `f' can only be called once ? |
| 2022-02-14 05:59:37 +0100 | phma | (phma@2001:5b0:215a:a4e8:1976:ce9f:8bfa:70aa) (Ping timeout: 256 seconds) |
| 2022-02-14 05:59:49 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-14 05:59:51 +0100 | chenqisu1 | (~chenqisu1@183.217.200.249) (Ping timeout: 256 seconds) |
| 2022-02-14 05:59:57 +0100 | <ProfSimm> | ski: yes, because after that you're calling f' |
| 2022-02-14 06:00:07 +0100 | foul_owl | (~kerry@217.114.38.246) (Ping timeout: 256 seconds) |
| 2022-02-14 06:00:43 +0100 | <ProfSimm> | ski: basically we have mutabiilty where the only thing you can mutate is replace yourself |
| 2022-02-14 06:00:51 +0100 | <ProfSimm> | Might be interesting |
| 2022-02-14 06:00:56 +0100 | deadmarshal | (~deadmarsh@95.38.115.206) |
| 2022-02-14 06:01:06 +0100 | <ski> | so, you're saying one can't write (f x,f y) instead onemust write (f x,f' y) ? |
| 2022-02-14 06:01:20 +0100 | <ProfSimm> | ski: we reuse the identifier, but technically it's reassigned |
| 2022-02-14 06:01:58 +0100 | <ski> | "mutabiilty where the only thing you can mutate is replace yourself" -- still sounds like stream processors, to me .. |
| 2022-02-14 06:02:13 +0100 | <ProfSimm> | ski: sure |
| 2022-02-14 06:02:21 +0100 | <ProfSimm> | ski: it's how I started this. A stream |
| 2022-02-14 06:02:34 +0100 | <dolio> | It's called lazy evaluation. :þ |
| 2022-02-14 06:02:35 +0100 | <ProfSimm> | ski: but the stream can't overwrite itself |
| 2022-02-14 06:02:42 +0100 | <ProfSimm> | ski: or can it |
| 2022-02-14 06:02:54 +0100 | <jle`> | not implicitly |
| 2022-02-14 06:02:54 +0100 | ski | has no idea what that means |
| 2022-02-14 06:02:56 +0100 | <jle`> | explicitly |
| 2022-02-14 06:03:35 +0100 | Kaipi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-02-14 06:03:37 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-02-14 06:04:09 +0100 | Kaipi | (~Kaiepi@156.34.47.253) |
| 2022-02-14 06:04:49 +0100 | <ski> | "we reuse the identifier, but technically it's reassigned" -- so why would `g = f' not be allowed, then ? we're just reusing the identifier, no ? |
| 2022-02-14 06:05:12 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 06:05:19 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 06:05:33 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 06:05:59 +0100 | <ProfSimm> | ski: when you type "f x", if is moved into the expression, calculated, and it returns two results. f' which is assigned back to f, and the function result, which is replaced in the expression |
| 2022-02-14 06:06:12 +0100 | <ProfSimm> | ski: so it's always move semantics, and consistent |
| 2022-02-14 06:06:31 +0100 | <ProfSimm> | ski: when you type g = f, you are moving either f to f or f to g |
| 2022-02-14 06:06:35 +0100 | <ProfSimm> | Can't be in both you didn't invoke it |
| 2022-02-14 06:06:45 +0100 | <ProfSimm> | Even if you did, it'd still be in one place |
| 2022-02-14 06:08:31 +0100 | <ski> | it still seems to me you're confusing implementation issues with language issues |
| 2022-02-14 06:08:32 +0100 | <ProfSimm> | ski: I don't know why but I keep imagining it as some sort of Feynman diagram |
| 2022-02-14 06:09:10 +0100 | <ProfSimm> | ski: you hit the function with an argument, it splits in two and each part is a replacement. One of the binding, the other for the expression |
| 2022-02-14 06:09:18 +0100 | <ski> | "f' which is assigned back to f" -- do you ever write this f' in source code, in the language ? |
| 2022-02-14 06:09:48 +0100 | <ProfSimm> | ski: no |
| 2022-02-14 06:09:57 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-02-14 06:09:59 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 06:10:12 +0100 | <ProfSimm> | ski: I'm just trying to say f reproduced itself as a modified version of itself f' |
| 2022-02-14 06:10:20 +0100 | <ProfSimm> | which becomes f |
| 2022-02-14 06:10:48 +0100 | <ProfSimm> | ski: pure functions (classic Haskell) would reproduce themselves unmodified, so they emulate usual semantics |
| 2022-02-14 06:11:27 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-14 06:11:48 +0100 | <ProfSimm> | ski: we can actually define it like so. No arguments calls the function. If it's a pure function it returns a copy of itself, so g = f works as expected. |
| 2022-02-14 06:12:06 +0100 | <ProfSimm> | ski: if it's not a pure function, it throws. You need to use a move operator. |
| 2022-02-14 06:13:00 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-14 06:13:11 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-14 06:15:14 +0100 | foul_owl | (~kerry@207.244.125.36) |
| 2022-02-14 06:16:24 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-02-14 06:17:57 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 06:20:27 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 06:20:43 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 06:21:43 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-02-14 06:22:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2022-02-14 06:23:18 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-14 06:24:29 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 06:25:31 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 06:26:07 +0100 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2022-02-14 06:26:20 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 06:26:26 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 06:27:16 +0100 | modnar | (~modnar@shell.sonic.net) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-14 06:29:36 +0100 | modnar | (~modnar@shell.sonic.net) |
| 2022-02-14 06:29:36 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 06:29:59 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 06:30:42 +0100 | rusrushal13 | (~rusrushal@103.85.18.34) |
| 2022-02-14 06:33:10 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 06:35:24 +0100 | modnar | (~modnar@shell.sonic.net) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-14 06:35:54 +0100 | jleightcap1 | (~jleightca@73.61.8.75) |
| 2022-02-14 06:37:31 +0100 | modnar | (~modnar@shell.sonic.net) |
| 2022-02-14 06:37:37 +0100 | phma_ | phma |
| 2022-02-14 06:40:21 +0100 | jao | (~jao@static-68-235-44-10.cust.tzulo.com) (Ping timeout: 256 seconds) |
| 2022-02-14 06:46:21 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 06:51:46 +0100 | Boarders_ | (sid425905@id-425905.lymington.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | saolsen | (sid26430@id-26430.lymington.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | enemeth79 | (sid309041@id-309041.lymington.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | bjs | (sid190364@user/bjs) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | mrianbloom | (sid350277@id-350277.ilkley.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | acertain | (sid470584@id-470584.hampstead.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | chessai | (sid225296@id-225296.lymington.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | hongminhee | (sid295@id-295.tinside.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | glguy | (x@libera/staff/glguy) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | tubogram4 | (~tubogram@user/tubogram) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | jleightcap1 | (~jleightca@73.61.8.75) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | td_ | (~td@muedsl-82-207-238-184.citykom.de) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | dolio | (~dolio@130.44.130.54) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | juhp | (~juhp@128.106.188.82) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | Sgeo | (~Sgeo@user/sgeo) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | zaquest | (~notzaques@5.130.79.72) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | qwedfg | (~qwedfg@user/qwedfg) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | hueso | (~root@user/hueso) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | dcoutts | (~duncan@host109-149-1-225.range109-149.btcentralplus.com) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | anderson | (~ande@user/anderson) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | ubert | (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | wolfshappen | (~waff@irc.furworks.de) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | shriekingnoise | (~shrieking@201.231.16.156) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | marquis_andras | (~marquis_a@124.170.163.166) (*.net *.split) |
| 2022-02-14 06:51:46 +0100 | MasseR4 | (~MasseR@51.15.143.128) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | stilgart | (~Christoph@chezlefab.net) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | ishutin | (~ishutin@193-110-63-21.cable-modem.hdsnet.hu) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | shachaf | (~shachaf@user/shachaf) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | maerwald | (~maerwald@user/maerwald) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | aria | (sid380617@lymington.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | ncopa | (~ncopa@alpine/developer/ncopa) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | russruss | (~russruss@my.russellmcc.com) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | robertm | (~robertm@lattice.rojoma.com) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | swistak | (~swistak@185.21.216.141) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | stvc | (~stvc@192.241.166.39) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | cls | (~cls@chalk.lubutu.com) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | kmein | (~weechat@user/kmein) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | statusfailed | (~statusfai@statusfailed.com) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | canta | (~canta@user/canta) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | dminuoso | (~dminuoso@user/dminuoso) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | juri_ | (~juri@178.63.35.222) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | tolt | (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | mmaruseacph2 | (~mihai@198.199.100.72) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | andjjj23_ | (~irc@107.170.228.47) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | neverwas | (jpneverwas@swissbox.unperson.link) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | n3t | (n3t@user/n3t) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | loonycyborg | (~loonycybo@wesnoth/developer/loonycyborg) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | carter | (sid14827@helmsley.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | TMA | (~tma@twin.jikos.cz) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | hubvu_ | (sid495858@tinside.irccloud.com) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | jtmar | (~james@jtmar.me) (*.net *.split) |
| 2022-02-14 06:51:47 +0100 | kawpuh | (~kawpuh@66.42.81.80) (*.net *.split) |
| 2022-02-14 06:51:59 +0100 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) |
| 2022-02-14 06:52:02 +0100 | enemeth79 | (sid309041@id-309041.lymington.irccloud.com) |
| 2022-02-14 06:52:06 +0100 | saolsen | (sid26430@id-26430.lymington.irccloud.com) |
| 2022-02-14 06:52:11 +0100 | Boarders_ | (sid425905@id-425905.lymington.irccloud.com) |
| 2022-02-14 06:52:12 +0100 | cbarrett | (sid192934@2a03:5180:f:1::2:f1a6) |
| 2022-02-14 06:52:19 +0100 | chessai | (sid225296@id-225296.lymington.irccloud.com) |
| 2022-02-14 06:52:22 +0100 | hongminhee | (sid295@2a03:5180:f::127) |
| 2022-02-14 06:52:22 +0100 | bjs | (sid190364@user/bjs) |
| 2022-02-14 06:52:25 +0100 | jleightcap1 | (~jleightca@73.61.8.75) |
| 2022-02-14 06:52:25 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-14 06:52:25 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-14 06:52:25 +0100 | td_ | (~td@muedsl-82-207-238-184.citykom.de) |
| 2022-02-14 06:52:25 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-02-14 06:52:25 +0100 | dolio | (~dolio@130.44.130.54) |
| 2022-02-14 06:52:25 +0100 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) |
| 2022-02-14 06:52:25 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-02-14 06:52:25 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-14 06:52:25 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-02-14 06:52:25 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-02-14 06:52:25 +0100 | cross | (~cross@spitfire.i.gajendra.net) |
| 2022-02-14 06:52:25 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2022-02-14 06:52:25 +0100 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-02-14 06:52:25 +0100 | hueso | (~root@user/hueso) |
| 2022-02-14 06:52:25 +0100 | dcoutts | (~duncan@host109-149-1-225.range109-149.btcentralplus.com) |
| 2022-02-14 06:52:25 +0100 | anderson | (~ande@user/anderson) |
| 2022-02-14 06:52:25 +0100 | ubert | (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) |
| 2022-02-14 06:52:25 +0100 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-02-14 06:52:25 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2022-02-14 06:52:25 +0100 | tubogram4 | (~tubogram@user/tubogram) |
| 2022-02-14 06:52:25 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-02-14 06:52:25 +0100 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-02-14 06:52:25 +0100 | marquis_andras | (~marquis_a@124.170.163.166) |
| 2022-02-14 06:52:25 +0100 | MasseR4 | (~MasseR@51.15.143.128) |
| 2022-02-14 06:52:25 +0100 | stilgart | (~Christoph@chezlefab.net) |
| 2022-02-14 06:52:25 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2022-02-14 06:52:25 +0100 | kawpuh | (~kawpuh@66.42.81.80) |
| 2022-02-14 06:52:25 +0100 | jtmar | (~james@jtmar.me) |
| 2022-02-14 06:52:25 +0100 | hubvu_ | (sid495858@tinside.irccloud.com) |
| 2022-02-14 06:52:25 +0100 | TMA | (~tma@twin.jikos.cz) |
| 2022-02-14 06:52:25 +0100 | carter | (sid14827@helmsley.irccloud.com) |
| 2022-02-14 06:52:25 +0100 | loonycyborg | (~loonycybo@wesnoth/developer/loonycyborg) |
| 2022-02-14 06:52:25 +0100 | n3t | (n3t@user/n3t) |
| 2022-02-14 06:52:25 +0100 | neverwas | (jpneverwas@swissbox.unperson.link) |
| 2022-02-14 06:52:25 +0100 | andjjj23_ | (~irc@107.170.228.47) |
| 2022-02-14 06:52:25 +0100 | meejah | (~meejah@rutas.meejah.ca) |
| 2022-02-14 06:52:25 +0100 | mmaruseacph2 | (~mihai@198.199.100.72) |
| 2022-02-14 06:52:25 +0100 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2022-02-14 06:52:25 +0100 | juri_ | (~juri@178.63.35.222) |
| 2022-02-14 06:52:25 +0100 | dminuoso | (~dminuoso@user/dminuoso) |
| 2022-02-14 06:52:25 +0100 | canta | (~canta@user/canta) |
| 2022-02-14 06:52:25 +0100 | statusfailed | (~statusfai@statusfailed.com) |
| 2022-02-14 06:52:25 +0100 | c_wraith | (~c_wraith@adjoint.us) |
| 2022-02-14 06:52:25 +0100 | kmein | (~weechat@user/kmein) |
| 2022-02-14 06:52:25 +0100 | cls | (~cls@chalk.lubutu.com) |
| 2022-02-14 06:52:25 +0100 | calcium.libera.chat | +o Axman6 |
| 2022-02-14 06:52:25 +0100 | stvc | (~stvc@192.241.166.39) |
| 2022-02-14 06:52:25 +0100 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-02-14 06:52:25 +0100 | swistak | (~swistak@185.21.216.141) |
| 2022-02-14 06:52:25 +0100 | robertm | (~robertm@lattice.rojoma.com) |
| 2022-02-14 06:52:25 +0100 | russruss | (~russruss@my.russellmcc.com) |
| 2022-02-14 06:52:25 +0100 | ncopa | (~ncopa@alpine/developer/ncopa) |
| 2022-02-14 06:52:25 +0100 | aria | (sid380617@lymington.irccloud.com) |
| 2022-02-14 06:52:25 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2022-02-14 06:52:25 +0100 | maerwald | (~maerwald@user/maerwald) |
| 2022-02-14 06:52:25 +0100 | shachaf | (~shachaf@user/shachaf) |
| 2022-02-14 06:52:25 +0100 | Philonous | (~Philonous@user/philonous) |
| 2022-02-14 06:52:25 +0100 | ishutin | (~ishutin@193-110-63-21.cable-modem.hdsnet.hu) |
| 2022-02-14 06:52:25 +0100 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2022-02-14 06:52:25 +0100 | glguy | (x@libera/staff/glguy) |
| 2022-02-14 06:52:34 +0100 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) |
| 2022-02-14 06:52:39 +0100 | tapas | (sid467876@id-467876.ilkley.irccloud.com) |
| 2022-02-14 06:52:41 +0100 | sclv | (sid39734@haskell/developer/sclv) |
| 2022-02-14 06:52:49 +0100 | acertain | (sid470584@2a03:5180:f:4::7:2e38) |
| 2022-02-14 06:52:52 +0100 | mrianbloom | (sid350277@2a03:5180:f:3::5:5845) |
| 2022-02-14 06:53:06 +0100 | JSharp | (sid4580@2a03:5180:f:2::11e4) |
| 2022-02-14 06:55:03 +0100 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (*.net *.split) |
| 2022-02-14 06:55:03 +0100 | adium | (adium@user/adium) (*.net *.split) |
| 2022-02-14 06:55:03 +0100 | nckx | (~nckx@tobias.gr) (*.net *.split) |
| 2022-02-14 06:55:03 +0100 | edwtjo | (~edwtjo@user/edwtjo) (*.net *.split) |
| 2022-02-14 06:55:03 +0100 | Aleksejs | (~Aleksejs@haskell.lv) (*.net *.split) |
| 2022-02-14 06:55:11 +0100 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 2022-02-14 06:55:19 +0100 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) |
| 2022-02-14 06:55:19 +0100 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host) |
| 2022-02-14 06:55:19 +0100 | edwtjo | (~edwtjo@user/edwtjo) |
| 2022-02-14 06:55:38 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 06:56:46 +0100 | nckx | (~nckx@tobias.gr) |
| 2022-02-14 06:57:00 +0100 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-02-14 06:57:19 +0100 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-02-14 06:57:29 +0100 | adium | (adium@user/adium) |
| 2022-02-14 06:58:19 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-14 06:58:32 +0100 | <ProfSimm> | https://www.youtube.com/watch?v=5mxKEYzBAVk |
| 2022-02-14 06:58:43 +0100 | <ProfSimm> | "Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language (Haskell eXchange 2018)" |
| 2022-02-14 06:58:51 +0100 | <ProfSimm> | This is a bit like what I'm thinking about |
| 2022-02-14 06:58:58 +0100 | hololeap | (~hololeap@user/hololeap) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | califax | (~califax@user/califx) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | nunggu | (~q@user/nunggu) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | tiferrei2000 | (~tiferrei@user/tiferrei) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
| 2022-02-14 06:58:58 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 2022-02-14 06:58:59 +0100 | kanin | (~kanin@112.41.64.39) |
| 2022-02-14 06:59:41 +0100 | <ProfSimm> | ski: thoughts? ^ |
| 2022-02-14 07:00:19 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-14 07:00:19 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-02-14 07:00:19 +0100 | califax | (~califax@user/califx) |
| 2022-02-14 07:00:20 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-02-14 07:00:24 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) |
| 2022-02-14 07:00:26 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2022-02-14 07:00:26 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-14 07:00:30 +0100 | tiferrei | (~tiferrei@user/tiferrei) |
| 2022-02-14 07:00:30 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-02-14 07:00:33 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-14 07:00:40 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-02-14 07:00:40 +0100 | nunggu | (~q@user/nunggu) |
| 2022-02-14 07:01:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-14 07:01:17 +0100 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-02-14 07:03:57 +0100 | deadmarshal | (~deadmarsh@95.38.115.206) (Ping timeout: 250 seconds) |
| 2022-02-14 07:04:16 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-02-14 07:04:18 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-14 07:05:15 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 07:05:27 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 07:09:14 +0100 | rusrushal13 | (~rusrushal@103.85.18.34) (Quit: Client closed) |
| 2022-02-14 07:12:44 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 07:13:28 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-14 07:13:28 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 07:14:51 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 07:17:22 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 07:19:15 +0100 | jleightcap1 | (~jleightca@73.61.8.75) (Quit: WeeChat 3.0) |
| 2022-02-14 07:19:28 +0100 | jleightcap1 | (~jleightca@73.61.8.75) |
| 2022-02-14 07:21:10 +0100 | jleightcap1 | (~jleightca@73.61.8.75) (Client Quit) |
| 2022-02-14 07:21:24 +0100 | jleightcap1 | (~jleightca@73.61.8.75) |
| 2022-02-14 07:22:52 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-02-14 07:23:07 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 07:24:43 +0100 | jleightcap1 | (~jleightca@73.61.8.75) (Client Quit) |
| 2022-02-14 07:24:58 +0100 | jleightcap1 | (~jleightca@73.61.8.75) |
| 2022-02-14 07:25:27 +0100 | jleightcap1 | (~jleightca@73.61.8.75) (Client Quit) |
| 2022-02-14 07:30:09 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-14 07:32:15 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-02-14 07:32:32 +0100 | <ProfSimm> | https://www.youtube.com/watch?v=WZ_0FSGeq2s |
| 2022-02-14 07:32:41 +0100 | <ProfSimm> | "Haskell 2021 - Why Functional Programming with Linear Types Matters" |
| 2022-02-14 07:32:51 +0100 | <ProfSimm> | "Pizza delivery is not pizza duplication" |
| 2022-02-14 07:33:03 +0100 | kanin | (~kanin@112.41.64.39) (Ping timeout: 256 seconds) |
| 2022-02-14 07:33:40 +0100 | shapr` | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-14 07:33:40 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 07:35:17 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-02-14 07:38:14 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 07:40:53 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 07:41:49 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 07:42:19 +0100 | deadmarshal | (~deadmarsh@95.38.115.206) |
| 2022-02-14 07:44:10 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-02-14 07:54:10 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-02-14 07:56:26 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-14 07:56:57 +0100 | mrkajetanp | (~mrkajetan@88.98.245.28) (Ping timeout: 240 seconds) |
| 2022-02-14 07:57:08 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 07:57:30 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 08:00:21 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 08:03:03 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-14 08:03:27 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-14 08:04:47 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-14 08:06:40 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-14 08:09:10 +0100 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-02-14 08:09:29 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 08:09:38 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 08:11:10 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: leaving) |
| 2022-02-14 08:11:29 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-14 08:13:54 +0100 | michalz | (~michalz@185.246.204.89) |
| 2022-02-14 08:15:02 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 08:15:14 +0100 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |
| 2022-02-14 08:17:22 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 08:18:44 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 08:18:59 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 08:19:36 +0100 | shapr` | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-02-14 08:19:44 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-02-14 08:25:31 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2022-02-14 08:27:14 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 08:29:44 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 08:29:56 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 08:31:47 +0100 | kanin | (~kanin@112.41.64.39) |
| 2022-02-14 08:31:47 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 08:32:39 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 08:32:44 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-02-14 08:34:59 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-14 08:34:59 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-14 08:34:59 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 08:38:34 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-14 08:39:32 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9c11:561e:c86d:bf05) |
| 2022-02-14 08:40:25 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-14 08:42:19 +0100 | max22- | (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) |
| 2022-02-14 08:44:55 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 08:46:33 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 08:48:40 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-02-14 08:49:57 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-14 08:50:33 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 08:51:30 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 08:51:46 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-14 08:52:06 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 08:52:36 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2022-02-14 08:53:53 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 08:56:15 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-14 08:57:46 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-02-14 08:57:59 +0100 | kuribas | (~user@ptr-25vy0i9o6zfp0yko61a.18120a2.ip6.access.telenet.be) |
| 2022-02-14 08:58:50 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-02-14 08:59:01 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-14 08:59:50 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 09:02:12 +0100 | deadmarshal | (~deadmarsh@95.38.115.206) (Ping timeout: 240 seconds) |
| 2022-02-14 09:03:28 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 09:04:45 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-14 09:07:38 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-14 09:08:21 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 09:09:19 +0100 | <dminuoso> | Is there a formal or well-accepted name for a function with multiple definitions? |
| 2022-02-14 09:09:30 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-02-14 09:09:34 +0100 | <dminuoso> | i.e. `f <pat_1> = ...; f <pat_2> = ...` |
| 2022-02-14 09:09:53 +0100 | <dminuoso> | Perhaps even from mathematics? |
| 2022-02-14 09:10:24 +0100 | <Franciman> | «function defined by cases» |
| 2022-02-14 09:10:36 +0100 | <Franciman> | (?) |
| 2022-02-14 09:12:47 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 09:13:12 +0100 | <kuribas> | dminuoso: multivalued function? |
| 2022-02-14 09:13:29 +0100 | <Franciman> | one usually defines a multivalued function from X to Y |
| 2022-02-14 09:13:33 +0100 | <Franciman> | as a function from X to the powerset of Y |
| 2022-02-14 09:13:51 +0100 | <Franciman> | for some definition of «usually» lol |
| 2022-02-14 09:14:00 +0100 | briandaed | (~root@109.95.142.92.r.toneticgroup.pl) |
| 2022-02-14 09:14:11 +0100 | <kuribas> | if it's not multivalued it's just a function. |
| 2022-02-14 09:14:32 +0100 | max22- | (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-02-14 09:14:49 +0100 | <kuribas> | multiple cases is not multiple definitions. |
| 2022-02-14 09:15:03 +0100 | <kuribas> | it's one definition with multiple cases. |
| 2022-02-14 09:15:17 +0100 | <Franciman> | multiple values is not multiple definitions either |
| 2022-02-14 09:15:20 +0100 | max22- | (~maxime@2a01cb08833598004c8de2e630f51a33.ipv6.abo.wanadoo.fr) |
| 2022-02-14 09:15:31 +0100 | <Franciman> | so not sure |
| 2022-02-14 09:15:45 +0100 | <kuribas> | true |
| 2022-02-14 09:15:51 +0100 | rusrushal13 | (~rusrushal@103.85.18.34) |
| 2022-02-14 09:15:58 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-02-14 09:15:59 +0100 | <Franciman> | i tought `f <pat_1> = ...; f <pat_2> = ...` qualified as a single definition with multiple cases |
| 2022-02-14 09:16:12 +0100 | vysn | (~vysn@user/vysn) |
| 2022-02-14 09:16:43 +0100 | <Franciman> | ah another possibility is an overloaded function |
| 2022-02-14 09:16:55 +0100 | <Franciman> | if you have different definitions, for example like for (<>) in Data.Semigroup |
| 2022-02-14 09:17:16 +0100 | <dminuoso> | Mmm |
| 2022-02-14 09:17:52 +0100 | deadmarshal | (~deadmarsh@95.38.115.206) |
| 2022-02-14 09:17:52 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 09:18:03 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 09:18:09 +0100 | <[exa]> | dminuoso: in THIH these are called alternatives |
| 2022-02-14 09:18:51 +0100 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-02-14 09:21:08 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 09:21:09 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-14 09:21:36 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-02-14 09:22:07 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 09:25:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-14 09:26:30 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-02-14 09:27:02 +0100 | litharge | (litharge@libera/bot/litharge) (Quit: upgrade) |
| 2022-02-14 09:28:33 +0100 | litharge | (litharge@libera/bot/litharge) |
| 2022-02-14 09:29:29 +0100 | chele | (~chele@user/chele) |
| 2022-02-14 09:30:10 +0100 | cosimone | (~user@93-44-187-99.ip98.fastwebnet.it) |
| 2022-02-14 09:30:41 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 09:32:39 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-02-14 09:34:23 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 09:40:13 +0100 | alp | (~alp@user/alp) |
| 2022-02-14 09:41:37 +0100 | cosimone | (~user@93-44-187-99.ip98.fastwebnet.it) (Remote host closed the connection) |
| 2022-02-14 09:42:26 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-02-14 09:43:25 +0100 | acidjnk | (~acidjnk@p200300d0c705758148c438f13433725d.dip0.t-ipconnect.de) |
| 2022-02-14 09:44:02 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-14 09:44:40 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-02-14 09:45:38 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-14 09:46:48 +0100 | fendor | (~fendor@91.141.33.218.wireless.dyn.drei.com) |
| 2022-02-14 09:48:29 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-14 09:48:58 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-02-14 09:51:08 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 09:54:58 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 09:55:03 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:7887:96ce:d1f2:e42d) |
| 2022-02-14 09:56:21 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 09:56:23 +0100 | <lortabac> | dminuoso: I would call it a function with multiple equations |
| 2022-02-14 09:57:10 +0100 | <dminuoso> | lortabac: Ah I like that. |
| 2022-02-14 09:57:16 +0100 | <lortabac> | but it's just syntactic sugar for (potentially nested) case expressions, so whatever formal definitions you are looking for, maybe you should find it for case expressions |
| 2022-02-14 10:00:06 +0100 | jchia[m] | (~jchiamatr@2001:470:69fc:105::c50b) (Quit: You have been kicked for being idle) |
| 2022-02-14 10:00:08 +0100 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (Quit: You have been kicked for being idle) |
| 2022-02-14 10:00:08 +0100 | jesser[m] | (~jessermat@2001:470:69fc:105::d5ae) (Quit: You have been kicked for being idle) |
| 2022-02-14 10:01:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-14 10:06:44 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7dab:1fa0:9cf6:a5de) (Remote host closed the connection) |
| 2022-02-14 10:12:31 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 10:13:27 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 252 seconds) |
| 2022-02-14 10:13:44 +0100 | <ProfSimm> | Is there a short way to have an expression with a where clause inline for a lamdba |
| 2022-02-14 10:13:54 +0100 | <ProfSimm> | (expr where definitions) |
| 2022-02-14 10:14:13 +0100 | <lortabac> | ProfSimm: a let expression? |
| 2022-02-14 10:15:02 +0100 | <ProfSimm> | lortabac: why let? I want where |
| 2022-02-14 10:15:35 +0100 | <lortabac> | you can't have a where in a lambda, but you can have a let |
| 2022-02-14 10:15:44 +0100 | <lortabac> | (unless I misunderstood your question) |
| 2022-02-14 10:15:54 +0100 | <ProfSimm> | You understood it. thanks |
| 2022-02-14 10:16:01 +0100 | <ProfSimm> | Is there a reason for this limitatin |
| 2022-02-14 10:16:07 +0100 | <ProfSimm> | ion* |
| 2022-02-14 10:16:50 +0100 | <lortabac> | I don't know, maybe the syntax would be too complicated/ambiguous |
| 2022-02-14 10:17:00 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 10:18:55 +0100 | ix | (~ix@213.205.242.108) (Read error: Connection reset by peer) |
| 2022-02-14 10:19:14 +0100 | razetime | (~quassel@49.207.198.36) |
| 2022-02-14 10:19:40 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 10:21:09 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-02-14 10:22:25 +0100 | <dminuoso> | Well if you insist on a where clause, you can use `case () of _ -> ...; where <declaration-group>` |
| 2022-02-14 10:22:32 +0100 | <dminuoso> | i.e |
| 2022-02-14 10:22:58 +0100 | <dminuoso> | `\x -> case () of _ -> <expr>\n where <declaration-group>` |
| 2022-02-14 10:23:03 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-14 10:23:18 +0100 | <dminuoso> | A bit more idiomatic might using a named helper function (say `go`), then you have your where decl group |
| 2022-02-14 10:23:43 +0100 | <dminuoso> | i.e.`f x y = foldr go x y where go = ...; blah = ...;` |
| 2022-02-14 10:23:54 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2022-02-14 10:28:36 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-14 10:28:47 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 10:29:07 +0100 | nunggu_ | (~q@user/nunggu) |
| 2022-02-14 10:29:39 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-14 10:30:01 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 10:30:16 +0100 | nunggu | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-14 10:30:44 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2022-02-14 10:31:36 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-14 10:32:35 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-02-14 10:33:55 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 10:34:18 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-14 10:34:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-14 10:34:38 +0100 | <phma> | I'm trying to use tasty. I added a line "import Test.Tasty.HUnit", and similarly for QuickCheck and SmallCheck, as in the example, but got "Could not find module" errors for all of them. |
| 2022-02-14 10:37:04 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-02-14 10:37:09 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7dab:1fa0:9cf6:a5de) |
| 2022-02-14 10:37:45 +0100 | mrkajetanp | (~mrkajetan@88.98.245.28) |
| 2022-02-14 10:38:14 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 10:41:24 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7dab:1fa0:9cf6:a5de) (Ping timeout: 240 seconds) |
| 2022-02-14 10:42:31 +0100 | <[exa]> | phma: what command is generating the "Could not find module" error? I assume you're building with cabal right? |
| 2022-02-14 10:42:55 +0100 | <phma> | stack test |
| 2022-02-14 10:43:17 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-02-14 10:43:20 +0100 | <[exa]> | do you have tasty listed in dependencies? |
| 2022-02-14 10:43:48 +0100 | <phma> | build-depends: base, tasty |
| 2022-02-14 10:44:17 +0100 | <phma> | that's under "test-suite test" |
| 2022-02-14 10:45:08 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 10:45:27 +0100 | <[exa]> | ah yes, the HUnit compatibility requires `tasty-hunit-compat` package |
| 2022-02-14 10:45:39 +0100 | <[exa]> | you may check eg here: https://hoogle.haskell.org/?hoogle=Test.Tasty.HUnit |
| 2022-02-14 10:46:41 +0100 | olle | (~olle@i5E866D85.versanet.de) |
| 2022-02-14 10:47:07 +0100 | <[exa]> | (or maybe just tasty-hunit, I didnt really use it) |
| 2022-02-14 10:47:07 +0100 | bliminse | (~bliminse@host86-158-241-239.range86-158.btcentralplus.com) (Quit: leaving) |
| 2022-02-14 10:47:43 +0100 | <phma> | do I put that in build-depends or in an import statement? |
| 2022-02-14 10:48:07 +0100 | <[exa]> | in the test build depends |
| 2022-02-14 10:49:55 +0100 | <phma> | I still get the errors on SmallCheck and QuickCheck |
| 2022-02-14 10:51:47 +0100 | <phma> | added tasty-quickcheck to depends, compiling... |
| 2022-02-14 10:52:13 +0100 | <[exa]> | might need additional depends, yes. Using hoogle is likely the simplest way to see the package names you need to enable the required modules |
| 2022-02-14 10:52:25 +0100 | bliminse | (~bliminse@host86-158-241-239.range86-158.btcentralplus.com) |
| 2022-02-14 10:55:18 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 10:56:23 +0100 | ix | (~ix@2a02:8010:674f:0:a71f:d8ff:17eb:65ba) |
| 2022-02-14 10:58:06 +0100 | <phma> | I got an error in test.hs. Now to delete the sample tests and add my own. |
| 2022-02-14 10:58:52 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 11:00:49 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-14 11:04:16 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-14 11:05:42 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 11:09:15 +0100 | jgeerds | (~jgeerds@55d4a547.access.ecotel.net) |
| 2022-02-14 11:10:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-14 11:13:02 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 272 seconds) |
| 2022-02-14 11:13:32 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-14 11:13:38 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-14 11:15:32 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 11:15:49 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-14 11:15:50 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:bca1:a272:d62b:37ab) |
| 2022-02-14 11:17:48 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 252 seconds) |
| 2022-02-14 11:19:39 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-14 11:19:39 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 11:22:12 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-02-14 11:27:00 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:4084:84c5:95c2:a194) |
| 2022-02-14 11:27:16 +0100 | cstml | (~cstml@user/cstml) |
| 2022-02-14 11:27:59 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-02-14 11:28:43 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-14 11:29:21 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-02-14 11:31:08 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-14 11:37:51 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 11:40:55 +0100 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 272 seconds) |
| 2022-02-14 11:41:12 +0100 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 2022-02-14 11:41:37 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 11:41:41 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-02-14 11:44:00 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:bca1:a272:d62b:37ab) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-14 11:45:06 +0100 | mmhat | (~mmh@55d4de53.access.ecotel.net) |
| 2022-02-14 11:47:36 +0100 | razetime | (~quassel@49.207.198.36) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-02-14 11:51:52 +0100 | cstml | (~cstml@user/cstml) (Quit: Connection closed) |
| 2022-02-14 11:59:13 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 12:00:24 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-14 12:00:36 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:4084:84c5:95c2:a194) (Ping timeout: 240 seconds) |
| 2022-02-14 12:01:52 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-02-14 12:01:56 +0100 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-02-14 12:02:21 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-14 12:02:24 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-02-14 12:02:41 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 12:07:15 +0100 | Lycurgus | (~juan@98.4.112.204) |
| 2022-02-14 12:11:53 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:7887:96ce:d1f2:e42d) (Quit: Leaving) |
| 2022-02-14 12:13:32 +0100 | rusrushal13 | (~rusrushal@103.85.18.34) (Quit: Client closed) |
| 2022-02-14 12:19:29 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 12:22:42 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-02-14 12:23:11 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 12:23:55 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:4084:84c5:95c2:a194) |
| 2022-02-14 12:24:58 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-02-14 12:38:19 +0100 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2022-02-14 12:39:06 +0100 | forell | (~forell@user/forell) |
| 2022-02-14 12:39:44 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 12:44:13 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 12:44:42 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-14 12:45:01 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-14 12:48:41 +0100 | deadmarshal | (~deadmarsh@95.38.115.206) (Ping timeout: 272 seconds) |
| 2022-02-14 12:52:27 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-14 12:52:29 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-02-14 12:52:47 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-14 12:53:50 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 12:55:50 +0100 | vysn | (~vysn@user/vysn) |
| 2022-02-14 12:58:20 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-02-14 12:59:00 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-02-14 13:00:28 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-02-14 13:01:38 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-14 13:02:02 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 13:02:14 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-14 13:03:57 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-02-14 13:04:34 +0100 | alp | (~alp@user/alp) |
| 2022-02-14 13:04:46 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:bca1:a272:d62b:37ab) |
| 2022-02-14 13:04:55 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 13:06:13 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 13:08:09 +0100 | kayprish | (~kayprish@cable-24-135-254-227.dynamic.sbb.rs) |
| 2022-02-14 13:10:55 +0100 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) |
| 2022-02-14 13:14:24 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-02-14 13:16:24 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 13:19:42 +0100 | jgeerds | (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-02-14 13:24:35 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 13:24:44 +0100 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) (Quit: leaving) |
| 2022-02-14 13:25:57 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-02-14 13:26:24 +0100 | Lycurgus | (~juan@98.4.112.204) (Quit: Exeunt) |
| 2022-02-14 13:26:51 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 13:33:01 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-02-14 13:34:12 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 13:34:28 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-14 13:37:36 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-02-14 13:41:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-02-14 13:42:27 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 252 seconds) |
| 2022-02-14 13:50:36 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-02-14 13:50:44 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 13:50:49 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-02-14 13:51:18 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-14 13:53:07 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 13:54:06 +0100 | ardell | (~ardell@user/ardell) |
| 2022-02-14 14:01:21 +0100 | neurocyte0917090 | (~neurocyte@IP-213188126186.dynamic.medianet-world.de) |
| 2022-02-14 14:01:21 +0100 | neurocyte0917090 | (~neurocyte@IP-213188126186.dynamic.medianet-world.de) (Changing host) |
| 2022-02-14 14:01:21 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
| 2022-02-14 14:03:21 +0100 | kayprish | (~kayprish@cable-24-135-254-227.dynamic.sbb.rs) (Ping timeout: 252 seconds) |
| 2022-02-14 14:05:52 +0100 | shailangsa | (~shailangs@host86-186-127-164.range86-186.btcentralplus.com) () |
| 2022-02-14 14:10:06 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 14:13:39 +0100 | jao | (~jao@68.235.43.172) |
| 2022-02-14 14:13:39 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 14:13:50 +0100 | deadmarshal | (~deadmarsh@95.38.115.206) |
| 2022-02-14 14:18:09 +0100 | acidjnk | (~acidjnk@p200300d0c705758148c438f13433725d.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-14 14:23:03 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-02-14 14:24:48 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-14 14:30:20 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 14:33:11 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 14:36:26 +0100 | jm_jj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) |
| 2022-02-14 14:38:45 +0100 | acidjnk | (~acidjnk@p200300d0c705758148c438f13433725d.dip0.t-ipconnect.de) |
| 2022-02-14 14:38:59 +0100 | fendor_ | (~fendor@178.165.161.137.wireless.dyn.drei.com) |
| 2022-02-14 14:39:25 +0100 | jao | (~jao@68.235.43.172) (Ping timeout: 240 seconds) |
| 2022-02-14 14:39:41 +0100 | gaff | (~gaff@49.207.221.64) |
| 2022-02-14 14:40:26 +0100 | <gaff> | read "5\f\t\f\f\f" :: Int = 5, but readsPrec 0 "5\f\t\f\f\f" :: [(Int, String)] = [(5,"\f\t\f\f\f")]. how come? |
| 2022-02-14 14:41:18 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-02-14 14:42:03 +0100 | fendor | (~fendor@91.141.33.218.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2022-02-14 14:43:07 +0100 | olle | (~olle@i5E866D85.versanet.de) (Remote host closed the connection) |
| 2022-02-14 14:43:09 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-14 14:43:56 +0100 | <gaff> | read requires a perfect parse, so i am wondering how `read` works at all on this one. |
| 2022-02-14 14:46:30 +0100 | <merijn> | gaff: is \f whitespace? pretty sure read ignores trailing whitespace |
| 2022-02-14 14:46:41 +0100 | <gaff> | form feed |
| 2022-02-14 14:46:52 +0100 | <merijn> | > generalCategory '\f' |
| 2022-02-14 14:46:53 +0100 | <xsperry> | > read " 5 " :: Int |
| 2022-02-14 14:46:54 +0100 | <lambdabot> | Control |
| 2022-02-14 14:46:54 +0100 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-02-14 14:46:54 +0100 | <lambdabot> | 5 |
| 2022-02-14 14:47:00 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-14 14:47:13 +0100 | <gaff> | you can try with '\n', the result is same |
| 2022-02-14 14:47:42 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-02-14 14:48:07 +0100 | <gaff> | ah, i understood. it is just treating it as white space |
| 2022-02-14 14:48:15 +0100 | <gaff> | thank you much |
| 2022-02-14 14:49:04 +0100 | <gaff> | read also ignores leading white space |
| 2022-02-14 14:49:28 +0100 | <gaff> | so if you have those characters in front of 5, the result is same. |
| 2022-02-14 14:49:40 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 14:50:24 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-02-14 14:50:38 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-14 14:51:46 +0100 | gaff | (~gaff@49.207.221.64) () |
| 2022-02-14 14:52:13 +0100 | shailangsa | (~shailangs@host86-186-127-164.range86-186.btcentralplus.com) |
| 2022-02-14 14:52:49 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 14:55:00 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-02-14 15:00:15 +0100 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) |
| 2022-02-14 15:01:03 +0100 | acidjnk | (~acidjnk@p200300d0c705758148c438f13433725d.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-14 15:03:43 +0100 | jao | (~jao@static-68-235-44-10.cust.tzulo.com) |
| 2022-02-14 15:09:20 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-14 15:11:01 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-02-14 15:11:04 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 15:12:34 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-02-14 15:14:22 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 15:21:56 +0100 | ubert | (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-02-14 15:22:41 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 15:23:24 +0100 | jao | (~jao@static-68-235-44-10.cust.tzulo.com) (Ping timeout: 240 seconds) |
| 2022-02-14 15:23:43 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-14 15:23:43 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-14 15:23:43 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 15:25:38 +0100 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) |
| 2022-02-14 15:27:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-14 15:28:47 +0100 | <gurkenglas> | What was lspitzner called again on IRC? |
| 2022-02-14 15:29:15 +0100 | <geekosaur> | hexagonel,iirc |
| 2022-02-14 15:29:16 +0100 | <dminuoso> | hexagoxel I think? |
| 2022-02-14 15:29:30 +0100 | <gurkenglas> | Ah right, thanks. |
| 2022-02-14 15:29:39 +0100 | <dminuoso> | My IRC indicate say Im right |
| 2022-02-14 15:29:43 +0100 | <dminuoso> | 64959:2019-12-14 17:02:10 hexagoxel I have updated the paste at https://gist.github.com/lspitzner/1042594a329c5ea6a3b7a2dc6c57c025 to contain the full build |
| 2022-02-14 15:30:18 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 15:32:27 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 15:35:10 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 15:35:33 +0100 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-02-14 15:38:24 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-14 15:38:40 +0100 | img | (~img@user/img) |
| 2022-02-14 15:39:36 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
| 2022-02-14 15:39:54 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 15:40:05 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2022-02-14 15:41:33 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7dab:1fa0:9cf6:a5de) |
| 2022-02-14 15:42:32 +0100 | yauhsien | (~Yau-Hsien@61-231-32-103.dynamic-ip.hinet.net) |
| 2022-02-14 15:43:04 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-02-14 15:43:17 +0100 | <ProfSimm> | What do you wish Haskell did, or did better, which it doesn't right now? |
| 2022-02-14 15:43:25 +0100 | <ProfSimm> | If you could have a dream version of your language |
| 2022-02-14 15:44:33 +0100 | <[exa]> | I'm pretty much content |
| 2022-02-14 15:45:23 +0100 | <geekosaur> | pretty much every time I run into something I think might be done better, I think further and realize it would just make bigger messes |
| 2022-02-14 15:45:27 +0100 | <dminuoso> | Circular module imports, getting rid of String in many places, getting rid of Read |
| 2022-02-14 15:45:32 +0100 | <dminuoso> | Those are the top three on my wishlist. |
| 2022-02-14 15:45:37 +0100 | Topsi | (~Tobias@dyndsl-091-249-082-220.ewe-ip-backbone.de) |
| 2022-02-14 15:45:41 +0100 | <geekosaur> | no language is perfect, but perfection is unattainable: it's all tradeoffs in the end |
| 2022-02-14 15:45:48 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7dab:1fa0:9cf6:a5de) (Ping timeout: 240 seconds) |
| 2022-02-14 15:46:00 +0100 | <dminuoso> | All three probably would have been possible with a bit of planning and foresight. But we're too deep in to get out of it |
| 2022-02-14 15:46:01 +0100 | <ProfSimm> | Perfection is contingent on how obsessive a language designer is. |
| 2022-02-14 15:46:33 +0100 | <dminuoso> | (Note that in principle the circular module imports are not a restriction of the language but GHC, the only active implementation we have) |
| 2022-02-14 15:46:51 +0100 | stef204 | (~stef204@user/stef204) |
| 2022-02-14 15:46:56 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-02-14 15:47:25 +0100 | <geekosaur> | the language report specifically supports circular module imports, while allowing things like ghc's .hs-boot files to enable it |
| 2022-02-14 15:47:55 +0100 | <geekosaur> | I should say it requires them to work |
| 2022-02-14 15:48:37 +0100 | <geekosaur> | it's just really difficult to support them while also allowing separate compilation (instead of, say, whole-program compilation) |
| 2022-02-14 15:48:51 +0100 | Topsi1 | (~Tobias@dyndsl-091-249-082-220.ewe-ip-backbone.de) |
| 2022-02-14 15:49:18 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-14 15:49:24 +0100 | <dminuoso> | Perhaps, I think its hard to say if nobody has tried building a Haskell compiler to support both |
| 2022-02-14 15:49:24 +0100 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 240 seconds) |
| 2022-02-14 15:49:32 +0100 | <dminuoso> | I dont know whether its difficult |
| 2022-02-14 15:49:50 +0100 | <dminuoso> | Some problems appear hard on initial looks but turn out to be simple |
| 2022-02-14 15:50:02 +0100 | <geekosaur> | the wholehs-boot thing is painful and regularly discussed |
| 2022-02-14 15:50:17 +0100 | <geekosaur> | (in #ghc and in various ghc tickets etc.) |
| 2022-02-14 15:50:26 +0100 | Topsi | (~Tobias@dyndsl-091-249-082-220.ewe-ip-backbone.de) (Ping timeout: 272 seconds) |
| 2022-02-14 15:51:14 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-14 15:52:57 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 15:56:02 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 15:56:08 +0100 | <maerwald> | hs-boot files play very well with TH :D |
| 2022-02-14 15:56:45 +0100 | <dminuoso> | Nothing plays well with TH. |
| 2022-02-14 15:56:46 +0100 | <dminuoso> | :p |
| 2022-02-14 15:57:03 +0100 | <maerwald> | this is especially nasty... in some rare cases GHC can make it work, but then HLS falls flat |
| 2022-02-14 15:57:17 +0100 | <maerwald> | in other cases both fail |
| 2022-02-14 15:57:24 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-14 15:57:25 +0100 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2022-02-14 15:58:00 +0100 | <yushyin> | a bit of a shame that backpack never really took off. i would have liked to see a haskell with a mix-in module system that wasn't retrofitted. maybe. (not that I really have much of a use case for it except for strings) |
| 2022-02-14 15:58:33 +0100 | <dminuoso> | yushyin: Honestly I think all backpack lacked was documentation.. |
| 2022-02-14 15:58:36 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-02-14 15:58:51 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-02-14 15:58:55 +0100 | <dminuoso> | In its current form there's very poor discoverability that backpack exists or how to use it |
| 2022-02-14 15:58:59 +0100 | <maerwald> | and support from stack |
| 2022-02-14 15:59:52 +0100 | <dminuoso> | It's mostly "look at what edwardk has done in some of his packages" and read the PhD thesis for which its hard to find which that was. |
| 2022-02-14 16:00:00 +0100 | <dminuoso> | maerwald: Oh I didnt know that |
| 2022-02-14 16:00:04 +0100 | <dminuoso> | But I guess not surprising |
| 2022-02-14 16:00:33 +0100 | <maerwald> | https://github.com/commercialhaskell/stack/issues/2540 |
| 2022-02-14 16:01:14 +0100 | <lortabac> | ProfSimm: I agree with dminuoso on the top three, I'd probably add: better records, one namespace for types and constructors, special syntax for newtypes, streaming in prelude instead of lazy IO, more support for "simple types" (for ex. monomorphic do blocks), ideally strictness reflected in the types (this might be hard though) |
| 2022-02-14 16:01:29 +0100 | <yushyin> | some mixins-shenanigans is why i switched back to cabal ;) |
| 2022-02-14 16:01:48 +0100 | <ProfSimm> | Thanks folks |
| 2022-02-14 16:01:51 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Remote host closed the connection) |
| 2022-02-14 16:02:04 +0100 | <geekosaur> | the backpack story is not yet over, discoverability and documentation are slated to improve in upcoming ghc versions |
| 2022-02-14 16:02:09 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2022-02-14 16:02:15 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-14 16:02:35 +0100 | <yushyin> | geekosaur: that's nice to hear! |
| 2022-02-14 16:02:54 +0100 | <janus> | i thought a big reason of why people don't use backpack is that stack can't build it? dunno if that is still true |
| 2022-02-14 16:03:06 +0100 | <geekosaur> | stack can't use it yet |
| 2022-02-14 16:03:26 +0100 | <janus> | so if stack is dying it may help backpack adoption |
| 2022-02-14 16:04:02 +0100 | <geekosaur> | whether it will ever be able to will depend in part on upcoming additional documentation and in part on someone actually writing the necessary support for stack… which, given they don't seem to be maintaining stack much these days, may be an even bigger hurdle |
| 2022-02-14 16:04:44 +0100 | <janus> | yushyin: do you know of a good practical example of backpacked strings on hackage? |
| 2022-02-14 16:05:03 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-14 16:06:11 +0100 | <edwardk> | i really want to see backpack fished out of the dumpster and made usable. the stack story is horrifying |
| 2022-02-14 16:06:40 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 2022-02-14 16:06:44 +0100 | <edwardk> | to be fair, the story on nix or in custom build setups, etc. isn't much better |
| 2022-02-14 16:07:46 +0100 | jgeerds | (~jgeerds@55d4a547.access.ecotel.net) |
| 2022-02-14 16:07:48 +0100 | <yushyin> | janus: nope, sorry. |
| 2022-02-14 16:08:15 +0100 | <maerwald> | edwardk: even if someone provided a PR... I'm not sure if there are people left to review it :o |
| 2022-02-14 16:08:19 +0100 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.4) |
| 2022-02-14 16:08:32 +0100 | <geekosaur> | stack not supporting backpack kinda holds back hackage packages using it, and certainly prevents stackage from using it |
| 2022-02-14 16:09:02 +0100 | <merijn> | We just get edwardk to move lens to backpack and then half the ecosystem will be forced to support it xD |
| 2022-02-14 16:09:55 +0100 | <edwardk> | merijn: you joke |
| 2022-02-14 16:10:24 +0100 | <yushyin> | could be a valid strategy! |
| 2022-02-14 16:10:37 +0100 | <maerwald> | feels like a MicroSoft strategy |
| 2022-02-14 16:10:41 +0100 | <edwardk> | my best strategies for supporting unboxed values, for supporting simd computation, etc. all need backpack |
| 2022-02-14 16:10:57 +0100 | max22- | (~maxime@2a01cb08833598004c8de2e630f51a33.ipv6.abo.wanadoo.fr) (Ping timeout: 252 seconds) |
| 2022-02-14 16:10:58 +0100 | <edwardk> | or they need metric boatloads of template haskell and sufficiently crossed fingers |
| 2022-02-14 16:11:59 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-14 16:13:12 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 16:16:57 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 16:17:34 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-14 16:17:34 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-14 16:17:34 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 16:17:40 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 16:20:30 +0100 | vysn | (~vysn@user/vysn) |
| 2022-02-14 16:21:21 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 16:21:54 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 16:21:57 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-02-14 16:26:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2022-02-14 16:27:06 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-02-14 16:28:26 +0100 | <merijn> | edwardk: Who says I'm joking ;) |
| 2022-02-14 16:32:31 +0100 | razetime | (~quassel@49.207.198.36) |
| 2022-02-14 16:33:30 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 16:34:21 +0100 | jgeerds | (~jgeerds@55d4a547.access.ecotel.net) (Remote host closed the connection) |
| 2022-02-14 16:34:48 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:bca1:a272:d62b:37ab) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-14 16:37:21 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-02-14 16:38:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-14 16:39:08 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 16:40:08 +0100 | prite | (~pritam@user/pritambaral) (Quit: Konversation terminated!) |
| 2022-02-14 16:41:07 +0100 | MoC | (~moc@user/moc) |
| 2022-02-14 16:41:35 +0100 | hueso | (~root@user/hueso) (Ping timeout: 256 seconds) |
| 2022-02-14 16:41:57 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 16:42:42 +0100 | hueso | (~root@user/hueso) |
| 2022-02-14 16:49:59 +0100 | gaff | (~gaff@49.207.221.64) |
| 2022-02-14 16:51:12 +0100 | dsrt^ | (~dsrt@50.235.176.163) (Remote host closed the connection) |
| 2022-02-14 16:55:37 +0100 | <gaff> | if you have to write for example an expression such as `a && b && c && d` on separate lines, haskell is just if you do not indent the continuing lines further to the right. i thought it should because they are continuing lines. |
| 2022-02-14 16:56:19 +0100 | <gaff> | i mean haskell is fine if you do not indent to the right |
| 2022-02-14 16:56:58 +0100 | <geekosaur> | if you write `a &&` on one line then haskell knows another expression is needed |
| 2022-02-14 16:57:38 +0100 | <geekosaur> | this goes only so far though, because of layout: you need to indent some things to obey an outer layout constraint (as for example with let or where blocks) |
| 2022-02-14 16:57:55 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-02-14 16:58:10 +0100 | <gaff> | i see ... it seems to also work if you write `a` on one line and in the next `&& b` at the same indent |
| 2022-02-14 16:58:13 +0100 | <geekosaur> | but aside from layout haskell tries to be pretty flexible |
| 2022-02-14 16:58:31 +0100 | <gaff> | ok |
| 2022-02-14 16:58:32 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-14 16:58:33 +0100 | <geekosaur> | that will work as long as layout isn't involved |
| 2022-02-14 16:59:42 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 16:59:42 +0100 | <gaff> | when you say layout, you mean stuff for `where`, `let`, top-level, etc? |
| 2022-02-14 16:59:59 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9c11:561e:c86d:bf05) (Quit: WeeChat 2.8) |
| 2022-02-14 17:00:32 +0100 | <geekosaur> | https://paste.tomsmeding.com/ZyJ6dhuN |
| 2022-02-14 17:01:45 +0100 | <gaff> | ah, thanks -- yeah, that's fine |
| 2022-02-14 17:01:48 +0100 | <gaff> | :) |
| 2022-02-14 17:02:35 +0100 | <geekosaur> | the second one fails because `let` has taken the indentation of the first binding as its basic indentation; indenting not up to that point will end the `let`, indenting *to* that point starts a new binding and will throw a parse error if it's not a valid binding |
| 2022-02-14 17:02:47 +0100 | <geekosaur> | but indenting beyond it will be a continuation |
| 2022-02-14 17:03:22 +0100 | <gaff> | thank you. |
| 2022-02-14 17:03:22 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 17:03:49 +0100 | <gaff> | great explanation |
| 2022-02-14 17:03:58 +0100 | <gaff> | appreciate it |
| 2022-02-14 17:04:05 +0100 | <geekosaur> | no problem |
| 2022-02-14 17:05:06 +0100 | gaff | (~gaff@49.207.221.64) () |
| 2022-02-14 17:09:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 17:13:25 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2022-02-14 17:14:31 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-14 17:16:35 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2022-02-14 17:20:05 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 17:22:12 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 17:23:43 +0100 | max22- | (~maxime@2a01cb08833598007bad4523cac12017.ipv6.abo.wanadoo.fr) |
| 2022-02-14 17:24:59 +0100 | shailangsa | (~shailangs@host86-186-127-164.range86-186.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-14 17:26:14 +0100 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) |
| 2022-02-14 17:30:19 +0100 | <phma> | I've written tests of a function split343, which is currently exported, but will not be exported when I finish writing the library. Tests are in test.hs; the library is in FlowsnakeBase.hs. How do I test functions that aren't exported? |
| 2022-02-14 17:31:18 +0100 | <geekosaur> | you have to export them somehow, but not necessarily from your package. for example you can export from an internal library component which your tests can depend on but no outside package can |
| 2022-02-14 17:31:18 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:bca1:a272:d62b:37ab) |
| 2022-02-14 17:32:01 +0100 | <geekosaur> | alternatively you could use an Internals module, which would allow others to import anything in it but with the understanding that anything in the module can change or go away with no warning |
| 2022-02-14 17:33:43 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-14 17:34:32 +0100 | <geekosaur> | (in a cabal file the unnamed library component is exported, named library components are internal-only) |
| 2022-02-14 17:36:12 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-02-14 17:39:26 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 17:42:58 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 17:43:11 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-02-14 17:43:55 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 17:47:32 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-02-14 17:50:57 +0100 | pgib | (~textual@173.38.117.82) (Ping timeout: 240 seconds) |
| 2022-02-14 17:51:13 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-14 17:52:42 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-14 17:53:47 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-14 17:54:33 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-14 17:58:46 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.4) |
| 2022-02-14 17:58:55 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-14 17:59:23 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-02-14 17:59:41 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 18:02:21 +0100 | dextaa_ | (~dextaa@user/dextaa) (Quit: leaving) |
| 2022-02-14 18:03:11 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 18:05:30 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-14 18:05:30 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-14 18:05:30 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 18:06:17 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 18:06:42 +0100 | razetime | (~quassel@49.207.198.36) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-02-14 18:07:02 +0100 | ardell | (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 2022-02-14 18:10:18 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-02-14 18:11:24 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-02-14 18:11:57 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-02-14 18:14:52 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-02-14 18:15:34 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-02-14 18:18:08 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 18:18:56 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-02-14 18:19:06 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-02-14 18:21:05 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 18:23:39 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-02-14 18:23:41 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Remote host closed the connection) |
| 2022-02-14 18:24:38 +0100 | mbuf | (~Shakthi@223.178.90.64) (Quit: Leaving) |
| 2022-02-14 18:26:28 +0100 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-02-14 18:26:28 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-02-14 18:27:13 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-14 18:28:07 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 18:29:07 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-14 18:30:15 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-14 18:31:14 +0100 | alp | (~alp@user/alp) |
| 2022-02-14 18:31:38 +0100 | <sm> | or, move the tests closer to the code in question... |
| 2022-02-14 18:33:20 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-14 18:34:30 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 252 seconds) |
| 2022-02-14 18:34:46 +0100 | zincy__ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-14 18:34:51 +0100 | bliminse | (~bliminse@host86-158-241-239.range86-158.btcentralplus.com) (Quit: leaving) |
| 2022-02-14 18:34:53 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Read error: Connection reset by peer) |
| 2022-02-14 18:38:27 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-14 18:38:55 +0100 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2022-02-14 18:40:02 +0100 | bliminse | (~bliminse@host86-158-241-239.range86-158.btcentralplus.com) |
| 2022-02-14 18:40:16 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-02-14 18:40:54 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:dcfd:93ee:4384:4372) |
| 2022-02-14 18:44:11 +0100 | stef204 | (~stef204@user/stef204) |
| 2022-02-14 18:45:25 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 18:46:19 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dd1:4bae:3cdd:e3cb) |
| 2022-02-14 18:49:23 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 18:50:31 +0100 | <[exa]> | is there any known problem with `getAddrInfo` that is not run in the "main" thread? (possibly specifically on mac OS) |
| 2022-02-14 18:50:39 +0100 | <[exa]> | (debugging an issue with a student) |
| 2022-02-14 18:51:54 +0100 | shailangsa | (~shailangs@host86-186-127-164.range86-186.btcentralplus.com) |
| 2022-02-14 18:52:22 +0100 | <geekosaur> | dunno about macos but on linux it can be using dbus in the background to talk with a name cache daemon, and there are lots of things that can go wrong |
| 2022-02-14 18:53:12 +0100 | <[exa]> | so it is preferable to keep it as single-threaded as possible? |
| 2022-02-14 18:53:41 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-02-14 18:54:05 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-14 18:54:19 +0100 | <[exa]> | hm, let's see |
| 2022-02-14 18:54:51 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-02-14 18:55:25 +0100 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-02-14 18:56:20 +0100 | zincy__ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-14 18:56:45 +0100 | <geekosaur> | doesn'tlook like they document any thread issues |
| 2022-02-14 18:56:54 +0100 | <geekosaur> | and on linux it's supposed to be mt-sate |
| 2022-02-14 18:56:58 +0100 | <geekosaur> | *mt-safe |
| 2022-02-14 18:57:27 +0100 | <geekosaur> | but I've seen weirdness with dbus-backed stuff and the ghc rts; you can test for this by using +RTS -V0 |
| 2022-02-14 18:57:42 +0100 | <geekosaur> | to see if anything similar is going on with macos |
| 2022-02-14 18:57:49 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-02-14 19:04:36 +0100 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) |
| 2022-02-14 19:04:47 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 19:07:02 +0100 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-02-14 19:07:11 +0100 | xff0x | (~xff0x@2001:1a81:52c4:8c00:1680:ae3c:6c22:79cc) (Ping timeout: 250 seconds) |
| 2022-02-14 19:07:16 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-14 19:08:02 +0100 | xff0x | (~xff0x@2001:1a81:52c4:8c00:a51c:6f1b:e868:ffc) |
| 2022-02-14 19:08:38 +0100 | img | (~img@user/img) |
| 2022-02-14 19:09:17 +0100 | kuribas | (~user@ptr-25vy0i9o6zfp0yko61a.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-02-14 19:10:15 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-14 19:10:31 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 19:10:38 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-14 19:10:53 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 19:11:00 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-14 19:11:08 +0100 | TheCoffeMaker_ | (~TheCoffeM@200.126.129.149) (Quit: So long and thanks for all the fish) |
| 2022-02-14 19:11:15 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 19:11:15 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 19:11:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-14 19:11:23 +0100 | <[exa]> | geekosaur: ooh that looks useful, thanks a lot |
| 2022-02-14 19:11:26 +0100 | <[exa]> | will see |
| 2022-02-14 19:11:36 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 19:11:43 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-14 19:11:58 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 19:12:05 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-14 19:12:05 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2022-02-14 19:12:19 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 19:12:26 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-14 19:12:41 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 19:12:48 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-14 19:13:02 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 19:13:09 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-14 19:13:18 +0100 | <geekosaur> | sigh\ |
| 2022-02-14 19:13:21 +0100 | ChanServ | +o geekosaur |
| 2022-02-14 19:13:25 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 19:13:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-14 19:13:44 +0100 | tfeb | (~tfb@88.98.95.237) |
| 2022-02-14 19:13:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 19:13:48 +0100 | geekosaur | +b *!*@98.38.249.169 |
| 2022-02-14 19:13:54 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-14 19:15:05 +0100 | <monochrom> | Active volcano :) |
| 2022-02-14 19:15:36 +0100 | <geekosaur> | pyroclastic flow |
| 2022-02-14 19:18:36 +0100 | romesrf | (~romes@bl8-111-202.dsl.telepac.pt) |
| 2022-02-14 19:20:40 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-14 19:28:13 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 19:29:08 +0100 | romesrf | (~romes@bl8-111-202.dsl.telepac.pt) (Quit: WeeChat 3.4) |
| 2022-02-14 19:30:10 +0100 | tfeb | (~tfb@88.98.95.237) (Quit: died) |
| 2022-02-14 19:31:19 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 19:31:35 +0100 | econo | (uid147250@user/econo) |
| 2022-02-14 19:32:41 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-14 19:37:20 +0100 | jm_jj | (~jmjj@mobile-user-c3a5cc-243.dhcp.inet.fi) (Quit: Leaving) |
| 2022-02-14 19:38:27 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2022-02-14 19:38:57 +0100 | ChanServ | +o litharge |
| 2022-02-14 19:38:57 +0100 | litharge | -bo *!*@98.38.249.169 litharge |
| 2022-02-14 19:39:40 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-02-14 19:44:11 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 19:46:26 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-14 19:48:28 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-14 19:48:47 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-14 19:48:50 +0100 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-14 19:50:36 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-02-14 19:51:07 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-02-14 19:51:56 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-02-14 19:53:02 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 20:00:04 +0100 | <tomsmeding> | the setting where my irc client only shows joins/leaves of people that are actually chatting is quite useful |
| 2022-02-14 20:00:04 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-14 20:02:20 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-02-14 20:02:48 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-14 20:02:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 20:03:31 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 20:05:15 +0100 | max22- | (~maxime@2a01cb08833598007bad4523cac12017.ipv6.abo.wanadoo.fr) (Ping timeout: 252 seconds) |
| 2022-02-14 20:06:18 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-14 20:06:18 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-14 20:06:18 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 20:06:24 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dd1:4bae:3cdd:e3cb) (Quit: Leaving...) |
| 2022-02-14 20:08:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-14 20:08:53 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) |
| 2022-02-14 20:09:20 +0100 | geekosaur | -o geekosaur |
| 2022-02-14 20:11:22 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-14 20:16:55 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 20:17:28 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-14 20:18:35 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 20:19:35 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 20:19:48 +0100 | deadmarshal | (~deadmarsh@95.38.115.206) (Ping timeout: 240 seconds) |
| 2022-02-14 20:21:50 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:bca1:a272:d62b:37ab) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-14 20:22:28 +0100 | <kronicma1> | @unmtl ExceptT String IO a |
| 2022-02-14 20:22:28 +0100 | <lambdabot> | IO (Either String a) |
| 2022-02-14 20:23:04 +0100 | <janus> | tomsmeding: which client are you using? |
| 2022-02-14 20:23:25 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2022-02-14 20:24:41 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2022-02-14 20:26:46 +0100 | <tomsmeding> | weechat |
| 2022-02-14 20:27:19 +0100 | <tomsmeding> | janus: with irc.look.smart_filter_join on |
| 2022-02-14 20:27:59 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-02-14 20:35:22 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:bca1:a272:d62b:37ab) |
| 2022-02-14 20:37:23 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 20:39:07 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-14 20:39:32 +0100 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) |
| 2022-02-14 20:40:10 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 20:40:31 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2022-02-14 20:41:39 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-02-14 20:42:22 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-14 20:44:49 +0100 | max22- | (~maxime@2a01cb08833598000a23eab5ca82bfe2.ipv6.abo.wanadoo.fr) |
| 2022-02-14 20:45:48 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-02-14 20:46:17 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-02-14 20:49:31 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.4) |
| 2022-02-14 20:56:19 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-14 20:56:43 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 20:58:47 +0100 | dextaa_ | (~dextaa@cpc142174-lewi20-2-0-cust34.2-4.cable.virginm.net) |
| 2022-02-14 21:00:36 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-02-14 21:00:57 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-14 21:02:04 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 21:05:24 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-02-14 21:05:39 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 256 seconds) |
| 2022-02-14 21:05:57 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-14 21:06:09 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-14 21:07:20 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-02-14 21:08:42 +0100 | slack1256 | (~slack1256@191.126.227.196) |
| 2022-02-14 21:11:02 +0100 | ChanServ | +o geekosaur |
| 2022-02-14 21:11:47 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 21:12:19 +0100 | zer0bitz_ | (~zer0bitz@2001:2003:f74d:b800:5c57:7f45:b808:8adb) |
| 2022-02-14 21:12:57 +0100 | fendor_ | (~fendor@178.165.161.137.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-02-14 21:13:15 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-02-14 21:13:37 +0100 | kmein | (~weechat@user/kmein) |
| 2022-02-14 21:13:47 +0100 | kenran | (~kenran@200116b82bfd62002ef1903d7b4c4780.dip.versatel-1u1.de) |
| 2022-02-14 21:14:40 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-14 21:15:53 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:dcfd:93ee:4384:4372) (Ping timeout: 250 seconds) |
| 2022-02-14 21:16:33 +0100 | kenran | (~kenran@200116b82bfd62002ef1903d7b4c4780.dip.versatel-1u1.de) (Client Quit) |
| 2022-02-14 21:16:58 +0100 | cjb | (~cjb@user/cjb) |
| 2022-02-14 21:17:08 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-02-14 21:17:40 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-14 21:19:45 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) (Remote host closed the connection) |
| 2022-02-14 21:19:59 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) |
| 2022-02-14 21:20:09 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 21:21:13 +0100 | slack1256 | (~slack1256@191.126.227.196) (Remote host closed the connection) |
| 2022-02-14 21:21:30 +0100 | slack1256 | (~slack1256@191.126.227.196) |
| 2022-02-14 21:21:41 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 21:22:04 +0100 | <slack1256> | I normally user wreq but it doesn't have http/2 support. What do you guys use for that? |
| 2022-02-14 21:22:04 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 21:22:54 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 21:22:59 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-02-14 21:23:08 +0100 | <sclv> | clients aren't usually required to have http/2 support, no? |
| 2022-02-14 21:23:20 +0100 | kmein | (~weechat@user/kmein) |
| 2022-02-14 21:23:44 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-02-14 21:23:49 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-02-14 21:23:51 +0100 | <romesrf> | o/ |
| 2022-02-14 21:23:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-14 21:24:11 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 21:25:18 +0100 | geekosaur | -o geekosaur |
| 2022-02-14 21:26:36 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-14 21:28:13 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-14 21:30:01 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) (Remote host closed the connection) |
| 2022-02-14 21:32:02 +0100 | <slack1256> | sclv: I was under the impression that yes, they do. |
| 2022-02-14 21:32:51 +0100 | <sclv> | i don't know of any website that requires it be accessed with http/2 rather than http 1 |
| 2022-02-14 21:33:08 +0100 | <sclv> | i do know of some specialized protcols (grpc) that operate only over http2 |
| 2022-02-14 21:33:16 +0100 | <sclv> | but a standard client like wreq isn't useful for them anyway |
| 2022-02-14 21:33:58 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-14 21:34:10 +0100 | yauhsien | (~Yau-Hsien@61-231-32-103.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2022-02-14 21:35:02 +0100 | yauhsien | (~Yau-Hsien@61-231-32-166.dynamic-ip.hinet.net) |
| 2022-02-14 21:35:41 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-02-14 21:39:29 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-14 21:40:09 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-02-14 21:42:46 +0100 | yauhsien_ | (~Yau-Hsien@61-231-32-166.dynamic-ip.hinet.net) |
| 2022-02-14 21:42:50 +0100 | <slack1256> | Mmmm |
| 2022-02-14 21:43:07 +0100 | <slack1256> | Yeah I have to interface with apple server (APN) and they insist on http/2. |
| 2022-02-14 21:45:08 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-14 21:45:21 +0100 | yauhsien | (~Yau-Hsien@61-231-32-166.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-02-14 21:46:36 +0100 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-14 21:47:40 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-02-14 21:48:06 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:bca1:a272:d62b:37ab) (Ping timeout: 252 seconds) |
| 2022-02-14 21:48:17 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-14 21:48:58 +0100 | acidjnk | (~acidjnk@p200300d0c7057581091bb45d0bf1cd2b.dip0.t-ipconnect.de) |
| 2022-02-14 21:49:45 +0100 | nunggu_ | (~q@user/nunggu) |
| 2022-02-14 21:54:25 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-14 21:59:02 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 260 seconds) |
| 2022-02-14 22:04:40 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-14 22:06:58 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-14 22:07:10 +0100 | <ehammarstrom> | Is it possible to encode typestates in Haskell? |
| 2022-02-14 22:07:17 +0100 | wrengr | (~wrengr@99.34.197.35.bc.googleusercontent.com) |
| 2022-02-14 22:07:27 +0100 | foul_owl | (~kerry@207.244.125.36) (Ping timeout: 250 seconds) |
| 2022-02-14 22:07:33 +0100 | <EvanR> | sure |
| 2022-02-14 22:07:46 +0100 | <EvanR> | GADTs for example |
| 2022-02-14 22:08:28 +0100 | pavonia | (~user@user/siracusa) |
| 2022-02-14 22:09:33 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-02-14 22:11:52 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-02-14 22:13:08 +0100 | <ehammarstrom> | EvanR: I came up with something like this https://paste.tomsmeding.com/6pltsmxz What would it look like with a GADT? |
| 2022-02-14 22:13:17 +0100 | <ehammarstrom> | I don't know if it's correct |
| 2022-02-14 22:15:26 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-02-14 22:16:07 +0100 | <EvanR> | well this demonstrates the possibility of changing the type but it's pretty useless as is https://paste.tomsmeding.com/xcj0RrtN |
| 2022-02-14 22:16:27 +0100 | <EvanR> | note that in turnOff you don't need a case for the Off case because it's impossible |
| 2022-02-14 22:16:52 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2022-02-14 22:17:39 +0100 | <EvanR> | the GADT definition defines the possible moves, the resulting types tell you how the "type state" changes |
| 2022-02-14 22:17:59 +0100 | <EvanR> | in this example you simple start in whatever state you want and do whatever you want |
| 2022-02-14 22:19:34 +0100 | <EvanR> | line 27 there is the proper GADT |
| 2022-02-14 22:20:33 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-02-14 22:20:57 +0100 | shapr | hops randomly |
| 2022-02-14 22:21:19 +0100 | tomsmeding | eyes shapr |
| 2022-02-14 22:22:44 +0100 | <shapr> | hi tomsmeding ! How's life? |
| 2022-02-14 22:22:49 +0100 | <shapr> | writing any good code? |
| 2022-02-14 22:23:00 +0100 | <EvanR> | your line 18 is wrong because your function returns a type (LightSwitch Off) instead of a value |
| 2022-02-14 22:23:25 +0100 | <tomsmeding> | shapr: just today finished grading 69 reports |
| 2022-02-14 22:23:26 +0100 | <EvanR> | oops, ignore that |
| 2022-02-14 22:23:40 +0100 | <tomsmeding> | hopefully going to code again soon |
| 2022-02-14 22:23:43 +0100 | <shapr> | tomsmeding: students are learning? |
| 2022-02-14 22:23:50 +0100 | foul_owl | (~kerry@207.244.125.36) |
| 2022-02-14 22:23:51 +0100 | <tomsmeding> | maybe? |
| 2022-02-14 22:24:20 +0100 | <tomsmeding> | not too enthousiastic about the assignment anyway, but this was my first year so let's start complaining next year :p |
| 2022-02-14 22:24:27 +0100 | <Rembane> | shapr: Did you have stochastic breakfast again? |
| 2022-02-14 22:24:47 +0100 | deadmarshal | (~deadmarsh@95.38.115.206) |
| 2022-02-14 22:24:50 +0100 | <shapr> | yes, I did. |
| 2022-02-14 22:26:12 +0100 | <Rembane> | Good stfuf |
| 2022-02-14 22:26:14 +0100 | <Rembane> | *stuff |
| 2022-02-14 22:27:35 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-02-14 22:27:35 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-02-14 22:27:38 +0100 | allbery_b | geekosaur |
| 2022-02-14 22:28:11 +0100 | <ehammarstrom> | EvanR: Thanks for showing the difference in type. I guess there are more differences when you use them more extensively |
| 2022-02-14 22:28:47 +0100 | <EvanR> | well, that's basically it. With GADTs the final type can be different for different constructors |
| 2022-02-14 22:29:00 +0100 | deadmarshal | (~deadmarsh@95.38.115.206) (Ping timeout: 240 seconds) |
| 2022-02-14 22:29:22 +0100 | Unhammer | (~Unhammer@user/unhammer) (Ping timeout: 260 seconds) |
| 2022-02-14 22:30:41 +0100 | <ehammarstrom> | Right. |
| 2022-02-14 22:31:06 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-02-14 22:31:13 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-14 22:36:59 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-14 22:39:48 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2022-02-14 22:40:02 +0100 | telser | (~AdminUser@user/telser) |
| 2022-02-14 22:40:02 +0100 | telser | (~AdminUser@user/telser) (Remote host closed the connection) |
| 2022-02-14 22:40:37 +0100 | slack1256 | (~slack1256@191.126.227.196) (Remote host closed the connection) |
| 2022-02-14 22:42:39 +0100 | Unhammer | (~Unhammer@user/unhammer) |
| 2022-02-14 22:46:15 +0100 | telser | (~AdminUser@user/telser) |
| 2022-02-14 22:50:04 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-02-14 22:50:56 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2022-02-14 22:52:58 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-14 22:53:13 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-02-14 22:54:02 +0100 | Gest74 | (~Gest74@net-2-36-89-48.cust.vodafonedsl.it) |
| 2022-02-14 22:57:00 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-02-14 22:57:43 +0100 | michalz | (~michalz@185.246.204.89) (Ping timeout: 250 seconds) |
| 2022-02-14 22:57:44 +0100 | jlamothe | (~jlamothe@198.251.61.229) (Ping timeout: 250 seconds) |
| 2022-02-14 22:58:25 +0100 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) (Remote host closed the connection) |
| 2022-02-14 23:00:12 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-02-14 23:01:40 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-14 23:01:54 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-02-14 23:02:34 +0100 | <Gest74> | Hi everybody, could someone please tell me why Actual is [[Expr]] instead of [Expr] in this code: https://paste.tomsmeding.com/pGE0ab3j ? |
| 2022-02-14 23:02:41 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-02-14 23:03:03 +0100 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) |
| 2022-02-14 23:03:25 +0100 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) (Remote host closed the connection) |
| 2022-02-14 23:03:25 +0100 | <monochrom> | Replace [e:es] by (e:es). The extra [] causes the extra []. |
| 2022-02-14 23:04:21 +0100 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) |
| 2022-02-14 23:05:06 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-14 23:05:06 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-14 23:05:06 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 23:05:16 +0100 | <Gest74> | @monochrom, thank you! |
| 2022-02-14 23:05:17 +0100 | <lambdabot> | Unknown command, try @list |
| 2022-02-14 23:05:20 +0100 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) (Remote host closed the connection) |
| 2022-02-14 23:07:22 +0100 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) |
| 2022-02-14 23:07:51 +0100 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) (Remote host closed the connection) |
| 2022-02-14 23:09:41 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-02-14 23:09:50 +0100 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) |
| 2022-02-14 23:10:42 +0100 | <EvanR> | [[[[e:es]]]] is not [e:es], but ((((e:es)))) is (e:es). Haskell is tricky like that |
| 2022-02-14 23:11:26 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-02-14 23:12:17 +0100 | <geekosaur> | I'd put it that there are two ways to describe lists in Haskell: traditional [a,b,c] and cons (a:b:c:[]) |
| 2022-02-14 23:12:55 +0100 | <geekosaur> | they're the same thing, but can't be mixed, so [x:xs] is a single-item list in traditional format containing a list in cons format |
| 2022-02-14 23:14:43 +0100 | <dolio> | Well, they can be mixed, but `[x:xs]` isn't just grouping. |
| 2022-02-14 23:16:07 +0100 | teo | (~teo@user/teo) |
| 2022-02-14 23:16:43 +0100 | <sshine> | [x:xs] was among the most common error I saw as a teaching assistant on FP courses (SML, Haskell). |
| 2022-02-14 23:16:57 +0100 | <sshine> | the compiler could really have a specific warning for just that. |
| 2022-02-14 23:17:08 +0100 | <dolio> | In some ways `a:b:c:[]` is mixing them already, but only because there isn't some other name for the empty list. |
| 2022-02-14 23:17:26 +0100 | Gest74 | (~Gest74@net-2-36-89-48.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2022-02-14 23:18:55 +0100 | jinsun | (~jinsun@user/jinsun) () |
| 2022-02-14 23:19:16 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-02-14 23:20:29 +0100 | jinsun | (~jinsun@user/jinsun) (Client Quit) |
| 2022-02-14 23:20:46 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-02-14 23:23:24 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2022-02-14 23:23:29 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-14 23:23:41 +0100 | jlamothe | (~jlamothe@198.251.61.229) |
| 2022-02-14 23:23:54 +0100 | teo | (~teo@user/teo) (Quit: Client closed) |
| 2022-02-14 23:24:04 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-02-14 23:25:40 +0100 | teo | (~teo@user/teo) |
| 2022-02-14 23:25:59 +0100 | teo | (~teo@user/teo) (Client Quit) |
| 2022-02-14 23:27:02 +0100 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) |
| 2022-02-14 23:27:21 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-02-14 23:29:57 +0100 | bah_ | bah |
| 2022-02-14 23:30:15 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-14 23:30:37 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-02-14 23:32:08 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-02-14 23:33:49 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-14 23:35:57 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-14 23:35:57 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-14 23:35:57 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-14 23:39:44 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-14 23:40:18 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-02-14 23:40:31 +0100 | telser | (~AdminUser@user/telser) (Remote host closed the connection) |
| 2022-02-14 23:41:04 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2022-02-14 23:41:46 +0100 | telser | (~AdminUser@user/telser) |
| 2022-02-14 23:45:33 +0100 | hueso | (~root@user/hueso) |
| 2022-02-14 23:45:55 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-14 23:46:19 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-02-14 23:53:01 +0100 | awschnap | (~lavaman@98.38.249.169) |
| 2022-02-14 23:53:01 +0100 | lavaman | (~lavaman@98.38.249.169) (Read error: Connection reset by peer) |
| 2022-02-14 23:53:22 +0100 | max22- | (~maxime@2a01cb08833598000a23eab5ca82bfe2.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 2022-02-14 23:54:37 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-02-14 23:54:59 +0100 | byorgey | sees the [x:xs] error a lot. |
| 2022-02-14 23:55:38 +0100 | <byorgey> | I have come to the conclusion that [a] is poor notation for the type of a list. It is just very confusing to students that [a] is the type of a list of any number of elements, but as a value [a] is a list of exactly one element. |
| 2022-02-14 23:56:12 +0100 | <byorgey> | I would prefer List a, even though it's slightly more verbose. |
| 2022-02-14 23:56:35 +0100 | <geekosaur> | I've been thinking that somewhat as well. Also the fact that you see for example `t a` in a type, but [a] matches it. So sometimes I use `[] a` |
| 2022-02-14 23:56:40 +0100 | <geekosaur> | to make it clearer |
| 2022-02-14 23:57:02 +0100 | <Rembane> | Is `[] a` valid Haskell? |
| 2022-02-14 23:57:08 +0100 | <geekosaur> | yep |
| 2022-02-14 23:57:09 +0100 | <byorgey> | :type [1,2,3] : [] Int |
| 2022-02-14 23:57:20 +0100 | <byorgey> | aw, no lambdabot? =( |
| 2022-02-14 23:57:29 +0100 | <EvanR> | @botsnack |
| 2022-02-14 23:57:29 +0100 | <lambdabot> | :) |
| 2022-02-14 23:57:31 +0100 | <geekosaur> | :t [1,2,3] :: [] Int |
| 2022-02-14 23:57:32 +0100 | <lambdabot> | [Int] |
| 2022-02-14 23:57:38 +0100 | <Rembane> | That it is valid Haskell makes me happy. I first thought it was merely pedagogical. |
| 2022-02-14 23:57:40 +0100 | <byorgey> | oh, :t not :type, ok. |
| 2022-02-14 23:57:40 +0100 | <geekosaur> | it just doesn't accept :type fully spelled out |
| 2022-02-14 23:57:52 +0100 | <geekosaur> | same with :k vs. :kind |
| 2022-02-14 23:58:30 +0100 | <byorgey> | geekosaur: right, that too. It's magic special syntax and it's unclear how it corresponds to other type constructors. |
| 2022-02-14 23:58:51 +0100 | <byorgey> | pair types have the same issue in terms of being magic and special, but at least there the syntax for types and values matches exactly. |
| 2022-02-14 23:58:52 +0100 | awschnap | (~lavaman@98.38.249.169) (Read error: Connection reset by peer) |
| 2022-02-14 23:59:20 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-14 23:59:58 +0100 | <Rembane> | For some reason list has a tendency to be the odd one out in many cases. Wanna explain monads? Okay, we start with Maybe everything is fine and then the natural next example is absolutely not list because that will make your brain boil. |