| 2023-09-10 00:01:27 +0200 | Pixi` | (~Pixi@user/pixi) (Ping timeout: 255 seconds) |
| 2023-09-10 00:01:40 +0200 | <institor> | yushyin: yes special midnight horror edition |
| 2023-09-10 00:01:50 +0200 | stites | (~stites@2603:3005:b69:4100:afa0:f7be:6ecd:53f2) (Ping timeout: 246 seconds) |
| 2023-09-10 00:02:14 +0200 | stites | (~stites@2607:fb91:dcf:4896:22a5:6d79:f786:b171) |
| 2023-09-10 00:02:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-10 00:03:56 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-10 00:07:20 +0200 | <superryn> | exit |
| 2023-09-10 00:07:23 +0200 | <superryn> | oops |
| 2023-09-10 00:07:28 +0200 | superryn | (~superryn@47.186.178.98) (Quit: leaving) |
| 2023-09-10 00:10:31 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 00:12:03 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) |
| 2023-09-10 00:15:36 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-10 00:22:02 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 00:23:58 +0200 | stites | (~stites@2607:fb91:dcf:4896:22a5:6d79:f786:b171) (Read error: Connection reset by peer) |
| 2023-09-10 00:24:35 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-10 00:26:33 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-10 00:26:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-10 00:27:09 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-09-10 00:28:01 +0200 | cptaffe | (~ZNC@2600:1700:f08:111f::18e7) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-10 00:28:52 +0200 | cptaffe | (~ZNC@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-09-10 00:30:30 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-10 00:31:19 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-09-10 00:31:25 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-10 00:32:48 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 00:33:27 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-09-10 00:35:07 +0200 | Frodeaux | (~Frodeaux@wsip-98-173-195-105.sb.sd.cox.net) |
| 2023-09-10 00:37:03 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-10 00:39:06 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-10 00:39:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-10 00:40:08 +0200 | Frodeaux | (~Frodeaux@wsip-98-173-195-105.sb.sd.cox.net) (Quit: Client closed) |
| 2023-09-10 00:40:51 +0200 | Frodeaux | (~Frodeaux@wsip-98-173-195-105.sb.sd.cox.net) |
| 2023-09-10 00:43:55 +0200 | Frodeaux | (~Frodeaux@wsip-98-173-195-105.sb.sd.cox.net) (Client Quit) |
| 2023-09-10 00:45:19 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 00:47:45 +0200 | <EvanR> | Oh cool, for those who object to sqrt(2) in haskell, I just noticed you can do sqrt (2) in C |
| 2023-09-10 00:48:18 +0200 | <geekosaur> | gnu style |
| 2023-09-10 00:50:31 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-09-10 00:52:34 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-10 00:52:34 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-10 00:52:34 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-10 00:53:47 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-10 00:55:27 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-10 00:57:01 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 01:02:02 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-09-10 01:04:34 +0200 | sinbad | (~sinbad@user/sinbad) (Quit: Leaving.) |
| 2023-09-10 01:05:42 +0200 | leah2 | (~leah@vuxu.org) |
| 2023-09-10 01:06:22 +0200 | dcoutts | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) (Ping timeout: 258 seconds) |
| 2023-09-10 01:07:03 +0200 | ulysses4ever | (~artem@2607:fb91:2f55:c08c:f474:e3f8:9806:671) |
| 2023-09-10 01:08:31 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 01:12:06 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-09-10 01:13:39 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 258 seconds) |
| 2023-09-10 01:14:17 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-10 01:14:19 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 01:15:07 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Server closed connection) |
| 2023-09-10 01:15:07 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-10 01:16:39 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2023-09-10 01:18:19 +0200 | dcoutts | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) |
| 2023-09-10 01:19:24 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 258 seconds) |
| 2023-09-10 01:20:27 +0200 | artem | (~artem@172.58.147.188) |
| 2023-09-10 01:20:27 +0200 | ulysses4ever | (~artem@2607:fb91:2f55:c08c:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 2023-09-10 01:23:40 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-10 01:23:49 +0200 | jargon_ | (~jargon@184.101.67.95) |
| 2023-09-10 01:24:15 +0200 | jargon | (~jargon@174-22-199-178.phnx.qwest.net) (Ping timeout: 246 seconds) |
| 2023-09-10 01:26:04 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 01:27:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-09-10 01:28:48 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-09-10 01:31:12 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-10 01:31:15 +0200 | mauke | (~mauke@user/mauke) (Server closed connection) |
| 2023-09-10 01:31:25 +0200 | mauke | (~mauke@user/mauke) |
| 2023-09-10 01:31:35 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (Server closed connection) |
| 2023-09-10 01:31:39 +0200 | Pixi | (~Pixi@user/pixi) |
| 2023-09-10 01:31:49 +0200 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2023-09-10 01:31:51 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 01:33:47 +0200 | cptaffe | (~ZNC@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-10 01:34:41 +0200 | cptaffe | (~ZNC@2600:1700:f08:111f::18e7) |
| 2023-09-10 01:37:03 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-10 01:37:07 +0200 | <segfaultfizzbuzz> | can i make a haskell which has no exceptions |
| 2023-09-10 01:39:18 +0200 | <EvanR> | undefined is in the standard so I think not officially |
| 2023-09-10 01:42:35 +0200 | goober | (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 2023-09-10 01:42:36 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2023-09-10 01:43:23 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 01:43:35 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Server closed connection) |
| 2023-09-10 01:43:53 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2023-09-10 01:44:29 +0200 | <geekosaur> | you can make a haskell which can't catch exceptions, though, as that's not in the standard |
| 2023-09-10 01:44:50 +0200 | <geekosaur> | and indeed there have been two different exception handling systems in ghc |
| 2023-09-10 01:45:59 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) (Ping timeout: 248 seconds) |
| 2023-09-10 01:46:08 +0200 | <geekosaur> | the old one is completely gone at this point but you can find it documented in the standard libs for old ghc versions (say 6.6) |
| 2023-09-10 01:46:18 +0200 | <geekosaur> | and of course they pinged out |
| 2023-09-10 01:46:48 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-09-10 01:47:56 +0200 | <goober> | I'm having trouble using aeson for a stack project: https://pastebin.com/raw/k0m6i0rc |
| 2023-09-10 01:48:13 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-09-10 01:48:55 +0200 | <goober> | i meant to say package.yaml there |
| 2023-09-10 01:51:06 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) |
| 2023-09-10 01:52:46 +0200 | bilegeek | (~bilegeek@2600:1008:b066:6cf0:4183:58f7:fd04:6b0d) |
| 2023-09-10 01:54:00 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2023-09-10 01:54:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-10 01:54:54 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 01:57:10 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-09-10 01:58:14 +0200 | <geekosaur> | looks like aeson is using an old version of th-abstraction, because https://hackage.haskell.org/package/th-abstraction-0.6.0.0/docs/Language-Haskell-TH-Datatype.html#… shows TypeData as a constructor |
| 2023-09-10 02:00:55 +0200 | artem | (~artem@172.58.147.188) (Ping timeout: 248 seconds) |
| 2023-09-10 02:01:17 +0200 | <jackdk> | I don't think it's that simple. That TypeData appears only in `template-haskell-2.20.0.0`, but `th-abstraction` re-exports the type and claims compatibility with `template-haskell >=2.5 && <2.22` |
| 2023-09-10 02:01:55 +0200 | <jackdk> | goober: you may need to update GHC to a version which ships `template-haskell >=2.20.0.0`; try GHC 9.6.1 per https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history |
| 2023-09-10 02:04:47 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-10 02:05:01 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 258 seconds) |
| 2023-09-10 02:05:34 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 02:05:45 +0200 | <goober> | i had allow-newer on globally like a doofus, so it's fixed now |
| 2023-09-10 02:06:06 +0200 | <goober> | thanks for taking the trouble |
| 2023-09-10 02:06:36 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-09-10 02:06:39 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-09-10 02:10:31 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-09-10 02:15:48 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-10 02:18:14 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-09-10 02:20:55 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 02:20:59 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-10 02:22:57 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-09-10 02:26:02 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-09-10 02:27:26 +0200 | goober | (~goober@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 2023-09-10 02:27:55 +0200 | goober | (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 2023-09-10 02:29:21 +0200 | goober | (~goober@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 2023-09-10 02:30:30 +0200 | goober | (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 2023-09-10 02:34:40 +0200 | renegade | (~renegade@bcdcac82.skybroadband.com) (Ping timeout: 255 seconds) |
| 2023-09-10 02:36:03 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 02:40:47 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-09-10 02:43:06 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-10 02:47:29 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 02:49:35 +0200 | ncf | (~n@monade.li) (Server closed connection) |
| 2023-09-10 02:49:53 +0200 | ncf | (~n@monade.li) |
| 2023-09-10 02:51:03 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-09-10 02:52:22 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 244 seconds) |
| 2023-09-10 02:56:14 +0200 | Guest12 | (~Guest12@187.83.249.216.dyn.smithville.net) |
| 2023-09-10 02:59:03 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 03:00:31 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:fdb9:f3db:714b:2596) (Quit: Ping timeout (120 seconds)) |
| 2023-09-10 03:00:49 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2023-09-10 03:07:03 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-09-10 03:11:10 +0200 | <albet70> | glguy , scheme |
| 2023-09-10 03:12:48 +0200 | Guest12 | (~Guest12@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2023-09-10 03:13:48 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-10 03:15:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-09-10 03:31:13 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) (Ping timeout: 240 seconds) |
| 2023-09-10 03:32:01 +0200 | <glguy> | Scheme? |
| 2023-09-10 03:32:57 +0200 | myme | (~myme@2a01:799:d60:e400:fbb2:2d0:8727:55f2) (Ping timeout: 255 seconds) |
| 2023-09-10 03:33:50 +0200 | myme | (~myme@2a01:799:d60:e400:523a:264f:abbd:410) |
| 2023-09-10 03:34:56 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-10 03:34:56 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-10 03:34:56 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-10 03:36:42 +0200 | hololeap | (~quassel@user/hololeap) (Server closed connection) |
| 2023-09-10 03:36:57 +0200 | aforemny | (~aforemny@2001:9e8:6cde:5000:5534:fac8:77b3:48c8) |
| 2023-09-10 03:36:59 +0200 | hololeap | (~quassel@user/hololeap) |
| 2023-09-10 03:37:27 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc4:ca00:285c:4ef6:5a4b:f825) (Ping timeout: 248 seconds) |
| 2023-09-10 03:49:51 +0200 | otto_s | (~user@p4ff27ce7.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-09-10 03:50:10 +0200 | privacy | (~privacy@47.219.84.6) (Remote host closed the connection) |
| 2023-09-10 03:51:41 +0200 | otto_s | (~user@p5de2f4a4.dip0.t-ipconnect.de) |
| 2023-09-10 03:57:39 +0200 | <albet70> | glguy , yes, others are ok too |
| 2023-09-10 03:59:53 +0200 | <monochrom> | EvanR: Maximum compatibility: sqrt ( 2 ) >:) |
| 2023-09-10 04:00:04 +0200 | <monochrom> | Space, the final delimiter. |
| 2023-09-10 04:02:48 +0200 | <glguy> | albet70: If you're asking about examples, a simpler one is https://github.com/glguy/toml-parser/tree/main/src/Toml and a more complicated one is https://github.com/glguy/language-lua/tree/master/src/Language/Lua/Annotated |
| 2023-09-10 04:03:04 +0200 | <glguy> | but originally I was wondering what kind of questions it was that you had about either of the tools |
| 2023-09-10 04:03:44 +0200 | <glguy> | The .x files in those directories are lexers using Alex and the .y files are parsers using Happy |
| 2023-09-10 04:04:16 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) |
| 2023-09-10 04:04:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-09-10 04:04:51 +0200 | <ddellacosta> | does this (https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/) predate the github site (https://github.com/ghc-proposals/ghc-proposals/pulls)? I see some things have been updated fairly recently but it's not clear to me if stuff gets moved over or what the relationship is |
| 2023-09-10 04:04:59 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds) |
| 2023-09-10 04:07:09 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-10 04:12:19 +0200 | aaronv | (~aaronv@user/aaronv) (Quit: Leaving) |
| 2023-09-10 04:14:38 +0200 | <albet70> | glguy , just want to learn something about how to make a simple languages, curiousty |
| 2023-09-10 04:15:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-10 04:15:59 +0200 | <albet70> | glguy , no actually question here yet :) |
| 2023-09-10 04:17:01 +0200 | <EvanR> | https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours |
| 2023-09-10 04:28:13 +0200 | airpods69 | (~airpods69@2401:4900:5d2c:4291:8264:669:6b0d:9b9b) |
| 2023-09-10 04:29:11 +0200 | AlexZenon | (~alzenon@178.34.160.172) (Ping timeout: 248 seconds) |
| 2023-09-10 04:30:22 +0200 | Alex_test | (~al_test@178.34.160.172) (Ping timeout: 245 seconds) |
| 2023-09-10 04:31:19 +0200 | <wroathe> | Hey guys, experimenting with type families and trying to define a type-level "fold" over generic field selectors. It almost works, but GHC doesn't like me supplying a type family as a type parameter to another type family. What should I be doing differently here? https://gist.github.com/JustinChristensen/59c5bccd8c5a57f86c76411b26f6aa71 |
| 2023-09-10 04:33:10 +0200 | AlexZenon | (~alzenon@178.34.160.172) |
| 2023-09-10 04:36:02 +0200 | Alex_test | (~al_test@178.34.160.172) |
| 2023-09-10 04:37:04 +0200 | phma | (~phma@2001:5b0:2144:6b88:455e:8c61:7388:36ab) (Read error: Connection reset by peer) |
| 2023-09-10 04:41:10 +0200 | phma | (~phma@host-67-44-208-175.hnremote.net) |
| 2023-09-10 04:43:02 +0200 | <EvanR> | type synonyms in general can't be used partially applied |
| 2023-09-10 04:43:08 +0200 | <glguy> | wroathe: You'll need to provide "names" for your "functions" and then when you want to apply the function, you use an explicit "apply" type family |
| 2023-09-10 04:43:36 +0200 | <glguy> | This package has a bunch of machinery for this sort of thing https://hackage.haskell.org/package/singletons-3.0.2/docs/Data-Singletons.html |
| 2023-09-10 04:44:12 +0200 | farn | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Server closed connection) |
| 2023-09-10 04:44:23 +0200 | <wroathe> | glguy: what do you mean by "names" for my functions? Aren't the names here FoldSel1, SelHasPk, and FoldHasPk? |
| 2023-09-10 04:44:30 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) (Ping timeout: 255 seconds) |
| 2023-09-10 04:44:32 +0200 | farn | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2023-09-10 04:45:18 +0200 | <glguy> | You end up with something like: data NameOf_SelHasPk |
| 2023-09-10 04:45:31 +0200 | <glguy> | and then type family Apply2 name arg1 arg2 |
| 2023-09-10 04:45:51 +0200 | <glguy> | and a type instance Apply2 NameOf_SelHasPk arg1 arg2 = SelHasPk arg1 arg2 |
| 2023-09-10 04:46:02 +0200 | <glguy> | then you can pass the name to your FoldSel1 instead of the actual function |
| 2023-09-10 04:46:10 +0200 | <wroathe> | Oh I see |
| 2023-09-10 04:46:16 +0200 | <wroathe> | Awesome. Thank you. |
| 2023-09-10 04:46:17 +0200 | <glguy> | FoldSel1 f b (S1 ms a) = Apply2 f b (S1 ms a) |
| 2023-09-10 04:46:53 +0200 | <glguy> | I think they call this "firstification" |
| 2023-09-10 04:47:31 +0200 | <wroathe> | I'll look it up. |
| 2023-09-10 04:49:21 +0200 | td_ | (~td@i5387093E.versanet.de) (Ping timeout: 246 seconds) |
| 2023-09-10 04:50:43 +0200 | airpods69 | (~airpods69@2401:4900:5d2c:4291:8264:669:6b0d:9b9b) (Read error: Connection reset by peer) |
| 2023-09-10 04:51:15 +0200 | td_ | (~td@i53870929.versanet.de) |
| 2023-09-10 04:59:26 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-10 05:01:43 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-10 05:01:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-09-10 05:01:43 +0200 | finn_elija | FinnElija |
| 2023-09-10 05:03:51 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 248 seconds) |
| 2023-09-10 05:10:07 +0200 | <hololeap> | would a zipper tree be roughly the same as a tree that involves manually manipulating STRefs for each node, in terms of memory management, performance, etc |
| 2023-09-10 05:12:54 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-09-10 05:13:30 +0200 | aforemny | (~aforemny@2001:9e8:6cde:5000:5534:fac8:77b3:48c8) (Ping timeout: 246 seconds) |
| 2023-09-10 05:13:30 +0200 | aforemny_ | (~aforemny@i59f516c5.versanet.de) |
| 2023-09-10 05:14:13 +0200 | <hololeap> | the zipper tree would have to walk the tree to locate the current node, but that would be O(log n) so maybe it wouldn't matter |
| 2023-09-10 05:15:20 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) |
| 2023-09-10 05:17:10 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-10 05:18:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-09-10 05:21:38 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 2023-09-10 05:23:58 +0200 | rembo10 | (~rembo10@65.108.56.133) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-10 05:27:41 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-09-10 05:37:15 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2023-09-10 05:37:18 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2023-09-10 05:37:22 +0200 | haskellbridge_ | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-09-10 05:37:22 +0200 | allbery_b | geekosaur |
| 2023-09-10 05:37:22 +0200 | haskellbridge_ | (~haskellbr@069-135-003-034.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2023-09-10 05:37:23 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-09-10 05:38:14 +0200 | bilegeek_ | (~bilegeek@16.sub-174-209-41.myvzw.com) |
| 2023-09-10 05:39:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18df:787d:85fc:cca8) (Ping timeout: 258 seconds) |
| 2023-09-10 05:39:54 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 2023-09-10 05:40:05 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-10 05:40:43 +0200 | bilegeek | (~bilegeek@2600:1008:b066:6cf0:4183:58f7:fd04:6b0d) (Ping timeout: 240 seconds) |
| 2023-09-10 05:43:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18df:787d:85fc:cca8) |
| 2023-09-10 05:45:57 +0200 | <jackdk> | hololeap: jle`'s https://hackage.haskell.org/package/mutable ? |
| 2023-09-10 05:51:05 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-10 05:53:58 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2023-09-10 05:55:35 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 248 seconds) |
| 2023-09-10 05:58:12 +0200 | jargon_ | (~jargon@184.101.67.95) (Remote host closed the connection) |
| 2023-09-10 06:05:15 +0200 | <hololeap> | thanks jackdk. I didn't mention that this is one of those online challenges and it has a limited environment |
| 2023-09-10 06:05:52 +0200 | <hololeap> | still, your answer tells me that STRefs are the way to go here |
| 2023-09-10 06:06:33 +0200 | phma | (~phma@host-67-44-208-175.hnremote.net) (Read error: Connection reset by peer) |
| 2023-09-10 06:06:36 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 248 seconds) |
| 2023-09-10 06:10:00 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-09-10 06:12:12 +0200 | Guest12 | (~Guest12@187.83.249.216.dyn.smithville.net) |
| 2023-09-10 06:12:51 +0200 | Guest12 | (~Guest12@187.83.249.216.dyn.smithville.net) (Client Quit) |
| 2023-09-10 06:16:32 +0200 | superryn | (~superryn@47.186.178.98) |
| 2023-09-10 06:17:32 +0200 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Server closed connection) |
| 2023-09-10 06:17:52 +0200 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2023-09-10 06:21:14 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-09-10 06:21:35 +0200 | phma | (~phma@host-67-44-208-5.hnremote.net) |
| 2023-09-10 06:24:06 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-10 06:25:05 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) (Ping timeout: 246 seconds) |
| 2023-09-10 06:25:48 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) |
| 2023-09-10 06:29:43 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 248 seconds) |
| 2023-09-10 06:43:14 +0200 | migas7 | (~migas@astra4961.startdedicated.net) |
| 2023-09-10 06:43:28 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-09-10 06:44:11 +0200 | migas | (~migas@astra4961.startdedicated.net) (Read error: Connection reset by peer) |
| 2023-09-10 06:44:11 +0200 | migas7 | migas |
| 2023-09-10 06:58:40 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-10 07:03:03 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 2023-09-10 07:09:00 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) (Ping timeout: 246 seconds) |
| 2023-09-10 07:10:35 +0200 | _________ | (~nobody@user/noodly) (Server closed connection) |
| 2023-09-10 07:10:58 +0200 | _________ | (~nobody@user/noodly) |
| 2023-09-10 07:16:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-10 07:20:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-10 07:25:34 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-10 07:25:43 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2023-09-10 07:29:59 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 248 seconds) |
| 2023-09-10 07:30:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-10 07:31:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-09-10 07:32:06 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2023-09-10 07:34:19 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-09-10 07:44:21 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-10 07:44:27 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-09-10 07:48:52 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 258 seconds) |
| 2023-09-10 07:53:48 +0200 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-10 08:13:19 +0200 | bilegeek_ | (~bilegeek@16.sub-174-209-41.myvzw.com) (Quit: Leaving) |
| 2023-09-10 08:19:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-10 08:19:33 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-10 08:25:27 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 248 seconds) |
| 2023-09-10 08:26:23 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2023-09-10 08:28:05 +0200 | jackneill__ | (~Jackneill@20014C4E1E101A00E0C1D892CB4866EF.dsl.pool.telekom.hu) |
| 2023-09-10 08:28:21 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (Ping timeout: 260 seconds) |
| 2023-09-10 08:28:29 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2023-09-10 08:31:00 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-10 08:32:11 +0200 | puke | (~puke@user/puke) |
| 2023-09-10 08:35:51 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Server closed connection) |
| 2023-09-10 08:36:05 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 2023-09-10 08:38:34 +0200 | acidjnk | (~acidjnk@p200300d6e7072f8284f87a638e3ef811.dip0.t-ipconnect.de) |
| 2023-09-10 08:40:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-10 08:40:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18df:787d:85fc:cca8) (Remote host closed the connection) |
| 2023-09-10 08:41:50 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-10 08:42:31 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-10 08:42:51 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-10 09:14:52 +0200 | fendor | (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) |
| 2023-09-10 09:15:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-09-10 09:18:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18df:787d:85fc:cca8) |
| 2023-09-10 09:24:41 +0200 | sinbad | (~sinbad@user/sinbad) |
| 2023-09-10 09:25:18 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-09-10 09:36:58 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (Server closed connection) |
| 2023-09-10 09:39:35 +0200 | xff0x | (~xff0x@2405:6580:b080:900:775:bab:62a6:3a1d) (Ping timeout: 248 seconds) |
| 2023-09-10 09:39:48 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2023-09-10 09:39:58 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-09-10 09:40:11 +0200 | natto17 | (~natto@129.154.243.159) (Server closed connection) |
| 2023-09-10 09:41:34 +0200 | natto | (~natto@129.154.243.159) |
| 2023-09-10 09:42:15 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-09-10 09:52:23 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-10 10:05:08 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 246 seconds) |
| 2023-09-10 10:07:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9d7a:fcf5:f99f:89f2) |
| 2023-09-10 10:07:26 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-09-10 10:15:42 +0200 | dsrt^ | (~cd@c-66-56-7-24.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-10 10:16:13 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-09-10 10:16:21 +0200 | dsrt^ | (~cd@c-66-56-7-24.hsd1.ga.comcast.net) |
| 2023-09-10 10:21:58 +0200 | sinbad | (~sinbad@user/sinbad) (Quit: Leaving.) |
| 2023-09-10 10:23:36 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-10 10:29:44 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 246 seconds) |
| 2023-09-10 10:30:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-10 10:31:48 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-09-10 10:32:12 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-10 10:42:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 246 seconds) |
| 2023-09-10 10:44:39 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-09-10 10:56:22 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-10 10:56:28 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-09-10 11:05:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-10 11:08:56 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2023-09-10 11:11:46 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2023-09-10 11:17:40 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-10 11:22:50 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-10 11:47:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-10 12:06:09 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-10 12:09:44 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-10 12:13:27 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-10 12:13:32 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed) |
| 2023-09-10 12:17:18 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-09-10 12:27:08 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-10 12:30:37 +0200 | kronicma1 | (user98083@neotame.csclub.uwaterloo.ca) (Server closed connection) |
| 2023-09-10 12:30:57 +0200 | kronicma1 | (user9783@neotame.csclub.uwaterloo.ca) |
| 2023-09-10 12:33:12 +0200 | privacy | (~privacy@47.219.84.6) (Quit: Leaving) |
| 2023-09-10 12:37:42 +0200 | renegade | (~renegade@bcdcac82.skybroadband.com) |
| 2023-09-10 12:57:38 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-09-10 13:01:22 +0200 | mrmr1 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2023-09-10 13:06:16 +0200 | mrmr15 | (~mrmr@user/mrmr) |
| 2023-09-10 13:08:19 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-09-10 13:08:20 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-09-10 13:08:27 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-10 13:10:22 +0200 | acidjnk | (~acidjnk@p200300d6e7072f8284f87a638e3ef811.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-09-10 13:11:22 +0200 | acidjnk | (~acidjnk@p200300d6e7072f82d0f1ef0a895f1309.dip0.t-ipconnect.de) |
| 2023-09-10 13:11:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-10 13:21:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-10 13:32:24 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-10 13:33:13 +0200 | blomberg | (~default_u@59.99.25.95) |
| 2023-09-10 13:33:35 +0200 | <blomberg> | f 2 = 3; f n = f (n-1) ; it works fine |
| 2023-09-10 13:33:53 +0200 | <blomberg> | f n = f (n-1) ; f 2 = 3 ; -- doesn't |
| 2023-09-10 13:33:54 +0200 | fendor | (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) (Remote host closed the connection) |
| 2023-09-10 13:34:06 +0200 | <blomberg> | pattern matching is redundant |
| 2023-09-10 13:34:25 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-10 13:35:16 +0200 | <blomberg> | changing order does matter here, but not elsewhere where i can just use a function first later define |
| 2023-09-10 13:35:17 +0200 | fendor | (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) |
| 2023-09-10 13:35:32 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-10 13:38:48 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-09-10 13:38:49 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-09-10 13:44:39 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Server closed connection) |
| 2023-09-10 13:44:54 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2023-09-10 13:47:43 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-09-10 13:49:09 +0200 | <Axman6> | blomberg: the order of cases always matters, they are tested top to bottom |
| 2023-09-10 13:50:53 +0200 | <blomberg> | then what's decides it's invalid f 2 ; 2 is a constant so ya it's redundant ; but with multiple arguments it's messy |
| 2023-09-10 13:53:24 +0200 | <Axman6> | I'm not sure I understand the question, can you give an example of what's confusing you? |
| 2023-09-10 13:56:36 +0200 | <probie> | pattern matching in Haskell doesn't require mutually exclusive patterns, and whilst this can be useful it does mean that an ordering is required, and the order in which they appear in the code was is a fairly intuitive ordering to choose |
| 2023-09-10 13:57:11 +0200 | <[Leary]> | blomberg: GHC is just warning you that the `f 2` case is unreachable, because the `f n` case always matches. |
| 2023-09-10 13:57:48 +0200 | <probie> | % :set -Wall |
| 2023-09-10 13:57:48 +0200 | <yahb2> | <no output> |
| 2023-09-10 13:58:12 +0200 | <probie> | % f n = f (n-1); f 2 = 3 |
| 2023-09-10 13:58:13 +0200 | <yahb2> | <interactive>:61:16: warning: [-Woverlapping-patterns] ; Pattern match is redundant ; In an equation for ‘f’: f 2 = ... |
| 2023-09-10 13:58:26 +0200 | <probie> | % f n | n /= 2 = f (n-1); f 2 = 3 |
| 2023-09-10 13:58:26 +0200 | <yahb2> | <interactive>:63:1: error: [-Wname-shadowing, -Werror=name-shadowing] ; This binding for ‘f’ shadows the existing binding ; defined at <interactive>:61:1 ; ; <interactive>:63:1: warning:... |
| 2023-09-10 13:59:40 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 2023-09-10 14:01:18 +0200 | <probie> | I should have picked a different name for the second one to avoid the shadowing warning. |
| 2023-09-10 14:01:37 +0200 | <probie> | If you want the "general" case first, you need to explicitly exclude `2`. This is rarely done, because whilst in this case, GHC can infer that `f n | n /= 2 = ...` and `f 2 = ...` is exhaustive, for more complex things, it's not that smart |
| 2023-09-10 14:02:48 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-09-10 14:04:01 +0200 | <blomberg> | but it guards it matters, but it falls through |
| 2023-09-10 14:04:06 +0200 | <blomberg> | ? |
| 2023-09-10 14:05:48 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) (Ping timeout: 258 seconds) |
| 2023-09-10 14:06:24 +0200 | <[Leary]> | probie: GHC can't infer that even in this simple case. |
| 2023-09-10 14:09:25 +0200 | danza__ | (~francesco@151.37.225.16) |
| 2023-09-10 14:13:14 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-10 14:15:22 +0200 | superryn | (~superryn@47.186.178.98) (Quit: leaving) |
| 2023-09-10 14:16:52 +0200 | <probie> | % g n | n /= 2 = g (n-1); g 2 = 3 |
| 2023-09-10 14:16:52 +0200 | <yahb2> | <interactive>:65:1: error: [-Wname-shadowing, -Werror=name-shadowing] ; This binding for ‘g’ shadows the existing binding ; defined at <interactive>:39:1 ; ; <interactive>:65:1: warning:... |
| 2023-09-10 14:17:51 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
| 2023-09-10 14:18:42 +0200 | danza__ | (~francesco@151.37.225.16) (Ping timeout: 255 seconds) |
| 2023-09-10 14:20:02 +0200 | gnyeki_ | (~gnyeki@user/gnyeki) (Server closed connection) |
| 2023-09-10 14:20:11 +0200 | gnyeki | (~gnyeki@li578-216.members.linode.com) |
| 2023-09-10 14:20:11 +0200 | gnyeki | (~gnyeki@li578-216.members.linode.com) (Changing host) |
| 2023-09-10 14:20:11 +0200 | gnyeki | (~gnyeki@user/gnyeki) |
| 2023-09-10 14:20:59 +0200 | <probie> | [Leary]: huh, you're right. My memory must be playing tricks on me, because I thought it used to. |
| 2023-09-10 14:23:23 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) |
| 2023-09-10 14:24:47 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-10 14:34:14 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) (Quit: Leaving) |
| 2023-09-10 14:46:03 +0200 | <blomberg> | https://tio.run/##y0gszk7Nyfn/P10hUcFWIZGrwtbUgCsNyEkCcqOrdCpiuRQUyjNSi1KBtEa6gpEmkK6wNTQGUlW2QIEKkABXbmJmHlBDQVFmXomCRpqCkYKxJtf//wA |
| 2023-09-10 14:46:47 +0200 | <blomberg> | it says parse error { where (g 2) ; z= ...} inside where i made a funcall without binding |
| 2023-09-10 14:49:41 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-10 14:49:59 +0200 | <blomberg> | what about in guards --- does order there exist |
| 2023-09-10 14:51:57 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-09-10 14:52:02 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-09-10 14:54:41 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-10 14:54:52 +0200 | <blomberg> | i checked in guards order matters |
| 2023-09-10 14:55:22 +0200 | Adran | (~adran@botters/adran) (Server closed connection) |
| 2023-09-10 14:56:49 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-10 14:57:02 +0200 | Adran | (~adran@botters/adran) |
| 2023-09-10 15:03:39 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-09-10 15:04:21 +0200 | <blomberg> | can i use guards later or do guards have to begin alongside function def |
| 2023-09-10 15:04:34 +0200 | <blomberg> | f a b |.... |.... |.... |
| 2023-09-10 15:04:39 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-09-10 15:04:57 +0200 | <blomberg> | f a b = .... ;then; |....|....|.... |
| 2023-09-10 15:05:49 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Max SendQ exceeded) |
| 2023-09-10 15:06:04 +0200 | <blomberg> | f a b |...|...|... where .... ; is this the same as immediately above line |
| 2023-09-10 15:06:31 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-09-10 15:15:03 +0200 | <blomberg> | i checked itworks |
| 2023-09-10 15:19:05 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 2023-09-10 15:19:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-10 15:22:21 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 258 seconds) |
| 2023-09-10 15:22:35 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-10 15:24:39 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-09-10 15:25:26 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-09-10 15:25:48 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-09-10 15:37:39 +0200 | <blomberg> | if i use infinite recursion somehow haskell detects that and throws and error before hand |
| 2023-09-10 15:37:47 +0200 | <blomberg> | even in the compile step |
| 2023-09-10 15:40:27 +0200 | adium_ | (adium@user/adium) (Server closed connection) |
| 2023-09-10 15:41:47 +0200 | adium | (adium@user/adium) |
| 2023-09-10 15:48:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-09-10 15:50:03 +0200 | Guest3051 | (sid1055@id-1055.tinside.irccloud.com) (Server closed connection) |
| 2023-09-10 15:50:31 +0200 | Guest3051 | (sid1055@id-1055.tinside.irccloud.com) |
| 2023-09-10 15:51:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-10 15:53:54 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-10 15:56:28 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-10 15:56:28 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-10 15:56:28 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-10 15:58:56 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) |
| 2023-09-10 15:59:03 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-10 16:00:18 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-09-10 16:02:50 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) (Ping timeout: 246 seconds) |
| 2023-09-10 16:03:49 +0200 | <jackdk> | blomberg: a thunk being evaluated is replaced with a special blackhole value, and trying to evaluate a blackhole raises an error, I think |
| 2023-09-10 16:07:34 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-09-10 16:09:49 +0200 | <geekosaur> | it does not detect it at compile time though |
| 2023-09-10 16:10:34 +0200 | <c_wraith> | people using GHCI sometimes are unclear on which phase an expression failed to evaluate. |
| 2023-09-10 16:10:48 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) (Ping timeout: 246 seconds) |
| 2023-09-10 16:12:38 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-09-10 16:13:11 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 248 seconds) |
| 2023-09-10 16:14:13 +0200 | stites | (~stites@2607:fb91:dc1:c1b2:fd69:88e3:841c:3a75) |
| 2023-09-10 16:16:47 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) |
| 2023-09-10 16:17:39 +0200 | <EvanR> | basically a reentrant detector |
| 2023-09-10 16:18:42 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 258 seconds) |
| 2023-09-10 16:20:54 +0200 | ulysses4ever | (~artem@73.145.242.81) |
| 2023-09-10 16:28:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-09-10 16:30:53 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-09-10 16:33:23 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Ping timeout: 246 seconds) |
| 2023-09-10 16:37:40 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer) |
| 2023-09-10 16:41:18 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-10 16:46:19 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-10 16:50:00 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-10 16:57:03 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-10 16:57:28 +0200 | kuribas | (~user@ptr-17d51epsjevad8bnj8t.18120a2.ip6.access.telenet.be) |
| 2023-09-10 16:59:17 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-09-10 17:00:18 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-09-10 17:03:09 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds) |
| 2023-09-10 17:05:16 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-10 17:06:15 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-10 17:06:15 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-10 17:06:15 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-10 17:08:59 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-09-10 17:09:36 +0200 | kuribas | (~user@ptr-17d51epsjevad8bnj8t.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-09-10 17:10:40 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-10 17:11:44 +0200 | ulysses4ever | (~artem@73.145.242.81) (Read error: Connection reset by peer) |
| 2023-09-10 17:13:22 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-10 17:15:33 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-10 17:20:50 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-09-10 17:25:50 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-09-10 17:28:42 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Ping timeout: 245 seconds) |
| 2023-09-10 17:31:28 +0200 | <wroathe> | Hey guys, over the last week I've been playing around with type families. I've got two sets of type families that let me assert that a condition is true about a type, and then extract a specific Symbol from a type if it exists (or typeerror). Via GHCI both seem to be working great, but I'm now having trouble connecting them up via symbolVal to turn my Symbol into a String: |
| 2023-09-10 17:31:33 +0200 | <wroathe> | https://gist.github.com/JustinChristensen/7a9a356c2b963d9f0b65d6f67bc4953c#file-almostthere-hs-L84 |
| 2023-09-10 17:32:24 +0200 | <wroathe> | Given that GetPk1 (Rep X) will evaluate to a symbol like "foo". How do I go about defining a function that turns that into a term or gives me the typeerror? |
| 2023-09-10 17:33:24 +0200 | <wroathe> | The error is on lines 86-91. It seems to be evaluating "early" instead of waiting until the constraint HasPrimaryKey passes |
| 2023-09-10 17:34:20 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-10 17:34:43 +0200 | <wroathe> | Essentially the goal here is to make asReference2 @Foo evaluate to a String if GetPk1 (Rep Foo) is a Symbol, or to make asReference2 @Bar a TypeError if GetPk1 (Rep Bar) evaluates to a TypeError |
| 2023-09-10 17:35:04 +0200 | CiaoSen | (~Jura@2a05:5800:2d7:cc00:664b:f0ff:fe37:9ef) |
| 2023-09-10 17:36:57 +0200 | <wroathe> | You can see in the bottom comment that GetPk1 seems to be working according to spec |
| 2023-09-10 17:42:18 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) (Ping timeout: 255 seconds) |
| 2023-09-10 17:47:30 +0200 | <[Leary]> | wroathe: The implementation of TypeError as a type family has some issues, I suspect you're running into them. If you can get GHC 9.8.1alpha, try `Unsatisfiable`: https://github.com/adamgundry/ghc-proposals/blob/unsatisfiable/proposals/0000-unsatisfiable.rst |
| 2023-09-10 17:48:18 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-09-10 17:50:09 +0200 | <wroathe> | [Leary]: Ah. I that's a relief. I was wondering if I gravely misunderstood what I'd be able to do with type families in this context. |
| 2023-09-10 17:51:03 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) (Ping timeout: 250 seconds) |
| 2023-09-10 17:54:20 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-10 17:55:28 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-10 17:57:45 +0200 | Sciencentistguy7 | (~sciencent@hacksoc/ordinary-member) |
| 2023-09-10 17:59:19 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-09-10 17:59:38 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 244 seconds) |
| 2023-09-10 17:59:38 +0200 | Sciencentistguy7 | Sciencentistguy |
| 2023-09-10 17:59:53 +0200 | kuribas | (~user@ptr-17d51epsjevad8bnj8t.18120a2.ip6.access.telenet.be) |
| 2023-09-10 18:02:30 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-09-10 18:05:54 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-10 18:09:34 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-10 18:11:16 +0200 | <kuribas> | How do you continue type inference from a type error? |
| 2023-09-10 18:11:24 +0200 | <kuribas> | Do you just start at the next known type? |
| 2023-09-10 18:13:17 +0200 | <kuribas> | Or do you just insert the "expected type". |
| 2023-09-10 18:13:43 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-09-10 18:13:50 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-09-10 18:14:57 +0200 | <geekosaur> | I think it just uses the expected type |
| 2023-09-10 18:15:36 +0200 | <geekosaur> | this would of course lead to cascading errors if it's the expected type that's wrong |
| 2023-09-10 18:15:43 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-09-10 18:15:53 +0200 | <kuribas> | or if the unification bound type variables? |
| 2023-09-10 18:16:53 +0200 | <geekosaur> | mm, the unification would have failed so it would have had to infer those in some other way |
| 2023-09-10 18:17:03 +0200 | <geekosaur> | which is part of why you could get a type error cascade |
| 2023-09-10 18:17:05 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) |
| 2023-09-10 18:19:43 +0200 | <wroathe> | This "heat death" comment elicited a chuckle from me: https://youtu.be/fBFsxmJEk7M?t=3823 |
| 2023-09-10 18:21:02 +0200 | stites | (~stites@2607:fb91:dc1:c1b2:fd69:88e3:841c:3a75) (Read error: Connection reset by peer) |
| 2023-09-10 18:21:24 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-10 18:23:37 +0200 | <segfaultfizzbuzz> | max entropy is probably the best method of modeling software imo |
| 2023-09-10 18:23:54 +0200 | <mauke> | who is max entropy |
| 2023-09-10 18:24:14 +0200 | <segfaultfizzbuzz> | nyuk nyuk |
| 2023-09-10 18:24:44 +0200 | <geekosaur> | "Not us, boss!" |
| 2023-09-10 18:26:10 +0200 | <wroathe> | "Yeah, this type checker we've been buildng up for decades might be a little hard to understand" -- SPJ |
| 2023-09-10 18:27:16 +0200 | <Rembane> | Good quote |
| 2023-09-10 18:27:32 +0200 | <wroathe> | I'm paraphrasing |
| 2023-09-10 18:27:41 +0200 | <wroathe> | But yeah, that's the essence of what he expressed there |
| 2023-09-10 18:27:46 +0200 | <segfaultfizzbuzz> | what are the most common ways in which types become incorrect over time |
| 2023-09-10 18:28:01 +0200 | <kuribas> | My type checker supports rankN types and arbitrary constraints. |
| 2023-09-10 18:28:08 +0200 | <kuribas> | But not (yet) GADTs. |
| 2023-09-10 18:29:13 +0200 | <geekosaur> | segfaultfizzbuzz, usually adding extra return values to deal with unforeseen problems (think that infamous TRUE/FALSE/FILE_NOT_FOUND, but for real) |
| 2023-09-10 18:29:28 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-09-10 18:30:38 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-10 18:32:32 +0200 | <geekosaur> | types in Haskell usually become incorrect when refactorings change them, or new cases are added to a product type |
| 2023-09-10 18:33:20 +0200 | <EvanR> | correctness decay |
| 2023-09-10 18:33:36 +0200 | <EvanR> | the halflife of types |
| 2023-09-10 18:34:00 +0200 | <segfaultfizzbuzz> | do types encapsulate correctness? |
| 2023-09-10 18:34:18 +0200 | <segfaultfizzbuzz> | no, right? as in, anything can happen |
| 2023-09-10 18:34:24 +0200 | <segfaultfizzbuzz> | maybe types need types? lol |
| 2023-09-10 18:34:45 +0200 | <kuribas> | segfaultfizzbuzz: that's what dependent types do. |
| 2023-09-10 18:35:07 +0200 | <segfaultfizzbuzz> | but then the dependent type can be wrong...? |
| 2023-09-10 18:35:12 +0200 | <segfaultfizzbuzz> | maybe we should be modeling wrongness |
| 2023-09-10 18:36:35 +0200 | <Rembane> | Sounds like tests |
| 2023-09-10 18:37:07 +0200 | <segfaultfizzbuzz> | or machine learning |
| 2023-09-10 18:37:26 +0200 | <kuribas> | segfaultfizzbuzz: yes, then you are modelling your domain wrong. |
| 2023-09-10 18:37:42 +0200 | <segfaultfizzbuzz> | inferring types from data...? |
| 2023-09-10 18:38:09 +0200 | <kuribas> | that's called type providers. |
| 2023-09-10 18:38:22 +0200 | <kuribas> | Or just dependent types. |
| 2023-09-10 18:38:44 +0200 | <segfaultfizzbuzz> | but this type annotation stuff assumes i am intelligent as a human, which is false |
| 2023-09-10 18:39:00 +0200 | <segfaultfizzbuzz> | or that i have some kind of supernatural ability to determine what is true |
| 2023-09-10 18:39:13 +0200 | <kuribas> | The data represents the domain, then the dependent type checks that the code follows the domain. |
| 2023-09-10 18:39:13 +0200 | <EvanR> | a well typed program can't go wrong--- at least it can't get stuck--- at least it's well typed |
| 2023-09-10 18:39:42 +0200 | <EvanR> | there are type systems for everything, well typed means what you want it to mean |
| 2023-09-10 18:40:49 +0200 | <EvanR> | it's like a player following the rules of the game or not. What it means depends on the game |
| 2023-09-10 18:42:37 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-09-10 18:43:07 +0200 | <segfaultfizzbuzz> | it seems like it would also be best to define routes by which a program in an incorrect state can become correct again |
| 2023-09-10 18:43:24 +0200 | <segfaultfizzbuzz> | in addition to avoiding becoming incorrect (or never becoming incorrect), |
| 2023-09-10 18:45:49 +0200 | <EvanR> | HTML did that |
| 2023-09-10 18:46:04 +0200 | <EvanR> | so people spent most of their time incorrect |
| 2023-09-10 18:46:39 +0200 | <segfaultfizzbuzz> | haha |
| 2023-09-10 18:46:51 +0200 | <segfaultfizzbuzz> | i was wondering why html doesn't have types |
| 2023-09-10 18:47:11 +0200 | <segfaultfizzbuzz> | well so maybe computers need "meaning inference", where you express incorrect stuff and the computer snaps to a "correct grid" |
| 2023-09-10 18:47:41 +0200 | sinbad | (~sinbad@user/sinbad) |
| 2023-09-10 18:47:44 +0200 | <mauke> | ah, DWIM |
| 2023-09-10 18:48:09 +0200 | <mauke> | pioneered by perl, turned up to 11 by php |
| 2023-09-10 18:48:37 +0200 | <segfaultfizzbuzz> | lol |
| 2023-09-10 18:48:39 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-09-10 18:48:57 +0200 | <c_wraith> | https://hackage.haskell.org/package/acme-php helpful |
| 2023-09-10 18:51:02 +0200 | <segfaultfizzbuzz> | lol |
| 2023-09-10 18:52:51 +0200 | <EvanR> | if you built something to have this correct grid in place, I think you're good, you can stop |
| 2023-09-10 18:53:08 +0200 | <segfaultfizzbuzz> | "The flexibility of Haskell and the safety of PHP" lol |
| 2023-09-10 18:56:21 +0200 | kuribas | (~user@ptr-17d51epsjevad8bnj8t.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-09-10 18:56:34 +0200 | kuribas | (~user@ptr-17d51ep7b83jc1lml0b.18120a2.ip6.access.telenet.be) |
| 2023-09-10 19:01:26 +0200 | <segfaultfizzbuzz> | maybe the compiler could use deep learning to go and fix the problems at the foundations of mathematics to increase the correctness of your software |
| 2023-09-10 19:01:32 +0200 | <geekosaur> | for some reason I am reminded of that question someone asked Charles Babbage |
| 2023-09-10 19:02:56 +0200 | <EvanR> | leibniz's calculus ratiocinator |
| 2023-09-10 19:03:42 +0200 | <segfaultfizzbuzz> | i am trying to find you the talk, there was an academic talk about using gradient descent to discover recursive mathematical identities |
| 2023-09-10 19:04:25 +0200 | <EvanR> | just breadth first search all formulas until you find the one that works |
| 2023-09-10 19:04:45 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-10 19:05:32 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-09-10 19:05:43 +0200 | <geekosaur> | also I thought DWIM was pioneered by WATFIV |
| 2023-09-10 19:07:14 +0200 | tremon | (~tremon@83.80.159.219) |
| 2023-09-10 19:15:13 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-09-10 19:17:11 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-10 19:22:33 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-10 19:23:29 +0200 | Square | (~Square@user/square) |
| 2023-09-10 19:25:24 +0200 | <segfaultfizzbuzz> | hm, i got a good one |
| 2023-09-10 19:26:27 +0200 | <segfaultfizzbuzz> | as memory bandwidth grows it becomes increasingly difficult to directly supervise the computations which occur |
| 2023-09-10 19:26:57 +0200 | <monochrom> | "If there is no one in the forest, does the computer still do what you mean?" :) |
| 2023-09-10 19:28:06 +0200 | <segfaultfizzbuzz> | something like that,... |
| 2023-09-10 19:28:29 +0200 | <segfaultfizzbuzz> | a type, or a program invariant is an attempt at increasing how much control you have when you are not directly observing your program |
| 2023-09-10 19:29:09 +0200 | <segfaultfizzbuzz> | i mean you can directly supervise the program as in inspect the output, but then there also is the amount of control you can express |
| 2023-09-10 19:29:21 +0200 | <segfaultfizzbuzz> | in the form of a program or its constraints (types) |
| 2023-09-10 19:30:41 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-10 19:39:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-09-10 19:39:41 +0200 | <EvanR> | I don't even see the types anymore just blonde brunette redhead |
| 2023-09-10 19:40:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18df:787d:85fc:cca8) (Remote host closed the connection) |
| 2023-09-10 19:40:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18df:787d:85fc:cca8) |
| 2023-09-10 19:40:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-09-10 19:42:09 +0200 | habib | (~habib@91.196.222.95) |
| 2023-09-10 19:42:45 +0200 | trev | (~trev@user/trev) |
| 2023-09-10 19:44:43 +0200 | <habib> | hey is the maintainer of blazeT in this room? i've filed a pr that fixes breakage due to Cabal >= 2.2 (the removal of `haddockHscolour` from `HaddockFlags`) as well as base >= 4.11 (the Monoid-Semigroup split) |
| 2023-09-10 19:44:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-10 19:45:38 +0200 | fryguybob | (~fryguybob@cpe-24-94-50-22.stny.res.rr.com) (Quit: leaving) |
| 2023-09-10 19:48:08 +0200 | sweater1 | (~sweater@206.81.18.26) (Server closed connection) |
| 2023-09-10 19:48:29 +0200 | sweater1 | (~sweater@206.81.18.26) |
| 2023-09-10 19:48:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 258 seconds) |
| 2023-09-10 19:50:49 +0200 | <segfaultfizzbuzz> | .quir |
| 2023-09-10 19:50:51 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) (Quit: segfaultfizzbuzz) |
| 2023-09-10 19:55:09 +0200 | cafkafk_ | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-09-10 20:00:37 +0200 | cafkafk_ | (~cafkafk@fsf/member/cafkafk) |
| 2023-09-10 20:02:01 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-10 20:04:18 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-09-10 20:13:45 +0200 | privacy | (~privacy@47.219.84.6) (Quit: Leaving) |
| 2023-09-10 20:19:56 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2023-09-10 20:21:24 +0200 | michalz | (~michalz@185.246.207.221) |
| 2023-09-10 20:21:42 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-10 20:22:01 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-10 20:22:58 +0200 | aaronv | (~aaronv@user/aaronv) (Client Quit) |
| 2023-09-10 20:27:15 +0200 | trev | (~trev@user/trev) |
| 2023-09-10 20:28:51 +0200 | trev | (~trev@user/trev) (Client Quit) |
| 2023-09-10 20:35:46 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-09-10 20:41:18 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-09-10 20:42:28 +0200 | kuribas | (~user@ptr-17d51ep7b83jc1lml0b.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-09-10 20:42:51 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-10 20:45:39 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-10 20:55:48 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-10 21:04:31 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-09-10 21:07:37 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-10 21:17:03 +0200 | dcoutts | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) (Remote host closed the connection) |
| 2023-09-10 21:21:17 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-09-10 21:26:19 +0200 | danza | (~francesco@151.47.250.148) |
| 2023-09-10 21:29:27 +0200 | dcoutts | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) |
| 2023-09-10 21:32:29 +0200 | pavonia | (~user@user/siracusa) |
| 2023-09-10 21:34:15 +0200 | dcoutts | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) (Ping timeout: 248 seconds) |
| 2023-09-10 21:35:15 +0200 | todi | (~todi@p5dca5c94.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-09-10 21:35:41 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-09-10 21:35:57 +0200 | todi | (~todi@p5dca5c94.dip0.t-ipconnect.de) |
| 2023-09-10 21:38:09 +0200 | sinbad | (~sinbad@user/sinbad) () |
| 2023-09-10 21:39:51 +0200 | danza | (~francesco@151.47.250.148) (Remote host closed the connection) |
| 2023-09-10 21:40:13 +0200 | danza | (~francesco@151.47.250.148) |
| 2023-09-10 21:40:40 +0200 | integral | (sid296274@user/integral) (Server closed connection) |
| 2023-09-10 21:40:54 +0200 | integral | (sid296274@user/integral) |
| 2023-09-10 21:41:18 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-10 21:42:53 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-10 21:44:05 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-10 21:44:11 +0200 | dcoutts | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) |
| 2023-09-10 21:47:48 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-10 21:48:10 +0200 | danza | (~francesco@151.47.250.148) (Remote host closed the connection) |
| 2023-09-10 21:48:15 +0200 | ft | (~ft@p4fc2ae5a.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-09-10 21:49:56 +0200 | ft | (~ft@p508dbaa9.dip0.t-ipconnect.de) |
| 2023-09-10 21:55:39 +0200 | CiaoSen | (~Jura@2a05:5800:2d7:cc00:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds) |
| 2023-09-10 21:56:05 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-10 22:00:06 +0200 | jackneill__ | (~Jackneill@20014C4E1E101A00E0C1D892CB4866EF.dsl.pool.telekom.hu) (Ping timeout: 246 seconds) |
| 2023-09-10 22:00:51 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-10 22:01:50 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-10 22:06:29 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!) |
| 2023-09-10 22:08:46 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-09-10 22:10:53 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-10 22:17:15 +0200 | blomberg | (~default_u@59.99.25.95) (Ping timeout: 246 seconds) |
| 2023-09-10 22:22:29 +0200 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
| 2023-09-10 22:27:25 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-10 22:32:08 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Server closed connection) |
| 2023-09-10 22:32:17 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) |
| 2023-09-10 22:34:36 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-10 22:35:01 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-09-10 22:36:19 +0200 | <habib> | hey, if anyone can help me with an issue, i'd be very grateful. i've created a pull request for a package which seems to be unmaintained (no closed prs, one issue and two open prs); the last comment by the author and maintainer was on a similar pr to the one i opened almost 3 years ago where he said, “I will try to have a look this weekend!” and then silence. i sent him an email to two addresses, but i just got an undeliverable email back, with no |
| 2023-09-10 22:36:19 +0200 | <habib> | details as to which address couldn't be reached. i am considering just publishing a form on hackage, but would like to try and get a hold of him before if i can. if anyone knows how i can do so, please direct me. his name is johannes gerer. |
| 2023-09-10 22:37:38 +0200 | <habib> | publishing a fork* |
| 2023-09-10 22:37:43 +0200 | acidjnk | (~acidjnk@p200300d6e7072f82d0f1ef0a895f1309.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-09-10 22:40:18 +0200 | <habib> | even his website seems to have been down for a couple years, maybe 6–9 months after his last response on the pr |
| 2023-09-10 22:42:25 +0200 | <geekosaur> | if googling his name doesn't do it, I'd just ask the Hackage trustees to transfer ownership |
| 2023-09-10 22:47:24 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-09-10 22:47:27 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2023-09-10 22:49:07 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-09-10 22:49:24 +0200 | cafkafk_ | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 246 seconds) |
| 2023-09-10 22:50:34 +0200 | <habib> | what's the etiquette on that? seems a bit extreme to take over someone's package, though i can see the upside for people who upgrade their compiler and base versions and want a project which depends on it with no upper version bound to still work |
| 2023-09-10 22:52:28 +0200 | <habib> | also, would it be okay (or even possible) to just upload a fork first and then ask the trustees to merge the version histories if they do decide to give access to the original package? |
| 2023-09-10 22:57:39 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-09-10 23:00:05 +0200 | <dminuoso> | habib: Taking packages over is established and official practice |
| 2023-09-10 23:00:28 +0200 | <dminuoso> | Consider, there is a package that is no longer maintained but apparently used. |
| 2023-09-10 23:00:38 +0200 | <habib> | just noticed he has some activity on GitHub this year, a little sparse, but definitely more than the preceding two years. normal amount of activity for someone who does some open source on the side |
| 2023-09-10 23:00:48 +0200 | <dminuoso> | Dont worry too much about it. |
| 2023-09-10 23:01:13 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-10 23:01:30 +0200 | <dminuoso> | https://wiki.haskell.org/Taking_over_a_package |
| 2023-09-10 23:01:41 +0200 | <habib> | thanks dminuoso |
| 2023-09-10 23:01:55 +0200 | <habib> | i'll take that into consideration |
| 2023-09-10 23:02:05 +0200 | <dminuoso> | habib: Note, even if you dont want to take over maintainership, they can upload a new package. |
| 2023-09-10 23:02:16 +0200 | <dminuoso> | For changes/patches you provide |
| 2023-09-10 23:02:20 +0200 | <habib> | ah, interesting |
| 2023-09-10 23:03:08 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 248 seconds) |
| 2023-09-10 23:03:09 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-10 23:05:34 +0200 | <habib> | dminuouso: how much time to respond would be reasonable to give them? a week? a month? |
| 2023-09-10 23:05:36 +0200 | <dminuoso> | habib: Further, taking over ownership is still not a issue either. |
| 2023-09-10 23:05:40 +0200 | <dminuoso> | habib: Read the wiki. |
| 2023-09-10 23:06:23 +0200 | <dminuoso> | habib: The reason its not an issue, is that for 1 year if the original maintainer responds, they will unconditionally get ownership back. |
| 2023-09-10 23:07:24 +0200 | <habib> | okay, and it seems like from time of announcement of intention to actual takeover, the admins will give that time. i was thinking i should wait before i announce my intent |
| 2023-09-10 23:07:31 +0200 | <habib> | but that makes sense |
| 2023-09-10 23:08:53 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-10 23:18:34 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-09-10 23:22:47 +0200 | fendor | (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) (Remote host closed the connection) |
| 2023-09-10 23:36:01 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-10 23:40:36 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-10 23:41:18 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-09-10 23:42:24 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-10 23:43:26 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-09-10 23:48:07 +0200 | stites | (~stites@130.44.147.204) (Read error: Connection reset by peer) |
| 2023-09-10 23:48:21 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-10 23:49:05 +0200 | jargon | (~jargon@184.101.67.95) |
| 2023-09-10 23:50:43 +0200 | malte | (~malte@mal.tc) |
| 2023-09-10 23:52:57 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 258 seconds) |
| 2023-09-10 23:53:06 +0200 | stites | (~stites@2607:fb91:dc1:d690:17dd:ae60:28fd:17ef) |
| 2023-09-10 23:53:25 +0200 | infinity0_ | (~infinity0@pwned.gg) |
| 2023-09-10 23:53:25 +0200 | infinity0 | (~infinity0@pwned.gg) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 2023-09-10 23:53:25 +0200 | infinity0_ | infinity0 |