| 2022-04-04 00:01:50 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 2022-04-04 00:04:49 +0200 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-04 00:05:18 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2022-04-04 00:05:41 +0200 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-04 00:06:48 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 00:09:36 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-04 00:12:41 +0200 | kaph | (~kaph@151.35.76.11) (Read error: Connection reset by peer) |
| 2022-04-04 00:14:51 +0200 | kaph | (~kaph@151.35.76.11) |
| 2022-04-04 00:15:19 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-04 00:15:38 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) |
| 2022-04-04 00:16:35 +0200 | crazazy | (~user@130.89.171.62) (Ping timeout: 256 seconds) |
| 2022-04-04 00:16:47 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-04 00:17:09 +0200 | BlackboardN | (~nathan@user/BlackboardN) (Ping timeout: 256 seconds) |
| 2022-04-04 00:18:13 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-04 00:21:46 +0200 | kaph | (~kaph@151.35.76.11) (Read error: Connection reset by peer) |
| 2022-04-04 00:21:55 +0200 | fendor | (~fendor@178.115.59.46.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-04-04 00:23:31 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-04 00:25:32 +0200 | srk- | (~sorki@user/srk) |
| 2022-04-04 00:27:11 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-04 00:27:18 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:b89d:8c20:3683:54c9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-04 00:28:23 +0200 | srk | (~sorki@user/srk) (Ping timeout: 260 seconds) |
| 2022-04-04 00:28:26 +0200 | srk- | srk |
| 2022-04-04 00:29:13 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-04 00:30:53 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-04 00:37:44 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-04 00:40:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-04 00:42:16 +0200 | srk- | (~sorki@user/srk) |
| 2022-04-04 00:43:32 +0200 | dudek | (~dudek@185.150.236.127) (Quit: Leaving) |
| 2022-04-04 00:44:36 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-04-04 00:45:04 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-04 00:45:23 +0200 | srk | (~sorki@user/srk) (Ping timeout: 260 seconds) |
| 2022-04-04 00:45:23 +0200 | srk- | srk |
| 2022-04-04 00:47:59 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-04 00:49:43 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-04 00:49:43 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-04 00:49:43 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-04 00:52:15 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
| 2022-04-04 00:52:16 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-04-04 00:53:43 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-04 00:55:27 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds) |
| 2022-04-04 00:57:33 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-04 01:03:23 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) (Ping timeout: 260 seconds) |
| 2022-04-04 01:07:21 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 256 seconds) |
| 2022-04-04 01:08:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-04 01:08:43 +0200 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 260 seconds) |
| 2022-04-04 01:09:12 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-04 01:10:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-04 01:11:13 +0200 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
| 2022-04-04 01:11:38 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-04 01:15:40 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-04 01:15:40 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-04-04 01:15:40 +0200 | finn_elija | FinnElija |
| 2022-04-04 01:23:32 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 272 seconds) |
| 2022-04-04 01:26:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-04 01:27:12 +0200 | chenqisu1 | (~chenqisu1@183.217.200.168) |
| 2022-04-04 01:27:43 +0200 | chenqisu1 | (~chenqisu1@183.217.200.168) (Max SendQ exceeded) |
| 2022-04-04 01:28:23 +0200 | chenqisu1 | (~chenqisu1@183.217.200.168) |
| 2022-04-04 01:28:50 +0200 | chenqisu1 | (~chenqisu1@183.217.200.168) (Max SendQ exceeded) |
| 2022-04-04 01:29:18 +0200 | chenqisu1 | (~chenqisu1@183.217.200.168) |
| 2022-04-04 01:35:34 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 272 seconds) |
| 2022-04-04 01:38:44 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 01:39:39 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-04 01:40:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-04 01:41:20 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-04-04 01:42:33 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-04-04 01:43:00 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 240 seconds) |
| 2022-04-04 01:45:21 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Quit: Lost terminal) |
| 2022-04-04 01:48:04 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-04-04 01:50:05 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-04 01:53:04 +0200 | <dons> | morning all. happy monday. |
| 2022-04-04 01:55:21 +0200 | <geekosaur> | o/ |
| 2022-04-04 01:58:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-04-04 01:59:00 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2022-04-04 02:00:06 +0200 | <jackdk> | Yes it is |
| 2022-04-04 02:01:13 +0200 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-04-04 02:02:28 +0200 | <Axman6> | Well, it is definitely Monday |
| 2022-04-04 02:03:11 +0200 | <hpc> | all day every day |
| 2022-04-04 02:05:07 +0200 | <Axman6> | Except for fives of the days |
| 2022-04-04 02:06:34 +0200 | spacenautx | (~spacenaut@user/spacenautx) (Quit: WeeChat 3.4.1) |
| 2022-04-04 02:07:38 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-04-04 02:11:59 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-04-04 02:12:46 +0200 | <hpc> | four |
| 2022-04-04 02:12:54 +0200 | <hpc> | there are time zones with greater than 12 hours of adjustment |
| 2022-04-04 02:12:59 +0200 | <Axman6> | yeah depends how you look at it |
| 2022-04-04 02:13:03 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 02:13:28 +0200 | <Axman6> | and most people don't think about days actually being more than 48 hours long... |
| 2022-04-04 02:14:04 +0200 | <hpc> | sadly only in the positive direction |
| 2022-04-04 02:14:08 +0200 | <hpc> | negative still caps out at -12 |
| 2022-04-04 02:14:16 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-04 02:14:17 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-04 02:14:17 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-04 02:14:20 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-04 02:15:28 +0200 | geekosaur | used to use large negative or positive TZ adjustments to get `date` to calculate times in past or future, before that functionality became standard |
| 2022-04-04 02:15:41 +0200 | <Axman6> | D: |
| 2022-04-04 02:15:58 +0200 | <Axman6> | I live in UTC +3600 |
| 2022-04-04 02:17:55 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-04-04 02:18:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-04 02:19:09 +0200 | <jackdk> | hpc: New Zealand during summer time is UTC+13 IIRC |
| 2022-04-04 02:19:49 +0200 | <hpc> | a couple of islands have +14 |
| 2022-04-04 02:20:12 +0200 | <hpc> | well, +1400 |
| 2022-04-04 02:20:22 +0200 | <hpc> | because there's also +530, +545, and a few other weird ones |
| 2022-04-04 02:22:20 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 246 seconds) |
| 2022-04-04 02:28:39 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-04 02:33:12 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-04 02:35:02 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-04-04 02:38:17 +0200 | <jackdk> | Eucla |
| 2022-04-04 02:38:26 +0200 | <abastro[m]> | Wh is 545 |
| 2022-04-04 02:38:36 +0200 | <abastro[m]> | I get that 30min adjustment is a thing |
| 2022-04-04 02:39:03 +0200 | <abastro[m]> | Given how countries dislike being identical to each other |
| 2022-04-04 02:39:06 +0200 | <abastro[m]> | But.. 45? |
| 2022-04-04 02:39:17 +0200 | <Axman6> | was it Nepal? |
| 2022-04-04 02:40:07 +0200 | <geekosaur> | there's a couple of :45s and I think one :15 |
| 2022-04-04 02:44:11 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Quit: leaving) |
| 2022-04-04 02:47:56 +0200 | rawley_ | (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) |
| 2022-04-04 02:48:24 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 272 seconds) |
| 2022-04-04 02:51:46 +0200 | <Axman6> | random thought, given that C++'s implementation of generics involves full monomorphisation, does that mean it's impossible to use non-uniform recursive types (I think that' |
| 2022-04-04 02:51:54 +0200 | <Axman6> | s what they're called...)? |
| 2022-04-04 02:52:12 +0200 | <Axman6> | like data Tree a = Node a (Tree (a,a)) (Tree (a,a) | Nil |
| 2022-04-04 03:01:17 +0200 | <jackdk> | Axman6: you mean polymorphic recursion? |
| 2022-04-04 03:02:11 +0200 | phma | (phma@2001:5b0:210f:36e8:e24d:2973:8920:8f2a) (Read error: Connection reset by peer) |
| 2022-04-04 03:02:14 +0200 | <Axman6> | I guess |
| 2022-04-04 03:02:34 +0200 | phma | (~phma@host-67-44-208-51.hnremote.net) |
| 2022-04-04 03:04:00 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 03:08:30 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-04 03:08:55 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-04 03:08:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-04 03:09:23 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-04-04 03:10:00 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-04 03:10:37 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-04 03:16:44 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-04 03:17:23 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 250 seconds) |
| 2022-04-04 03:17:30 +0200 | neurocyte86144 | (~neurocyte@IP-045010063124.dynamic.medianet-world.de) |
| 2022-04-04 03:17:31 +0200 | neurocyte86144 | (~neurocyte@IP-045010063124.dynamic.medianet-world.de) (Changing host) |
| 2022-04-04 03:17:31 +0200 | neurocyte86144 | (~neurocyte@user/neurocyte) |
| 2022-04-04 03:19:23 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-04 03:19:37 +0200 | neurocyte8614 | (~neurocyte@user/neurocyte) (Ping timeout: 256 seconds) |
| 2022-04-04 03:19:37 +0200 | neurocyte86144 | neurocyte8614 |
| 2022-04-04 03:25:46 +0200 | Topsi | (~Tobias@dyndsl-095-033-019-200.ewe-ip-backbone.de) (Ping timeout: 272 seconds) |
| 2022-04-04 03:31:57 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 03:35:42 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2022-04-04 03:39:31 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-04 03:41:26 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 246 seconds) |
| 2022-04-04 03:42:43 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-04 03:42:53 +0200 | <abastro[m]> | I guess that is impossible |
| 2022-04-04 03:43:05 +0200 | <abastro[m]> | Tho they might not dare think of such as well |
| 2022-04-04 03:45:23 +0200 | Guest60 | (~Guest60@2001:19f0:7001:3383:5400:3ff:fea2:fee5) |
| 2022-04-04 03:45:46 +0200 | Guest60 | (~Guest60@2001:19f0:7001:3383:5400:3ff:fea2:fee5) (Client Quit) |
| 2022-04-04 03:50:01 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Quit: xff0x) |
| 2022-04-04 03:50:24 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-04 03:52:48 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 03:56:48 +0200 | chenqisu1 | (~chenqisu1@183.217.200.168) (Ping timeout: 272 seconds) |
| 2022-04-04 03:57:17 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-04 03:59:42 +0200 | <pavonia> | Does stack share installations of the same package versions across different projects? |
| 2022-04-04 04:03:47 +0200 | kaph | (~kaph@pa-18-166-251.service.infuturo.it) |
| 2022-04-04 04:03:57 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-04 04:06:31 +0200 | cajun | (~cajun@ip98-163-218-217.no.no.cox.net) (Quit: WeeChat 3.4) |
| 2022-04-04 04:08:02 +0200 | kaph | (~kaph@pa-18-166-251.service.infuturo.it) (Ping timeout: 246 seconds) |
| 2022-04-04 04:08:29 +0200 | <geekosaur> | yes |
| 2022-04-04 04:08:45 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-04-04 04:08:45 +0200 | <geekosaur> | that's oone of its purposes (although modern cabal does so as well) |
| 2022-04-04 04:08:58 +0200 | kaph | (~kaph@pa-18-166-251.service.infuturo.it) |
| 2022-04-04 04:11:31 +0200 | <dons> | do we have a sortOn for partitioning a vector, without tuping the vector elements on the partition key? |
| 2022-04-04 04:11:57 +0200 | <dons> | maybe I should just stick the elements in a map |
| 2022-04-04 04:18:21 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-04-04 04:19:08 +0200 | slack1256 | (~slack1256@191.125.227.81) |
| 2022-04-04 04:22:45 +0200 | <pavonia> | geekosaur: And can you also configure it in a way that you have one preferred set of packages for the whole system that is used with ghc/ghci without the need to create a new project? |
| 2022-04-04 04:24:20 +0200 | <geekosaur> | Not as such, although there is a "global project" that is used if you aren't in another project |
| 2022-04-04 04:24:43 +0200 | <geekosaur> | I think using it that way is disrecommended |
| 2022-04-04 04:25:17 +0200 | <geekosaur> | cabal *does* support that, via cabal install --lib, although it'll still prefer a local project's config |
| 2022-04-04 04:25:38 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-04-04 04:26:14 +0200 | <pavonia> | It's just that I sometimes don't want to create a full project, just create a new module for scripting and loading various packages from there |
| 2022-04-04 04:27:00 +0200 | Inst | (~Liam@2601:6c4:4080:3f80:854:307a:efd:ab95) (Ping timeout: 240 seconds) |
| 2022-04-04 04:27:10 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-04 04:29:32 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-04 04:30:21 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-04 04:32:41 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-04 04:34:19 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 260 seconds) |
| 2022-04-04 04:34:32 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-04 04:34:45 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-04 04:34:51 +0200 | <geekosaur> | not finding good docs for the global project, sadly. but I think you just find its stack.yaml and add the packages you want to it |
| 2022-04-04 04:36:18 +0200 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-04 04:39:43 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Quit: xff0x) |
| 2022-04-04 04:40:32 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-04 04:41:29 +0200 | <janus> | pavonia: do you know about cabal scripts? |
| 2022-04-04 04:41:35 +0200 | <sm> | yup the global project works fine, ~/.stack/global-project/stack.yaml |
| 2022-04-04 04:41:42 +0200 | <janus> | with the {- cabal: ... -} syntax |
| 2022-04-04 04:41:55 +0200 | <pavonia> | I don't |
| 2022-04-04 04:44:25 +0200 | abastro | (~abab9579@143.248.229.232) |
| 2022-04-04 04:45:14 +0200 | <pavonia> | On Windows the installer asks for a place to install stack but all the additional files still seem to get somewhere completely else :S |
| 2022-04-04 04:45:43 +0200 | <janus> | pavonia: check out the block after "With a script that looks like": https://cabal.readthedocs.io/en/3.6/cabal-commands.html#cabal-v2-run |
| 2022-04-04 04:47:45 +0200 | <pavonia> | Interesting |
| 2022-04-04 04:56:13 +0200 | kaph | (~kaph@pa-18-166-251.service.infuturo.it) (Ping timeout: 260 seconds) |
| 2022-04-04 04:58:07 +0200 | yosef` | (~yosef`@45.32.73.39) |
| 2022-04-04 04:59:30 +0200 | abastro | (~abab9579@143.248.229.232) () |
| 2022-04-04 04:59:52 +0200 | abastro | (~abab9579@143.248.229.232) |
| 2022-04-04 05:00:32 +0200 | <abastro[m]> | Global project would be great to have |
| 2022-04-04 05:06:15 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 05:06:38 +0200 | <abastro> | I mean, in cabal |
| 2022-04-04 05:10:43 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 260 seconds) |
| 2022-04-04 05:20:59 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2022-04-04 05:31:07 +0200 | kaph | (~kaph@pa-18-166-251.service.infuturo.it) |
| 2022-04-04 05:32:21 +0200 | auri | (~quassel@fsf/member/auri) |
| 2022-04-04 05:32:38 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-04 05:32:39 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-04-04 05:33:18 +0200 | yosef` | (~yosef`@45.32.73.39) (Quit: yosef`) |
| 2022-04-04 05:38:51 +0200 | auri | (~quassel@fsf/member/auri) () |
| 2022-04-04 05:38:54 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-04 05:39:06 +0200 | auri | (~quassel@fsf/member/auri) |
| 2022-04-04 05:39:18 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-04 05:40:28 +0200 | yosef` | (~user@223.73.113.250) |
| 2022-04-04 05:41:03 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-04 05:41:46 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-04 05:41:47 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-04 05:41:47 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-04 05:42:42 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 05:46:22 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-04-04 05:46:27 +0200 | russruss | (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-04 05:47:26 +0200 | abastro | (~abab9579@143.248.229.232) (Ping timeout: 246 seconds) |
| 2022-04-04 05:49:52 +0200 | russruss | (~russruss@my.russellmcc.com) |
| 2022-04-04 05:52:18 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-04 05:58:33 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-04 06:00:09 +0200 | auri | (~quassel@fsf/member/auri) () |
| 2022-04-04 06:00:39 +0200 | auri | (~quassel@fsf/member/auri) |
| 2022-04-04 06:03:33 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Quit: xff0x) |
| 2022-04-04 06:04:48 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-04 06:07:51 +0200 | rawley_ | (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) (Remote host closed the connection) |
| 2022-04-04 06:07:51 +0200 | rawley | (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) (Remote host closed the connection) |
| 2022-04-04 06:07:58 +0200 | yosef` | (~user@223.73.113.250) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2022-04-04 06:08:35 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-04 06:09:23 +0200 | yosef` | (~user@223.73.113.250) |
| 2022-04-04 06:10:35 +0200 | <jackdk> | A single consistent global package set was the cause of the infamous "cabal hell", back in the day |
| 2022-04-04 06:11:13 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Quit: xff0x) |
| 2022-04-04 06:13:22 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-04 06:13:36 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-04-04 06:17:41 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.185) |
| 2022-04-04 06:23:20 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-04 06:32:57 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Quit: xff0x) |
| 2022-04-04 06:36:17 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-04 06:38:10 +0200 | <Axman6> | dons: now sure I understand the question, but it sounds a little like the magic going on in the discrimination package |
| 2022-04-04 06:39:30 +0200 | sloorush | (~sloorush@136.233.9.99) |
| 2022-04-04 06:40:47 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-04-04 06:42:11 +0200 | kaph | (~kaph@pa-18-166-251.service.infuturo.it) (Read error: Connection reset by peer) |
| 2022-04-04 06:42:16 +0200 | mbuf | (~Shakthi@171.61.243.124) |
| 2022-04-04 06:42:26 +0200 | kaph | (~kaph@151.82.171.171) |
| 2022-04-04 06:43:35 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-04-04 06:44:35 +0200 | <dons> | yeah along those lines, actually. groupWith :: Grouping b => (a -> b) -> [a] -> [[a]] |
| 2022-04-04 06:44:59 +0200 | <Axman6> | are you familliar with the library? |
| 2022-04-04 06:45:05 +0200 | <dons> | no, hadn't seen it before |
| 2022-04-04 06:45:07 +0200 | <Axman6> | I'm... too familliar with it |
| 2022-04-04 06:45:48 +0200 | <Axman6> | I'll find the LambdaJam video for you |
| 2022-04-04 06:46:52 +0200 | <Axman6> | https://www.youtube.com/watch?v=eXDJ5Jcbgk8 <- you could nearly hear people's heads explode in the room, either from having no idea what was going on, or understanding what was going on |
| 2022-04-04 06:49:04 +0200 | <dons> | nice, hadn't seen that talk |
| 2022-04-04 06:49:34 +0200 | <dons> | but yes along these lines of avoiding concrete data being generated to do discrimination between elements |
| 2022-04-04 06:52:23 +0200 | <Axman6> | It's worth knowing what structures it created behind the scenes for performing the grouping, there's often some sort of map or array |
| 2022-04-04 06:53:15 +0200 | <dons> | Showing diff with 177,902 additions and 308 deletions. |
| 2022-04-04 06:53:21 +0200 | <dons> | (yes, sickos.gif) |
| 2022-04-04 06:53:27 +0200 | <Axman6> | D: |
| 2022-04-04 06:54:25 +0200 | <Axman6> | Hmm, just realised that Grouping would be a useful tool in source code analysis tools for finding references between pieces of code |
| 2022-04-04 06:55:05 +0200 | <Axman6> | I'd never really thought of using it for longer lived maps like that |
| 2022-04-04 06:55:29 +0200 | <Axman6> | (annoyingly there's not really a good way to do String/Text keys) |
| 2022-04-04 06:58:10 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 07:01:08 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Quit: xff0x) |
| 2022-04-04 07:02:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-04 07:06:11 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.185) (Ping timeout: 246 seconds) |
| 2022-04-04 07:08:35 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-04 07:09:16 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-04 07:14:03 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-04-04 07:18:33 +0200 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 2022-04-04 07:25:49 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-04 07:26:05 +0200 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-04 07:26:15 +0200 | alMalsamo | littlebobeep |
| 2022-04-04 07:26:20 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-04-04 07:26:25 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 07:26:34 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-04 07:29:19 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2022-04-04 07:31:30 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-04 07:32:25 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 07:34:41 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-04 07:35:35 +0200 | BlackboardN | (~nathan@user/BlackboardN) (Ping timeout: 246 seconds) |
| 2022-04-04 07:41:57 +0200 | slack1256 | (~slack1256@191.125.227.81) (Remote host closed the connection) |
| 2022-04-04 07:52:01 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 07:53:14 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-04-04 07:53:36 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-04 07:55:34 +0200 | belphegor666 | (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) |
| 2022-04-04 07:56:50 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-04 07:59:48 +0200 | belphegor666 | (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) (Changing host) |
| 2022-04-04 07:59:48 +0200 | belphegor666 | (~satan@user/belphegor666) |
| 2022-04-04 08:01:31 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 08:01:38 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2022-04-04 08:02:17 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-04-04 08:05:41 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-04 08:07:04 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 08:09:20 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-04 08:09:56 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-04 08:10:01 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 08:11:06 +0200 | sloorush | (~sloorush@136.233.9.99) (Quit: Client closed) |
| 2022-04-04 08:11:27 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-04 08:12:12 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 08:13:05 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-04 08:13:12 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-04 08:14:33 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-04 08:15:12 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-04 08:16:32 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-04 08:17:08 +0200 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Quit: ZNC - http://znc.in) |
| 2022-04-04 08:17:20 +0200 | acidjnk | (~acidjnk@p200300d0c7049f5375c1d267ad8f6a07.dip0.t-ipconnect.de) |
| 2022-04-04 08:23:13 +0200 | prasad | (~user@c-73-170-49-136.hsd1.ca.comcast.net) |
| 2022-04-04 08:26:21 +0200 | odnes | (~odnes@109-178-139-235.pat.ren.cosmote.net) |
| 2022-04-04 08:26:33 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 08:29:04 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-04 08:30:24 +0200 | kaph | (~kaph@151.82.171.171) (Ping timeout: 272 seconds) |
| 2022-04-04 08:30:55 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-04 08:32:11 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 08:32:55 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-04 08:39:27 +0200 | sus | (zero@user/zeromomentum) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | acidsys | (~LSD@2a03:4000:55:d20::3) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | Me-me | (~me-me@user/me-me) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | son0p | (~ff@181.136.122.143) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | martin02_ | (~silas@141.84.69.76) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | asivitz | (uid178348@id-178348.tinside.irccloud.com) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | defanor | (~defanor@tart.uberspace.net) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | drewolson | (~drewolson@user/drewolson) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | bah | (~bah@l1.tel) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | tomku | (~tomku@user/tomku) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | sm[i] | (~user@plaintextaccounting/sm) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | dyniec | (~dyniec@mail.dybiec.info) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | adium | (znc@user/adium) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | koolazer | (~koo@user/koolazer) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | xdej | (~xdej@quatramaran.salle-s.org) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | stilgart_ | (~Christoph@chezlefab.net) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | Dykam_ | (Dykam@dykam.nl) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | tito | (tito@tilde.team) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | aweinstock | (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | dexter | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | sajith | (~sajith@user/sajith) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | sshine | (~simon@zhen.eta.solutions) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | kristjansson | (sid126207@id-126207.tinside.irccloud.com) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | hays | (rootvegeta@fsf/member/hays) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | mrianbloom | (sid350277@2a03:5180:f:3::5:5845) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | acertain | (sid470584@2a03:5180:f:4::7:2e38) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | xstill- | (xstill@fimu/xstill) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | hendi | (sid489601@id-489601.lymington.irccloud.com) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | ProofTechnique | (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | landonf | (landonf@mac68k.info) (*.net *.split) |
| 2022-04-04 08:39:27 +0200 | statusbot1 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
| 2022-04-04 08:39:36 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2022-04-04 08:39:36 +0200 | hays | (rootvegeta@fsf/member/hays) |
| 2022-04-04 08:39:36 +0200 | landonf | (landonf@mac68k.info) |
| 2022-04-04 08:39:36 +0200 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) |
| 2022-04-04 08:39:36 +0200 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2022-04-04 08:39:38 +0200 | tomku | (~tomku@user/tomku) |
| 2022-04-04 08:39:40 +0200 | aweinstock | (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) |
| 2022-04-04 08:39:42 +0200 | defanor | (~defanor@tart.uberspace.net) |
| 2022-04-04 08:39:43 +0200 | dyniec | (~dyniec@mail.dybiec.info) |
| 2022-04-04 08:39:44 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) |
| 2022-04-04 08:39:45 +0200 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-04-04 08:39:46 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 250 seconds) |
| 2022-04-04 08:39:47 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2022-04-04 08:39:47 +0200 | sclv | (sid39734@haskell/developer/sclv) |
| 2022-04-04 08:39:48 +0200 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) |
| 2022-04-04 08:39:49 +0200 | mrianbloom | (sid350277@id-350277.ilkley.irccloud.com) |
| 2022-04-04 08:39:55 +0200 | sshine | (~simon@exocortex.online) |
| 2022-04-04 08:39:55 +0200 | dexter | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2022-04-04 08:39:55 +0200 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2022-04-04 08:39:56 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2022-04-04 08:39:59 +0200 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2022-04-04 08:39:59 +0200 | ProofTechnique | (sid79547@id-79547.ilkley.irccloud.com) |
| 2022-04-04 08:39:59 +0200 | asivitz | (uid178348@id-178348.tinside.irccloud.com) |
| 2022-04-04 08:40:00 +0200 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2022-04-04 08:40:00 +0200 | nisstyre | (wes@2600:3c00::f03c:91ff:fe69:7f3d) |
| 2022-04-04 08:40:05 +0200 | martin02_ | (~silas@141.84.69.76) |
| 2022-04-04 08:40:09 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-04-04 08:40:20 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2022-04-04 08:40:20 +0200 | acertain | (sid470584@id-470584.hampstead.irccloud.com) |
| 2022-04-04 08:40:25 +0200 | Raito_Bezarius | (~Raito@2a01:e0a:5f9:9681:a0a0:bb76:611f:9da7) |
| 2022-04-04 08:40:35 +0200 | hendi | (sid489601@id-489601.lymington.irccloud.com) |
| 2022-04-04 08:40:45 +0200 | kristjansson | (sid126207@id-126207.tinside.irccloud.com) |
| 2022-04-04 08:41:11 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-04 08:41:12 +0200 | sajith | (~sajith@user/sajith) |
| 2022-04-04 08:41:13 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2022-04-04 08:41:23 +0200 | adium | (adium@user/adium) |
| 2022-04-04 08:41:30 +0200 | xstill- | (xstill@fimu/xstill) |
| 2022-04-04 08:41:39 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 260 seconds) |
| 2022-04-04 08:41:41 +0200 | Dykam | (Dykam@dykam.nl) |
| 2022-04-04 08:41:57 +0200 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-04-04 08:43:11 +0200 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) (ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-04-04 08:44:14 +0200 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 2022-04-04 08:44:14 +0200 | Server | +Cnt |
| 2022-04-04 08:44:14 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2022-04-04 08:44:27 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:ab4b:4a11:6cbb:6bec) |
| 2022-04-04 08:44:31 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2022-04-04 08:44:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-04-04 08:44:51 +0200 | koolazer | (~koo@user/koolazer) |
| 2022-04-04 08:44:56 +0200 | bah | (~bah@l1.tel) |
| 2022-04-04 08:44:56 +0200 | stilgart | (~Christoph@chezlefab.net) |
| 2022-04-04 08:45:27 +0200 | matijja | (~matijja@193.77.181.201) |
| 2022-04-04 08:45:46 +0200 | Adran | (adran@botters/adran) |
| 2022-04-04 08:46:08 +0200 | nisstyre | (wes@2600:3c00::f03c:91ff:fe69:7f3d) (Quit: WeeChat 3.4) |
| 2022-04-04 08:46:17 +0200 | nisstyre | (wes@user/nisstyre) |
| 2022-04-04 08:46:21 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-04 08:46:25 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-04 08:47:08 +0200 | sm[i] | (~user@plaintextaccounting/sm) |
| 2022-04-04 08:48:15 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-04 08:55:10 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-04 08:55:35 +0200 | phma_ | (phma@2001:5b0:210f:1458:f6d5:edb3:b0ac:9353) |
| 2022-04-04 08:58:11 +0200 | phma | (~phma@host-67-44-208-51.hnremote.net) (Ping timeout: 252 seconds) |
| 2022-04-04 08:59:49 +0200 | abastro | (~abab9579@143.248.229.232) |
| 2022-04-04 09:01:39 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-04-04 09:01:55 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-04-04 09:01:55 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2022-04-04 09:02:15 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-04 09:02:17 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-04 09:02:19 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2022-04-04 09:02:41 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-04-04 09:03:59 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-04 09:07:04 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 09:08:48 +0200 | Graham31415 | (~Graham@user/Graham31415) |
| 2022-04-04 09:09:27 +0200 | CiaoSen | (~Jura@p200300c95735b0002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-04 09:11:12 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-04 09:11:51 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 09:12:45 +0200 | fish_ | (~fish@222.211.204.150) |
| 2022-04-04 09:15:26 +0200 | <abastro> | Well, global repository (that is not interfering with individual projects, and instead work for e.g. repl) is useful for scripting |
| 2022-04-04 09:16:08 +0200 | <c_wraith> | it's pretty easy to write scripts that specify their dependencies |
| 2022-04-04 09:16:38 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-04 09:17:36 +0200 | fendor | (~fendor@178.115.59.46.wireless.dyn.drei.com) |
| 2022-04-04 09:18:04 +0200 | chenqisu1 | (~chenqisu1@183.217.200.168) |
| 2022-04-04 09:19:52 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-04 09:20:57 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-04-04 09:22:08 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-04-04 09:23:15 +0200 | michalz | (~michalz@185.246.204.33) |
| 2022-04-04 09:24:37 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-04 09:26:41 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-04 09:27:23 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-04 09:28:23 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-04 09:29:17 +0200 | Graham31415 | (~Graham@user/Graham31415) (Quit: Lost terminal) |
| 2022-04-04 09:30:01 +0200 | <prasad> | :q |
| 2022-04-04 09:30:03 +0200 | <prasad> | quit |
| 2022-04-04 09:30:08 +0200 | prasad | (~user@c-73-170-49-136.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-04-04 09:30:43 +0200 | coot | (~coot@213.134.190.95) (Client Quit) |
| 2022-04-04 09:30:58 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-04 09:31:18 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-04 09:36:53 +0200 | fish_ | (~fish@222.211.204.150) (Quit: Konversation terminated!) |
| 2022-04-04 09:41:59 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 09:46:19 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-04-04 09:46:33 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-04 09:48:15 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-04-04 09:48:40 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-04 09:49:34 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 2022-04-04 09:49:49 +0200 | jushur | (~human@user/jushur) |
| 2022-04-04 09:50:30 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-04 09:51:23 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-04 09:51:57 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 09:52:17 +0200 | mixfix41 | (~sdenyninn@user/mixfix41) |
| 2022-04-04 09:53:13 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-04 09:54:35 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-04-04 09:55:01 +0200 | <abastro> | How can I write such scripts? |
| 2022-04-04 09:56:20 +0200 | <abastro> | How easy is it |
| 2022-04-04 09:56:39 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2022-04-04 09:57:29 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-04-04 09:58:53 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2022-04-04 10:06:32 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 10:07:24 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-04 10:07:48 +0200 | hrdl | (~hrdl@mail.hrdl.eu) () |
| 2022-04-04 10:08:10 +0200 | <c_wraith> | abastro: https://stackoverflow.com/a/65541020/383200 |
| 2022-04-04 10:08:28 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-04-04 10:11:13 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-04 10:14:25 +0200 | micro | (~micro@user/micro) (Ping timeout: 256 seconds) |
| 2022-04-04 10:22:59 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-04 10:23:03 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-04 10:23:35 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-04 10:24:00 +0200 | MajorBiscuit | (~MajorBisc@c-001-003-047.client.tudelft.eduvpn.nl) |
| 2022-04-04 10:24:47 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-04-04 10:26:11 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-04 10:26:35 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:974:50d0:1066:ad50) |
| 2022-04-04 10:28:09 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 248 seconds) |
| 2022-04-04 10:35:08 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-04 10:35:59 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-04-04 10:37:09 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 10:41:33 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-04 10:42:10 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 10:46:37 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-04 10:50:58 +0200 | sloorush | (~sloorush@136.233.9.99) |
| 2022-04-04 10:51:32 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2022-04-04 10:52:05 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-04 10:52:16 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 10:56:25 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 248 seconds) |
| 2022-04-04 10:56:49 +0200 | mattil | (~mattil@helsinki.portalify.com) |
| 2022-04-04 10:56:59 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 10:57:12 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-04 10:58:38 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-04 11:00:05 +0200 | ninioArtillero[m | (~ninioarti@2001:470:69fc:105::1:d1ef) (Quit: You have been kicked for being idle) |
| 2022-04-04 11:01:23 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-04 11:02:12 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 11:03:40 +0200 | adium | (adium@user/adium) (Ping timeout: 272 seconds) |
| 2022-04-04 11:06:57 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2022-04-04 11:07:58 +0200 | sloorush | (~sloorush@136.233.9.99) (Ping timeout: 250 seconds) |
| 2022-04-04 11:10:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-04 11:11:35 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:112c:dc15:b959:356) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-04 11:11:45 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:6914:1dfa:1871:fc52) |
| 2022-04-04 11:15:31 +0200 | <abastro> | Well, then you need to enlist the packages you need |
| 2022-04-04 11:16:05 +0200 | <abastro> | Idk, a few days ago I saw a person ignoring advice about specifying the package like that |
| 2022-04-04 11:16:16 +0200 | <abastro> | Then simply go for `cabal install --lib` |
| 2022-04-04 11:17:59 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:b89d:8c20:3683:54c9) |
| 2022-04-04 11:20:57 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 248 seconds) |
| 2022-04-04 11:22:53 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-04 11:30:33 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-04-04 11:32:57 +0200 | abastro | (~abab9579@143.248.229.232) (Ping timeout: 256 seconds) |
| 2022-04-04 11:33:30 +0200 | _xor | (~xor@74.215.232.169) (Quit: bbl) |
| 2022-04-04 11:35:21 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-04-04 11:39:23 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-04 11:39:37 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-04-04 11:42:48 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 260 seconds) |
| 2022-04-04 11:44:36 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-04-04 11:46:53 +0200 | mixfix41 | (~sdenyninn@user/mixfix41) (Ping timeout: 260 seconds) |
| 2022-04-04 11:49:53 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-04 11:52:35 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-04-04 11:57:09 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-04 11:57:29 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-04-04 11:57:38 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-04 11:57:56 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-04 11:58:18 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-04 11:58:29 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-04 12:00:11 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 12:03:20 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 2022-04-04 12:04:41 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 248 seconds) |
| 2022-04-04 12:07:51 +0200 | CiaoSen | (~Jura@p200300c95735b0002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2022-04-04 12:11:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-04 12:12:54 +0200 | adium | (adium@user/adium) |
| 2022-04-04 12:15:21 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-04-04 12:24:11 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2022-04-04 12:25:23 +0200 | raym | (~raym@user/raym) (Ping timeout: 246 seconds) |
| 2022-04-04 12:35:51 +0200 | abastro | (~abab9579@192.249.26.11) |
| 2022-04-04 12:36:14 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-04 12:36:58 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-04-04 12:39:05 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-04-04 12:39:59 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-04 12:40:26 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-04 12:41:18 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-04 12:43:28 +0200 | raym | (~raym@user/raym) |
| 2022-04-04 12:44:46 +0200 | <abastro[m]> | Can I use `traverse` for parsing? |
| 2022-04-04 12:45:20 +0200 | <abastro[m]> | Esp. I want the inverse of the following:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/b57775ed936fb9eb261649e87109f2f5f9b7…) |
| 2022-04-04 12:46:17 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2022-04-04 12:47:29 +0200 | phma_ | phma |
| 2022-04-04 12:48:38 +0200 | mbuf | (~Shakthi@171.61.243.124) (Quit: Leaving) |
| 2022-04-04 12:57:57 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-04 12:58:45 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-04-04 13:00:48 +0200 | img | (~img@user/img) |
| 2022-04-04 13:02:49 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-04 13:03:50 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-04 13:07:05 +0200 | chenqisu12 | (~chenqisu1@183.217.202.44) |
| 2022-04-04 13:09:51 +0200 | chenqisu1 | (~chenqisu1@183.217.200.168) (Ping timeout: 256 seconds) |
| 2022-04-04 13:14:23 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-04 13:14:55 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-04 13:16:09 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-04-04 13:18:16 +0200 | fendor_ | (~fendor@91.141.33.204.wireless.dyn.drei.com) |
| 2022-04-04 13:18:56 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 2022-04-04 13:20:41 +0200 | fendor | (~fendor@178.115.59.46.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2022-04-04 13:24:32 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-04 13:26:15 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-04 13:27:21 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-04 13:27:31 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-04 13:29:55 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-04 13:35:01 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 256 seconds) |
| 2022-04-04 13:36:36 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-04-04 13:36:50 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-04-04 13:40:41 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2022-04-04 13:45:02 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-04-04 13:45:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-04 13:46:35 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-04 13:47:26 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 13:47:37 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-04 13:48:39 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 13:49:09 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-04 13:49:14 +0200 | <[exa]> | abastro[m]: that may be a bit tricky, at the bare minimum I guess you'd need to express the thing in a more bidirectional way (say prolog) |
| 2022-04-04 13:52:06 +0200 | yosef` | (~user@223.73.113.250) (Remote host closed the connection) |
| 2022-04-04 13:53:35 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-04 13:54:57 +0200 | <[exa]> | abastro[m]: this might help tho https://blog.poisson.chat/posts/2017-01-01-monadic-profunctors.html |
| 2022-04-04 13:55:16 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.185) |
| 2022-04-04 13:55:26 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 13:55:32 +0200 | <abastro> | I see, while trying to make a "parser" which runs on list, I thought it was similar to traverse |
| 2022-04-04 13:55:37 +0200 | <abastro> | Guess I was wrong with that. |
| 2022-04-04 13:55:56 +0200 | zyklotomic | (~ethan@r4-128-61-92-94.res.gatech.edu) (Ping timeout: 272 seconds) |
| 2022-04-04 13:56:53 +0200 | <abastro> | https://paste.tomsmeding.com/NFgWws6U |
| 2022-04-04 13:57:02 +0200 | xff0x_ | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-04 13:57:12 +0200 | zyklotomic | (~ethan@res380d-128-61-83-27.res.gatech.edu) |
| 2022-04-04 13:57:32 +0200 | <[exa]> | you can easily run parsecs on lists |
| 2022-04-04 14:00:14 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.185) (Ping timeout: 268 seconds) |
| 2022-04-04 14:00:33 +0200 | <tdammers> | some parsers in (mega-)parsec are specific to Char tokens and/or String-like streams, but most work on a wide range of types |
| 2022-04-04 14:00:43 +0200 | <[exa]> | i.e. for megaparsec there's an `instance Ord a => Stream [a]`, so you may run megaparsecs on lists of anything that can be ordered |
| 2022-04-04 14:01:49 +0200 | <tdammers> | I have, in fact, written lexer/parser systems with Megaparsec, where the Lexer was something like Parser Text [Lexeme], and the parser something like Parser [Lexeme] Expression |
| 2022-04-04 14:06:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-04-04 14:15:00 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) (Ping timeout: 240 seconds) |
| 2022-04-04 14:15:24 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:40b6:f130:dc39:e36c) |
| 2022-04-04 14:18:07 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 14:26:15 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:40b6:f130:dc39:e36c) (Ping timeout: 250 seconds) |
| 2022-04-04 14:26:26 +0200 | Psybur | (~Psybur@2603:3021:2541:80c1:19c2:a1cd:6600:38ba) |
| 2022-04-04 14:30:56 +0200 | micro | (~micro@user/micro) |
| 2022-04-04 14:32:02 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds) |
| 2022-04-04 14:39:21 +0200 | <abastro> | It def feels like overkill though. |
| 2022-04-04 14:39:38 +0200 | <abastro> | Like, importing megaparsec to simply 'parse' a tree, where the problem was not even about parsing.. |
| 2022-04-04 14:40:19 +0200 | CiaoSen | (~Jura@p200300c95735b0002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-04 14:41:09 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-04-04 14:47:06 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 268 seconds) |
| 2022-04-04 14:48:53 +0200 | Psybur | (~Psybur@2603:3021:2541:80c1:19c2:a1cd:6600:38ba) (Ping timeout: 260 seconds) |
| 2022-04-04 14:49:45 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:bc18:8fba:1417:6198) |
| 2022-04-04 14:51:09 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-04 14:53:19 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-04 14:54:48 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-04 14:55:40 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 14:59:20 +0200 | <tdammers> | it certainly feels that way, but unlike "parsing libraries" in most other languages, *-parsec tends to pull its weight ridiculously early |
| 2022-04-04 14:59:37 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 248 seconds) |
| 2022-04-04 14:59:54 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2022-04-04 15:00:35 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-04 15:00:55 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:bc18:8fba:1417:6198) (Ping timeout: 250 seconds) |
| 2022-04-04 15:01:10 +0200 | Psybur | (~Psybur@2603:3021:2541:80c1:19c2:a1cd:6600:38ba) |
| 2022-04-04 15:02:53 +0200 | chenqisu12 | (~chenqisu1@183.217.202.44) (Ping timeout: 246 seconds) |
| 2022-04-04 15:04:29 +0200 | BlackboardN | (~Blackboar@c-71-231-59-104.hsd1.wa.comcast.net) |
| 2022-04-04 15:04:55 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 15:06:17 +0200 | mattil | (~mattil@helsinki.portalify.com) (Remote host closed the connection) |
| 2022-04-04 15:12:22 +0200 | <abastro> | Yea, I wonder why it is |
| 2022-04-04 15:12:31 +0200 | <abastro> | I am wary of its dependency footprint tbh |
| 2022-04-04 15:14:00 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-04 15:14:33 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 15:18:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-04-04 15:18:41 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 245 seconds) |
| 2022-04-04 15:19:04 +0200 | <[exa]> | abastro[m]: you can implement your own reasonable parser variant in like 50 lines of code, if you don't need the magicks of megaparsec (error messages etc) |
| 2022-04-04 15:19:40 +0200 | <[exa]> | abastro: anyway methodologically it is _slightly_ better to start from parsec because parsing is usually the "less partial" part of the 2 |
| 2022-04-04 15:19:55 +0200 | <[exa]> | s/parsec/parsing representation of the problem/ |
| 2022-04-04 15:20:15 +0200 | <abastro> | Less partial part? |
| 2022-04-04 15:20:45 +0200 | <abastro> | What are the other parts |
| 2022-04-04 15:20:57 +0200 | <[exa]> | uh sorry, less total :D like, given a tree you are usually pretty sure you can convert it to a string, but the other way has usually way more chances to fail |
| 2022-04-04 15:24:13 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-04-04 15:26:53 +0200 | <Zemyla> | :t wander (\fab -> fmap fold . traverse fab . toList) |
| 2022-04-04 15:26:54 +0200 | <lambdabot> | (Profunctor.Traversing p, Monoid t1, Foldable t2) => p a t1 -> p (t2 a) t1 |
| 2022-04-04 15:27:31 +0200 | <tdammers> | also, megaparsec's dependency footprint is relatively light, and should largely overlap with what you would depend on anyway |
| 2022-04-04 15:28:58 +0200 | Psybur | (~Psybur@2603:3021:2541:80c1:19c2:a1cd:6600:38ba) (Read error: Connection reset by peer) |
| 2022-04-04 15:29:17 +0200 | Psybur | (~Psybur@2603:3021:2541:80c1:19c2:a1cd:6600:38ba) |
| 2022-04-04 15:30:07 +0200 | <merijn> | Also, most megaparsec combinators are available standalone |
| 2022-04-04 15:30:19 +0200 | <abastro> | Oh, yep it has chance to fail |
| 2022-04-04 15:30:30 +0200 | <maerwald> | just roll your own parser |
| 2022-04-04 15:30:35 +0200 | <maerwald> | don't be a twat! |
| 2022-04-04 15:30:37 +0200 | <maerwald> | :P |
| 2022-04-04 15:30:39 +0200 | <merijn> | @hackage parser-combinators |
| 2022-04-04 15:30:39 +0200 | <lambdabot> | https://hackage.haskell.org/package/parser-combinators |
| 2022-04-04 15:30:41 +0200 | <abastro> | twat? |
| 2022-04-04 15:30:44 +0200 | <merijn> | Only depends on base |
| 2022-04-04 15:30:54 +0200 | <abastro> | Ohh |
| 2022-04-04 15:31:35 +0200 | <merijn> | Someone refresh my memory, what was edwardk's parser lib? I'm having a blackout on the name |
| 2022-04-04 15:31:43 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 15:31:50 +0200 | <geekosaur> | trifecta? |
| 2022-04-04 15:31:55 +0200 | <merijn> | Ah! Yes |
| 2022-04-04 15:32:03 +0200 | <abastro> | Well tbh what I am doing rn is rolling my own parser |
| 2022-04-04 15:33:30 +0200 | <abastro> | "Parser" https://paste.tomsmeding.com/NFgWws6U |
| 2022-04-04 15:34:45 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-04 15:34:45 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-04 15:34:45 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-04 15:36:26 +0200 | Psybur | (~Psybur@2603:3021:2541:80c1:19c2:a1cd:6600:38ba) (Ping timeout: 268 seconds) |
| 2022-04-04 15:36:28 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-04 15:39:00 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:b416:f658:9e23:6472) |
| 2022-04-04 15:39:14 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:b416:f658:9e23:6472) (Read error: Connection reset by peer) |
| 2022-04-04 15:39:26 +0200 | Psybur | (~Psybur@35.sub-174-244-245.myvzw.com) |
| 2022-04-04 15:42:36 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 268 seconds) |
| 2022-04-04 15:44:22 +0200 | xff0x_ | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Quit: xff0x_) |
| 2022-04-04 15:44:41 +0200 | CiaoSen | (~Jura@p200300c95735b0002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-04-04 15:45:24 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-04 15:45:54 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-04 15:45:57 +0200 | <Zemyla> | There's also Earley, if you prefer your parsers with less bad worst-case behavior. |
| 2022-04-04 15:46:14 +0200 | xff0x_ | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-04 15:47:32 +0200 | <merijn> | If you care about that, just go LALR(1) :p |
| 2022-04-04 15:48:23 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 246 seconds) |
| 2022-04-04 15:48:40 +0200 | <Zemyla> | It is an LALR parser library, but a combinator-based one as opposed to a special purpose one like happy. |
| 2022-04-04 15:49:45 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 248 seconds) |
| 2022-04-04 15:50:13 +0200 | xff0x_ | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Client Quit) |
| 2022-04-04 15:50:15 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-04 15:50:31 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2022-04-04 15:50:39 +0200 | odnes | (~odnes@109-178-139-235.pat.ren.cosmote.net) (Quit: Leaving) |
| 2022-04-04 15:51:00 +0200 | odnes | (~odnes@109-178-139-235.pat.ren.cosmote.net) |
| 2022-04-04 15:52:33 +0200 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-04-04 15:55:37 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-04-04 15:55:48 +0200 | odnes | (~odnes@109-178-139-235.pat.ren.cosmote.net) (Remote host closed the connection) |
| 2022-04-04 15:56:05 +0200 | <merijn> | If there's an LALR parser library called Earley, that's some false advertising shit :p |
| 2022-04-04 15:56:10 +0200 | odnes | (~odnes@109-178-139-235.pat.ren.cosmote.net) |
| 2022-04-04 15:58:17 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-04-04 15:58:48 +0200 | BlackboardN | (~Blackboar@c-71-231-59-104.hsd1.wa.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-04 16:02:01 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
| 2022-04-04 16:02:55 +0200 | BlackboardN | (~Blackboar@user/BlackboardN) |
| 2022-04-04 16:04:31 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 2022-04-04 16:06:26 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-04 16:13:09 +0200 | xff0x_ | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-04 16:13:56 +0200 | dextaa_ | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 2022-04-04 16:15:13 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-04 16:16:11 +0200 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-04-04 16:18:04 +0200 | dextaa_ | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 2022-04-04 16:20:16 +0200 | xff0x_ | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Quit: xff0x_) |
| 2022-04-04 16:20:17 +0200 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-04-04 16:20:20 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-04 16:20:39 +0200 | xff0x_ | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-04 16:22:26 +0200 | dextaa_5 | (~dextaa@user/dextaa) |
| 2022-04-04 16:23:18 +0200 | odnes | (~odnes@109-178-139-235.pat.ren.cosmote.net) (Remote host closed the connection) |
| 2022-04-04 16:23:34 +0200 | dextaa_ | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 2022-04-04 16:23:35 +0200 | dextaa_5 | dextaa_ |
| 2022-04-04 16:23:41 +0200 | odnes | (~odnes@109-178-139-235.pat.ren.cosmote.net) |
| 2022-04-04 16:24:12 +0200 | dextaa_ | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 2022-04-04 16:26:12 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-04 16:26:26 +0200 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-04-04 16:27:49 +0200 | dextaa_ | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 2022-04-04 16:27:58 +0200 | <abastro> | Wait wha |
| 2022-04-04 16:28:00 +0200 | <abastro> | Why named so? |
| 2022-04-04 16:28:14 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 2022-04-04 16:28:24 +0200 | <c_wraith> | Earley is definitely an Earley parser |
| 2022-04-04 16:28:49 +0200 | <abastro> | Also when can I began moving to 9.0, last time packages like `memory` prevented me since ssl connection trivias |
| 2022-04-04 16:29:34 +0200 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-04-04 16:29:48 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.4.1) |
| 2022-04-04 16:30:38 +0200 | dextaa_ | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 2022-04-04 16:30:39 +0200 | <janus> | abastro: `memory` is now compatible with ghc9.2 |
| 2022-04-04 16:30:46 +0200 | <c_wraith> | I like using Earley whenever I don't need context sensitivity, just because it lets me write grammars without all the working around parsec-likes lack of backtracking |
| 2022-04-04 16:30:58 +0200 | acidjnk | (~acidjnk@p200300d0c7049f5375c1d267ad8f6a07.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-04 16:32:06 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2022-04-04 16:32:13 +0200 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 2022-04-04 16:32:33 +0200 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-04-04 16:34:58 +0200 | Akiva | (~Akiva@user/Akiva) |
| 2022-04-04 16:35:05 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 248 seconds) |
| 2022-04-04 16:35:14 +0200 | <abastro> | Wow |
| 2022-04-04 16:35:25 +0200 | <abastro> | I guess I could finally update now.. wait |
| 2022-04-04 16:35:28 +0200 | <abastro> | HLS. duh |
| 2022-04-04 16:35:28 +0200 | Psybur | (~Psybur@35.sub-174-244-245.myvzw.com) (Remote host closed the connection) |
| 2022-04-04 16:35:54 +0200 | Psybur | (~Psybur@75.145.205.201) |
| 2022-04-04 16:39:11 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 256 seconds) |
| 2022-04-04 16:39:23 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 16:40:14 +0200 | <geekosaur> | 9.0.2 is supported, and iirc you can build your own HLS for 9.2.2 although it may be missing a few features |
| 2022-04-04 16:41:08 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2022-04-04 16:42:03 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-04 16:43:47 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-04 16:44:40 +0200 | dextaa_ | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 2022-04-04 16:45:58 +0200 | alp_ | (~alp@user/alp) (Remote host closed the connection) |
| 2022-04-04 16:45:58 +0200 | <janus> | does GHC compile for both x86_64 and aarch64 when running on Mac? wouldn't that be necessary to support all Mac users? ("universal binaries"?) |
| 2022-04-04 16:46:23 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-04 16:46:49 +0200 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-04-04 16:47:09 +0200 | dextaa_ | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 2022-04-04 16:47:18 +0200 | abastro | (~abab9579@192.249.26.11) (Ping timeout: 260 seconds) |
| 2022-04-04 16:47:58 +0200 | <geekosaur> | ghc can only handle one arch at a time, and is not even that good at cross-compiling |
| 2022-04-04 16:48:23 +0200 | <geekosaur> | you would need to compile separately and use some tool to combine the result to make fat binaries |
| 2022-04-04 16:49:08 +0200 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-04-04 16:51:01 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-04-04 16:52:03 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-04-04 16:52:15 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2022-04-04 16:52:45 +0200 | dextaa_ | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 2022-04-04 16:53:48 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-04 16:54:32 +0200 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-04-04 16:57:07 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-04 16:58:28 +0200 | krappix | (~krappix@nat-eduroam-76-gw-01-lne.lille.inria.fr) |
| 2022-04-04 16:59:02 +0200 | <abastro[m]> | Oh actually I am using custom build of HLS |
| 2022-04-04 16:59:40 +0200 | <abastro[m]> | Its type variables are meh tho |
| 2022-04-04 17:00:34 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-04 17:03:26 +0200 | gaff | (~gaff@49.207.219.11) |
| 2022-04-04 17:03:35 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 17:03:36 +0200 | gaff | (~gaff@49.207.219.11) (Client Quit) |
| 2022-04-04 17:03:51 +0200 | <abastro[m]> | Like, it show sth like `aty35_sH` for type variables |
| 2022-04-04 17:04:13 +0200 | odnes | (~odnes@109-178-139-235.pat.ren.cosmote.net) (Quit: Leaving) |
| 2022-04-04 17:05:00 +0200 | chomwitt | (~chomwitt@2a02:587:dc1b:d600:c3a8:b4dc:b642:1f2) (Ping timeout: 240 seconds) |
| 2022-04-04 17:07:53 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 250 seconds) |
| 2022-04-04 17:09:47 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-04 17:10:51 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 17:12:35 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-04 17:18:01 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Read error: Connection reset by peer) |
| 2022-04-04 17:19:35 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-04 17:20:21 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 17:21:57 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-04 17:24:26 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:ab4b:4a11:6cbb:6bec) (Quit: WeeChat 2.8) |
| 2022-04-04 17:24:50 +0200 | dcoutts_ | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) |
| 2022-04-04 17:27:33 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-04-04 17:27:35 +0200 | dcoutts | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-04-04 17:31:12 +0200 | scav | (sid309693@id-309693.helmsley.irccloud.com) (Changing host) |
| 2022-04-04 17:31:12 +0200 | scav | (sid309693@user/scav) |
| 2022-04-04 17:36:37 +0200 | xff0x_ | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Quit: xff0x_) |
| 2022-04-04 17:38:33 +0200 | xff0x_ | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-04 17:38:33 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 248 seconds) |
| 2022-04-04 17:39:42 +0200 | krappix | (~krappix@nat-eduroam-76-gw-01-lne.lille.inria.fr) (Ping timeout: 250 seconds) |
| 2022-04-04 17:39:44 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-04-04 17:44:42 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-04-04 17:48:22 +0200 | dolio | (~dolio@130.44.130.54) (Ping timeout: 272 seconds) |
| 2022-04-04 17:48:41 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-04-04 17:50:26 +0200 | <janus> | geekosaur: can i quote you in a reply to yairchu: https://stackoverflow.com/questions/69143043/how-to-create-native-arm-executables-on-macos-using-g… ? |
| 2022-04-04 17:50:38 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 17:53:28 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:974:50d0:1066:ad50) (Remote host closed the connection) |
| 2022-04-04 17:56:34 +0200 | xff0x_ | xff0x |
| 2022-04-04 17:57:45 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-04-04 18:00:47 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-04 18:02:23 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2022-04-04 18:03:45 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-04 18:04:01 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-04 18:04:39 +0200 | k`` | (~user@152.1.137.158) |
| 2022-04-04 18:05:45 +0200 | Psybur | (~Psybur@75.145.205.201) (Ping timeout: 248 seconds) |
| 2022-04-04 18:05:57 +0200 | <k``> | In template Haskell, is there a way to take a constraint (type) like `Eq Word` and prove whether it is locally satisfied? |
| 2022-04-04 18:06:06 +0200 | sprout_ | (~quassel@2a02:a467:ccd6:1:70be:3437:d6be:b5ae) |
| 2022-04-04 18:08:03 +0200 | <k``> | It seems like `reifyInstances` forces you to split the constraint into `Eq`'s Name and `Word`'s Type. |
| 2022-04-04 18:08:31 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:a90a:7e3:97e4:e639) |
| 2022-04-04 18:08:38 +0200 | <k``> | But does that even work for MultiparamTypeClasses? |
| 2022-04-04 18:09:33 +0200 | sprout | (~quassel@2a02:a467:ccd6:1:950:287b:c4be:ac00) (Ping timeout: 260 seconds) |
| 2022-04-04 18:10:54 +0200 | werdnA | (~andrew@114.88.181.56) (Quit: WeeChat 3.4.1) |
| 2022-04-04 18:11:08 +0200 | werdnA | (~andrew@114.88.181.56) |
| 2022-04-04 18:11:35 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 18:12:58 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-04 18:16:25 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-04 18:20:52 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-04 18:22:56 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 268 seconds) |
| 2022-04-04 18:26:27 +0200 | drewolson | (~drewolson@user/drewolson) |
| 2022-04-04 18:30:24 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-04-04 18:34:17 +0200 | MiguelNegrao | (~MiguelNeg@194.210.216.113) |
| 2022-04-04 18:36:07 +0200 | <MiguelNegrao> | Hi all . Is there way to convert haskell TypeLit Nats to peano Nats like |
| 2022-04-04 18:36:07 +0200 | <MiguelNegrao> | data HNat = HZero | HSucc HNat ? |
| 2022-04-04 18:36:23 +0200 | <MiguelNegrao> | typing 10 succ in a rock sucks (pun intended)... |
| 2022-04-04 18:36:23 +0200 | econo | (uid147250@user/econo) |
| 2022-04-04 18:38:29 +0200 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
| 2022-04-04 18:38:42 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-04 18:38:49 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 18:39:31 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 18:39:53 +0200 | <[exa]> | MiguelNegrao: perhaps this? https://hackage.haskell.org/package/fixed-vector-1.2.1.0/docs/Data-Vector-Fixed-Cont.html#t:Peano |
| 2022-04-04 18:40:36 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-04 18:40:40 +0200 | <MiguelNegrao> | looks promising ! will check if this works ! |
| 2022-04-04 18:41:15 +0200 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-04-04 18:41:16 +0200 | <[exa]> | not sure if you want to import fixed-vector because of it, but the thing seems sufficiently selfcontained to be just copypasted out of it |
| 2022-04-04 18:41:33 +0200 | <[exa]> | that said maybe there's a standarder implementation |
| 2022-04-04 18:41:36 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 2022-04-04 18:42:11 +0200 | <MiguelNegrao> | yeah, if it works copy paste is fine |
| 2022-04-04 18:42:30 +0200 | vakanto | (~tobias@2a02:908:1a77:d860:aa08:60d9:ccff:b605) |
| 2022-04-04 18:43:49 +0200 | <MiguelNegrao> | test2 :: HList '[(), ()] |
| 2022-04-04 18:43:50 +0200 | <MiguelNegrao> | test2 = hReplicate (Proxy :: Proxy (Peano 2)) () |
| 2022-04-04 18:43:56 +0200 | <MiguelNegrao> | beautiful !!! thanks ! |
| 2022-04-04 18:44:17 +0200 | <[exa]> | ok wow cool :] |
| 2022-04-04 18:44:57 +0200 | joo-_ | (~joo-_@80-62-116-70-mobile.dk.customer.tdc.net) |
| 2022-04-04 18:44:57 +0200 | joo-_ | (~joo-_@80-62-116-70-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-04-04 18:44:57 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-04-04 18:45:15 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 18:46:14 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.185) |
| 2022-04-04 18:49:29 +0200 | MajorBiscuit | (~MajorBisc@c-001-003-047.client.tudelft.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-04 18:50:58 +0200 | alx741_ | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 18:51:01 +0200 | alx741_ | (~alx741@host-181-198-243-150.netlife.ec) (Client Quit) |
| 2022-04-04 18:51:04 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-04-04 18:51:14 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 18:56:20 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds) |
| 2022-04-04 18:56:26 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:b89d:8c20:3683:54c9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-04 18:56:49 +0200 | <MiguelNegrao> | I was trying a version that works just with type application but I can't quite get it to work... |
| 2022-04-04 18:56:54 +0200 | <MiguelNegrao> | hReplicate' :: forall (n :: Nat) e (es :: [*]) m. (HReplicateFD m e es, m ~ Peano n) => e -> HList es |
| 2022-04-04 18:56:55 +0200 | <MiguelNegrao> | hReplicate' = hReplicate (Proxy @m) |
| 2022-04-04 18:57:33 +0200 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-04 18:57:45 +0200 | <MiguelNegrao> | the idea would be to then be able to do hReplicate' @2 () |
| 2022-04-04 18:58:08 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:a90a:7e3:97e4:e639) (Read error: Connection reset by peer) |
| 2022-04-04 18:58:43 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 18:59:12 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:e08e:f00b:6e6c:53d5) |
| 2022-04-04 19:03:44 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 2022-04-04 19:04:15 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 268 seconds) |
| 2022-04-04 19:05:08 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-04 19:08:31 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-04 19:09:45 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 248 seconds) |
| 2022-04-04 19:12:09 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 19:12:44 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-04 19:13:06 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-04-04 19:14:53 +0200 | MiguelNegrao | (~MiguelNeg@194.210.216.113) (Quit: Client closed) |
| 2022-04-04 19:16:40 +0200 | chomwitt | (~chomwitt@2a02:587:dc19:3600:aabd:edaf:cb83:4282) |
| 2022-04-04 19:17:40 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-04-04 19:18:33 +0200 | zer0bitz | (~zer0bitz@2001:2003:f750:a200:d52e:866a:6f3a:60a1) |
| 2022-04-04 19:20:20 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 19:20:20 +0200 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 2022-04-04 19:20:25 +0200 | MiguelNegrao | (~MiguelNeg@194.210.216.113) |
| 2022-04-04 19:20:30 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-04 19:25:41 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 250 seconds) |
| 2022-04-04 19:28:04 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 19:31:32 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-04 19:33:29 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 250 seconds) |
| 2022-04-04 19:33:58 +0200 | <juri_> | hmm. is there a place where the ULP of prelude's math functions (sqrt, *) is documented? |
| 2022-04-04 19:35:11 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-04-04 19:35:44 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 19:37:56 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-04-04 19:38:15 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-04-04 19:39:55 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-04 19:41:01 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-04-04 19:41:09 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-04 19:41:41 +0200 | k`` | (~user@152.1.137.158) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-04-04 19:41:48 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds) |
| 2022-04-04 19:42:40 +0200 | vakanto | (~tobias@2a02:908:1a77:d860:aa08:60d9:ccff:b605) (WeeChat 3.3) |
| 2022-04-04 19:43:47 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 19:48:13 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:e08e:f00b:6e6c:53d5) (Ping timeout: 250 seconds) |
| 2022-04-04 19:48:51 +0200 | MiguelNegrao | (~MiguelNeg@194.210.216.113) (Quit: Client closed) |
| 2022-04-04 19:49:13 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 248 seconds) |
| 2022-04-04 19:50:33 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-04 19:50:39 +0200 | Psybur | (~Psybur@75.145.205.201) |
| 2022-04-04 19:51:31 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 19:51:52 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.185) (Ping timeout: 272 seconds) |
| 2022-04-04 19:51:59 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-04 19:52:51 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-04 19:53:51 +0200 | frostbyte_ | (~uid@2001:bc8:2117:100::) () |
| 2022-04-04 19:55:15 +0200 | Psybur | (~Psybur@75.145.205.201) (Ping timeout: 256 seconds) |
| 2022-04-04 19:56:53 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 260 seconds) |
| 2022-04-04 19:57:30 +0200 | <Zemyla> | Question. inRange (minBound, maxBound) x === True, right? |
| 2022-04-04 19:57:57 +0200 | <Zemyla> | For all (Bounded a, Ix a)? |
| 2022-04-04 19:58:27 +0200 | <jle`> | Zemyla: hm, Ix does have laws, but none related to Bounded it seems |
| 2022-04-04 19:58:48 +0200 | sander | (~sander@user/sander) |
| 2022-04-04 20:00:16 +0200 | <jle`> | but that sounds reasonable for most instances |
| 2022-04-04 20:00:39 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 20:01:01 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 2022-04-04 20:01:32 +0200 | romesrf | (~romes@2001:8a0:6d13:9700:55ae:5d11:5a75:11c3) |
| 2022-04-04 20:02:28 +0200 | <Zemyla> | Ord doesn't have laws relating to Bounded, either. |
| 2022-04-04 20:02:33 +0200 | <romesrf> | hello! what's the current opinion on Iteratee? the library hasn't been updated in a while and the cabal constraints are kind of tight |
| 2022-04-04 20:02:54 +0200 | <romesrf> | by "kind of" I mean I got conflicts with 8.10 |
| 2022-04-04 20:03:09 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2022-04-04 20:03:27 +0200 | <geekosaur> | janus: yes although you might want to verify with #ghc |
| 2022-04-04 20:05:01 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-04-04 20:05:32 +0200 | <geekosaur> | then again I run chrome straight form google, that one gets updated all the time |
| 2022-04-04 20:06:03 +0200 | <geekosaur> | (I have to imagine mozilla has something similar going with firefox) |
| 2022-04-04 20:06:13 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 260 seconds) |
| 2022-04-04 20:08:01 +0200 | simendsjo | (~user@84.211.91.241) |
| 2022-04-04 20:08:35 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 20:10:22 +0200 | <jle`> | romesrf: my general understanding is that iteratee is sort of a transitional library back when we were still figuring out how to do streaming abstractions right, it laid the foundations for a bunch of stuff but isn't really a modernly used library |
| 2022-04-04 20:10:28 +0200 | Psybur | (~Psybur@75.145.205.201) |
| 2022-04-04 20:10:52 +0200 | <jle`> | looks like the last version was uploaded in 2014 |
| 2022-04-04 20:11:39 +0200 | <jle`> | i'm not sure what the current modern thing is but i usually reach for conduit, which is still maintained, but there's also streamly and stuff which are pretty widely used i think |
| 2022-04-04 20:11:45 +0200 | <geekosaur> | that's my understanding as well |
| 2022-04-04 20:11:54 +0200 | <geekosaur> | conduit, pipes, streamly |
| 2022-04-04 20:12:25 +0200 | dextaa_5 | (~dextaa@user/dextaa) |
| 2022-04-04 20:12:46 +0200 | <romesrf> | Interesting! out of curiosity, what's the underlying "IO theory" of those libraries? |
| 2022-04-04 20:13:12 +0200 | <romesrf> | the iteratee paper explains nicely the lazy IO x handle based IO |
| 2022-04-04 20:13:12 +0200 | <geekosaur> | left-fold iterators were first proposed by oleg kiselyov iirc |
| 2022-04-04 20:13:34 +0200 | <geekosaur> | *iteratees |
| 2022-04-04 20:13:38 +0200 | <romesrf> | and proposes iteratee as a better bullet |
| 2022-04-04 20:14:01 +0200 | <romesrf> | are left-fold iteratees what's being used under the hood by conduit et all? |
| 2022-04-04 20:14:08 +0200 | <geekosaur> | yes |
| 2022-04-04 20:14:28 +0200 | <romesrf> | I see! I'll dive into the code later on, just one more question: |
| 2022-04-04 20:14:28 +0200 | <geekosaur> | they're a later generation of the same idea, packaged better/easier to use |
| 2022-04-04 20:14:33 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 268 seconds) |
| 2022-04-04 20:14:46 +0200 | <romesrf> | Well, that's the answer hahaha. |
| 2022-04-04 20:14:49 +0200 | <romesrf> | Thank you |
| 2022-04-04 20:17:46 +0200 | <geekosaur> | they also work around some shortcomings of the iteratee approach (there of course being no magic bullet that avoids *all* problems) |
| 2022-04-04 20:17:55 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-04 20:18:10 +0200 | <geekosaur> | conduit and pipes originally started out with different approaches and then stole ideas from each other and are roughly the same now |
| 2022-04-04 20:18:28 +0200 | <geekosaur> | including the same corner cases that require some extra plumbing |
| 2022-04-04 20:19:26 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-04 20:19:40 +0200 | <geekosaur> | streamly, as I understand it, provides two different backends which cover all use cases, each backend having its own weaknesses. you can choose one for a given stream but can't switch afterward, I think |
| 2022-04-04 20:21:48 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-04 20:21:51 +0200 | <romesrf> | geekosaur: we should try to get even these short answers on some documentation form.. "Streaming FAQ" ahah |
| 2022-04-04 20:22:35 +0200 | <romesrf> | geekosaur: I want to get my hands on it but haven't had time to get started / get talking more with Kleidukos |
| 2022-04-04 20:22:48 +0200 | <romesrf> | which is managing flora etc... |
| 2022-04-04 20:23:06 +0200 | <romesrf> | and the documentation side from HF if I'm not mistaken |
| 2022-04-04 20:23:28 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-04 20:23:32 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-04-04 20:23:48 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-04-04 20:24:43 +0200 | <monochrom> | . o O ( You can't switch mid-stream haha ) |
| 2022-04-04 20:24:53 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2022-04-04 20:25:17 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-04 20:26:27 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-04 20:27:40 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-04 20:29:16 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-04 20:30:08 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 246 seconds) |
| 2022-04-04 20:33:19 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
| 2022-04-04 20:34:15 +0200 | <juri_> | hmm. where is a good place to discuss floating point error accumulation? |
| 2022-04-04 20:35:07 +0200 | <juri_> | for instance, if i'm getting the norm of two variables sqrt(a*a+b*b), how many ULPs of the result will the error be? |
| 2022-04-04 20:35:15 +0200 | acacia | (~alloca@user/suppi) |
| 2022-04-04 20:35:44 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2022-04-04 20:37:50 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2022-04-04 20:38:08 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-04 20:39:01 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Remote host closed the connection) |
| 2022-04-04 20:40:41 +0200 | <[exa]> | juri_: "depends" |
| 2022-04-04 20:42:33 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-04 20:43:07 +0200 | <juri_> | [exa]: yeah, there's my problem. :) |
| 2022-04-04 20:43:26 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 250 seconds) |
| 2022-04-04 20:44:10 +0200 | <[exa]> | juri_: in your case there isn't too much actual data, so you should be easily able to guess the error position more or less algebraically (imagine converting each variable through something like `\a -> a + 1e-6*a*sigma` and counting the amount of `sigma` in the result) |
| 2022-04-04 20:45:36 +0200 | vgtw_ | vgtw |
| 2022-04-04 20:47:47 +0200 | <juri_> | hmm. i don't follow. which is no surprise. :) |
| 2022-04-04 20:47:55 +0200 | <[exa]> | I guess there might be a problem with large scale difference and `a >>>> b` because "b disappears after squaring", if you want to prevent that the usual technique is to guess the "scale" and split the numbers to large/small halves that don't combine until absolutely necessary |
| 2022-04-04 20:50:04 +0200 | <[exa]> | this may help https://en.wikipedia.org/wiki/Kahan_summation_algorithm |
| 2022-04-04 20:52:58 +0200 | <juri_> | yeah, i figgured scale differences would be trouble. |
| 2022-04-04 20:54:11 +0200 | <[exa]> | what kind of error are you getting? the small/big one? |
| 2022-04-04 20:55:42 +0200 | <tomsmeding> | juri_: pretty sure [exa] is referring to doing this: sqrt((a+εa)*(a+εa) + (b+εb)*(b+εb)) = sqrt(a^2 + 2εa + (εa)^2 + b^2 + 2εb + (εb)^2) |
| 2022-04-04 20:55:43 +0200 | Me-me | (~me-me@v.working.name) |
| 2022-04-04 20:55:48 +0200 | <juri_> | uh-oh. so, what i'm doing is casting a line at a line segment, in 2DPGA. I want to know how to size the distanceBetween line1 line2endpoint < fuzzyamount, so i know when i hit an endpoint. |
| 2022-04-04 20:57:03 +0200 | <tomsmeding> | which is approximately linear in εa and εb, hence...? I don't actually know how to do this analysis lol |
| 2022-04-04 20:57:18 +0200 | Wstfgl0 | (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) |
| 2022-04-04 20:58:27 +0200 | <juri_> | in my intersection gathering function, i perform exactly 3 multiplies, so that's easy to sum the ulp of. but, i don't know what to do with sqrt(a*a+b*b). |
| 2022-04-04 20:58:36 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.185) |
| 2022-04-04 20:58:42 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-04 20:59:39 +0200 | <tomsmeding> | can't you do this with interval analysis? Like, if you know the accuracy of a function with type Double^n -> Double, you should be able to rewrite it to Interval^n -> Interval, where Interval = (Double, Double) |
| 2022-04-04 21:00:25 +0200 | Me-me | (~me-me@v.working.name) (Ping timeout: 256 seconds) |
| 2022-04-04 21:02:19 +0200 | <juri_> | I think that's a bit lost on me. i'm no rocket scientist here. :) |
| 2022-04-04 21:03:05 +0200 | <tomsmeding> | you know what an ULP is :') |
| 2022-04-04 21:03:08 +0200 | <tomsmeding> | you know more than I do |
| 2022-04-04 21:03:18 +0200 | <juri_> | only after a week of pulling my hair out. :) |
| 2022-04-04 21:03:22 +0200 | <tomsmeding> | :D |
| 2022-04-04 21:03:26 +0200 | deadmarshal_ | (~deadmarsh@95.38.119.185) (Ping timeout: 272 seconds) |
| 2022-04-04 21:03:30 +0200 | <juri_> | hmm. |
| 2022-04-04 21:03:36 +0200 | <tomsmeding> | juri_: https://hackage.haskell.org/package/exact-real |
| 2022-04-04 21:03:39 +0200 | <juri_> | i think i may be closer to an answer. |
| 2022-04-04 21:03:53 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 268 seconds) |
| 2022-04-04 21:04:19 +0200 | <juri_> | Ugh. implemented a long float library. now i just want a measure to know when to use it, and when the answer i'm going to get with a double is 'good enough'. |
| 2022-04-04 21:04:21 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-04 21:04:51 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Remote host closed the connection) |
| 2022-04-04 21:06:14 +0200 | <juri_> | hmm. i wonder if the answer i'm looking for is 'the ULP of a + the ulp of b + the ulp of a*a + the ulp of b*b + the ulp of a*a+b*b, plus pray a lot' |
| 2022-04-04 21:07:11 +0200 | <juri_> | supposedly, most x86 implementations have a ulp of less than 0.5 of the least significant digit.. |
| 2022-04-04 21:09:13 +0200 | <tomsmeding> | juri_: my point about intervals is the following. Suppose you have some `f :: Double -> Double`, e.g. `f x = x*x`. Suppose you also know the accuracy of f, i.e. you can write some function `g :: ExactReal -> ExactReal` such that `f x` is at most `g x` from the real answer. Then if `f` is monotonic, then you know that for an input `x` that is somewhere in the range [a, b] for ExactReals a and b, |
| 2022-04-04 21:09:13 +0200 | <tomsmeding> | then `f x` will be somewhere in the range [f a - g a, f b + g b]. Hence you've now lifted f to `f' :: (ExactReal, ExactReal) -> (ExactReal, ExactReal)`, giving the interval where the output will be given the interval where the input is |
| 2022-04-04 21:09:34 +0200 | <tomsmeding> | (that [f a - g a, f b + g b] should be flipped if `f` is decreasing instead of increasing) |
| 2022-04-04 21:09:57 +0200 | <tomsmeding> | now extend this to two-argument functions :p |
| 2022-04-04 21:10:32 +0200 | <tomsmeding> | and then feed the lifted function for your entire computation an interval [a, a], and look at how large the output interval is |
| 2022-04-04 21:10:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:67c4:4ad5:7007:410f) |
| 2022-04-04 21:11:01 +0200 | <tomsmeding> | iirc this is "interval arithmetic" |
| 2022-04-04 21:11:15 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-04 21:11:42 +0200 | CiaoSen | (~Jura@p200300c957311e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-04 21:15:31 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-04 21:18:21 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-04 21:19:54 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 272 seconds) |
| 2022-04-04 21:24:19 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:c037:4b3d:a51c:742a) |
| 2022-04-04 21:25:17 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 2022-04-04 21:25:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-04-04 21:26:24 +0200 | <juri_> | at times like this i really wish the herbie GHC plugin was still a thing. |
| 2022-04-04 21:27:16 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-04 21:27:19 +0200 | Psybur | (~Psybur@75.145.205.201) (Ping timeout: 268 seconds) |
| 2022-04-04 21:27:22 +0200 | <tomsmeding> | O.o that is one beast of a plugin |
| 2022-04-04 21:27:37 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-04 21:27:52 +0200 | neurocyte8614 | (~neurocyte@user/neurocyte) (Read error: Connection reset by peer) |
| 2022-04-04 21:27:56 +0200 | <juri_> | yeah, looking at it now, i wonder if it could be implemented extenally, with HIE. |
| 2022-04-04 21:28:30 +0200 | <tomsmeding> | but that wouldn't even help you really, right? |
| 2022-04-04 21:28:43 +0200 | <tomsmeding> | because while it might make the computations more stable, it won't tell how exactly how stable the result is |
| 2022-04-04 21:28:50 +0200 | neurocyte86144 | (~neurocyte@IP-045010063124.dynamic.medianet-world.de) |
| 2022-04-04 21:28:50 +0200 | neurocyte86144 | (~neurocyte@IP-045010063124.dynamic.medianet-world.de) (Changing host) |
| 2022-04-04 21:28:50 +0200 | neurocyte86144 | (~neurocyte@user/neurocyte) |
| 2022-04-04 21:28:57 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:f1fc:41cc:1190:cfb8) |
| 2022-04-04 21:29:06 +0200 | juri_ | nods. |
| 2022-04-04 21:29:29 +0200 | BlackboardN | (~Blackboar@user/BlackboardN) (Ping timeout: 248 seconds) |
| 2022-04-04 21:31:18 +0200 | BlackboardN | (~Blackboar@user/BlackboardN) |
| 2022-04-04 21:34:28 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-04 21:35:49 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 240 seconds) |
| 2022-04-04 21:38:25 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:f1fc:41cc:1190:cfb8) (Ping timeout: 268 seconds) |
| 2022-04-04 21:38:51 +0200 | Psybur | (~Psybur@2603:3021:2541:80c1:19c2:a1cd:6600:38ba) |
| 2022-04-04 21:43:03 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4.1) |
| 2022-04-04 21:43:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-04 21:47:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-04-04 21:48:55 +0200 | rawley | (~rawley@142.99.241.242) |
| 2022-04-04 21:51:45 +0200 | p3n | (~p3n@217.198.124.246) (Ping timeout: 256 seconds) |
| 2022-04-04 21:53:14 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2022-04-04 21:53:35 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-04 21:54:11 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 21:55:04 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 268 seconds) |
| 2022-04-04 21:57:57 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-04 21:59:02 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-04 21:59:53 +0200 | CiaoSen | (~Jura@p200300c957311e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-04 22:01:43 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Client Quit) |
| 2022-04-04 22:03:54 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-04 22:04:55 +0200 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-04 22:05:30 +0200 | p3n_ | (~p3n@217.198.124.246) |
| 2022-04-04 22:05:46 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Read error: Connection reset by peer) |
| 2022-04-04 22:08:29 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-04 22:12:16 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2022-04-04 22:13:17 +0200 | zer0bitz | (~zer0bitz@2001:2003:f750:a200:d52e:866a:6f3a:60a1) (Ping timeout: 256 seconds) |
| 2022-04-04 22:13:33 +0200 | urdh_ | (~urdh@user/urdh) |
| 2022-04-04 22:13:46 +0200 | urdh | (~urdh@user/urdh) (Ping timeout: 260 seconds) |
| 2022-04-04 22:13:46 +0200 | urdh_ | urdh |
| 2022-04-04 22:17:41 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-04 22:17:42 +0200 | acidjnk | (~acidjnk@p200300d0c7049f5375c1d267ad8f6a07.dip0.t-ipconnect.de) |
| 2022-04-04 22:17:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2022-04-04 22:19:35 +0200 | fendor_ | (~fendor@91.141.33.204.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-04-04 22:20:24 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-04-04 22:20:42 +0200 | crazazy | (~user@130.89.171.62) |
| 2022-04-04 22:21:07 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-04 22:23:53 +0200 | romesrf | (~romes@2001:8a0:6d13:9700:55ae:5d11:5a75:11c3) (Ping timeout: 260 seconds) |
| 2022-04-04 22:25:37 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-04 22:27:39 +0200 | V | (~v@anomalous.eu) (Changing host) |
| 2022-04-04 22:27:39 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2022-04-04 22:27:50 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:67c4:4ad5:7007:410f) (Quit: WeeChat 2.8) |
| 2022-04-04 22:28:11 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 22:32:12 +0200 | <lechner> | Hi, do people still use hugs? |
| 2022-04-04 22:32:22 +0200 | <napping> | Is there any way to use optimization settings or pragmas to get GHC to fully simplify application of a recursive function to term explicitly built up from constructor |
| 2022-04-04 22:32:53 +0200 | <geekosaur> | lechner, apparently it's still used in some intro to haskell sources |
| 2022-04-04 22:33:09 +0200 | <geekosaur> | *courses |
| 2022-04-04 22:33:22 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-04 22:33:30 +0200 | <napping> | like, if eval (Add x y) = eval x + eval y; eval (Lit n) = n, could I get a function like test n = eval (Add (Add (Lit n) (Lit n)) (Lit 2)) to optimize the body down to (x+x)+2? |
| 2022-04-04 22:34:15 +0200 | <napping> | SpecConstr only seems to want to do one layer of constructor (or the optimization isn't recursively applied to the generated specializations) |
| 2022-04-04 22:34:49 +0200 | <napping> | -fliberate-case sounds possibly relevant but I haven't got it to do anything useful |
| 2022-04-04 22:35:08 +0200 | <lechner> | geekosaur: thanks! |
| 2022-04-04 22:35:30 +0200 | <lechner> | also, does ghcjs have a bright future? |
| 2022-04-04 22:35:55 +0200 | <napping> | (also tried to somehow put in a SPEC as mentioned in the user's guide and it didn't work, but I didn't find documentation on the feature) |
| 2022-04-04 22:36:08 +0200 | <geekosaur> | it has the advantages ofbeing easy to install and highly portable. the disadvantage is it doesn't work with modern Haskell software, but for an intro course that's not especially relevant |
| 2022-04-04 22:36:12 +0200 | <napping> | Perhaps RULES? |
| 2022-04-04 22:36:45 +0200 | romesrf | (~romes@2001:8a0:6d13:9700:55ae:5d11:5a75:11c3) |
| 2022-04-04 22:37:27 +0200 | pavonia | (~user@user/siracusa) |
| 2022-04-04 22:37:33 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-04 22:38:35 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-04 22:39:12 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-04 22:41:04 +0200 | <lechner> | geekosaur: Thanks! Hugs is still in Debian, but I think ghcjs was dropped |
| 2022-04-04 22:42:26 +0200 | <geekosaur> | ghcjs's status is at best questionable, but I thinkit doesn't matter much as official js and wasm backends are tentatively scheduled for 9.6 |
| 2022-04-04 22:42:43 +0200 | <lechner> | i see |
| 2022-04-04 22:43:02 +0200 | <lechner> | thank you so much! |
| 2022-04-04 22:45:17 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-04 22:46:28 +0200 | <c_wraith> | huh. so I had an idea - I wanted to create GADT where each constructor has a type level tag, so you can specify an individual constructor by the type. but I wanted to see if I could use DataKinds and PolyKinds to promote the constructor itself to use as the type level tag, too. |
| 2022-04-04 22:46:41 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-04-04 22:46:53 +0200 | <c_wraith> | but... GHC was unhappy with that brand of recursion. |
| 2022-04-04 22:47:05 +0200 | <c_wraith> | very sadness. |
| 2022-04-04 22:48:15 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-04 22:53:16 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-04 22:54:15 +0200 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-04 22:57:17 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:6914:1dfa:1871:fc52) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-04 22:57:26 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:6914:1dfa:1871:fc52) |
| 2022-04-04 22:57:59 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-04 22:58:55 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-04 23:02:51 +0200 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-04 23:03:05 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-04 23:03:33 +0200 | <mcgroin> | if i define my operator like this: x :| f = f x, does it automatically mean it's infix? |
| 2022-04-04 23:03:51 +0200 | <mcgroin> | infixl |
| 2022-04-04 23:05:30 +0200 | <monochrom> | Yes. But don't name it :| |
| 2022-04-04 23:05:50 +0200 | <tomsmeding> | should name it :> because then it's happier |
| 2022-04-04 23:05:54 +0200 | <monochrom> | haha |
| 2022-04-04 23:06:26 +0200 | <monochrom> | But no, colon is reserved for infix data constructors, e.g., data M = Int :| Int |
| 2022-04-04 23:06:49 +0200 | <mcgroin> | colon is reserved ? |
| 2022-04-04 23:07:03 +0200 | <tomsmeding> | but yeah two issues with that: 1. :| is already taken by Data.List.NonEmpty (not terribly important perhaps), but 2. ':' is the capital letter of symbols: Foo can only be a type or data constructor, and similarly :| can only be a type or data constuctor |
| 2022-04-04 23:07:06 +0200 | <tomsmeding> | : is the only "capital symbol" |
| 2022-04-04 23:07:16 +0200 | <monochrom> | No, that is not the reserved-word notion. |
| 2022-04-04 23:07:36 +0200 | <tomsmeding> | % data MyThing = Int :& Bool deriving (Show) |
| 2022-04-04 23:07:36 +0200 | <yahb> | tomsmeding: |
| 2022-04-04 23:07:38 +0200 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-04 23:07:39 +0200 | <tomsmeding> | % 3 :& False |
| 2022-04-04 23:07:39 +0200 | <yahb> | tomsmeding: 3 :& False |
| 2022-04-04 23:07:48 +0200 | <tomsmeding> | see? not reserved, it just needs to be a data constructor |
| 2022-04-04 23:08:03 +0200 | <monochrom> | You cannot name your function "Myfunc", it has to be "myfunc", M is for data constructors, and these still don't imply that M is reserved. |
| 2022-04-04 23:08:03 +0200 | <tomsmeding> | % let a :&& b = a + b |
| 2022-04-04 23:08:03 +0200 | <yahb> | tomsmeding: ; <interactive>:27:7: error:; Not in scope: data constructor `:&&'; Perhaps you meant one of these: `:&' (line 25), variable `&&' (imported from Prelude), variable `&&&' (imported from Control.Arrow) |
| 2022-04-04 23:08:12 +0200 | <tomsmeding> | note the "data constructor `:&&'" |
| 2022-04-04 23:08:51 +0200 | <tomsmeding> | % let a !&& b = a + b |
| 2022-04-04 23:08:51 +0200 | <yahb> | tomsmeding: |
| 2022-04-04 23:08:54 +0200 | <tomsmeding> | % 3 !&& 4 |
| 2022-04-04 23:08:54 +0200 | <yahb> | tomsmeding: 7 |
| 2022-04-04 23:09:11 +0200 | romesrf | (~romes@2001:8a0:6d13:9700:55ae:5d11:5a75:11c3) (Ping timeout: 260 seconds) |
| 2022-04-04 23:09:43 +0200 | <monochrom> | Infix camel case: ?+:--:>> |
| 2022-04-04 23:10:07 +0200 | <tomsmeding> | ._. |
| 2022-04-04 23:10:11 +0200 | <mcgroin> | i see, so : is considered as a capital letter |
| 2022-04-04 23:13:16 +0200 | rawley | (~rawley@142.99.241.242) (Remote host closed the connection) |
| 2022-04-04 23:13:55 +0200 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-04 23:14:12 +0200 | Psybur | (~Psybur@2603:3021:2541:80c1:19c2:a1cd:6600:38ba) (Read error: Connection reset by peer) |
| 2022-04-04 23:14:25 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-04 23:14:28 +0200 | Psybur | (~Psybur@2603:3021:2541:80c1:19c2:a1cd:6600:38ba) |
| 2022-04-04 23:16:31 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2022-04-04 23:19:01 +0200 | Psybur | (~Psybur@2603:3021:2541:80c1:19c2:a1cd:6600:38ba) (Ping timeout: 256 seconds) |
| 2022-04-04 23:20:37 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:446a:e995:495d:c777) |
| 2022-04-04 23:21:05 +0200 | cjb | (~cjbayliss@user/cjb) |
| 2022-04-04 23:23:23 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-04 23:24:31 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-04 23:25:08 +0200 | Psybur | (~Psybur@2600:1003:b1a3:2343:446a:e995:495d:c777) (Ping timeout: 260 seconds) |
| 2022-04-04 23:25:40 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) |
| 2022-04-04 23:25:51 +0200 | mastarija | (~mastarija@2a05:4f46:e04:6000:85bd:9b8e:1cdb:300e) |
| 2022-04-04 23:26:37 +0200 | mastarija | (~mastarija@2a05:4f46:e04:6000:85bd:9b8e:1cdb:300e) (Client Quit) |
| 2022-04-04 23:28:35 +0200 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-04 23:28:51 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-04 23:30:07 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-04 23:32:10 +0200 | romesrf | (~romes@2001:8a0:6d13:9700:55ae:5d11:5a75:11c3) |
| 2022-04-04 23:32:31 +0200 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-04-04 23:33:13 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2022-04-04 23:36:48 +0200 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-04-04 23:38:49 +0200 | michalz | (~michalz@185.246.204.33) (Remote host closed the connection) |
| 2022-04-04 23:40:50 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-04 23:41:41 +0200 | romesrf | (~romes@2001:8a0:6d13:9700:55ae:5d11:5a75:11c3) (Ping timeout: 256 seconds) |
| 2022-04-04 23:42:07 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-04 23:42:55 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-04-04 23:44:23 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-04-04 23:45:29 +0200 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 248 seconds) |
| 2022-04-04 23:47:50 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-04 23:48:57 +0200 | Topsi | (~Tobias@dyndsl-037-138-064-193.ewe-ip-backbone.de) |
| 2022-04-04 23:49:57 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-04 23:51:36 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:c037:4b3d:a51c:742a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-04 23:54:10 +0200 | cheater | (~Username@user/cheater) |
| 2022-04-04 23:56:22 +0200 | romesrf | (~romes@2001:8a0:6d13:9700:55ae:5d11:5a75:11c3) |
| 2022-04-04 23:56:44 +0200 | cjb | (~cjbayliss@user/cjb) () |
| 2022-04-04 23:56:52 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-04 23:57:18 +0200 | cjb | (~cjb@user/cjb) |
| 2022-04-04 23:57:35 +0200 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |