IRCBrowse

2021/06/20

2021-06-20 00:01:13 +0200cuz(~user@c-24-2-210-18.hsd1.ma.comcast.net)
2021-06-20 00:01:16 +0200lavaman(~lavaman@98.38.249.169)
2021-06-20 00:01:25 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) (Remote host closed the connection)
2021-06-20 00:01:29 +0200chrysanthematic(~chrysanth@user/chrysanthematic) (Client Quit)
2021-06-20 00:05:05 +0200laguneucl(~Pitsikoko@2a02:587:dc0b:ff00:91aa:a5de:def3:b2bc)
2021-06-20 00:05:49 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 258 seconds)
2021-06-20 00:05:59 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 265 seconds)
2021-06-20 00:06:22 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-06-20 00:06:43 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158)
2021-06-20 00:08:18 +0200chomwitt(~Pitsikoko@athedsl-351576.home.otenet.gr) (Ping timeout: 268 seconds)
2021-06-20 00:09:54 +0200laguneucl(~Pitsikoko@2a02:587:dc0b:ff00:91aa:a5de:def3:b2bc) (Ping timeout: 264 seconds)
2021-06-20 00:10:20 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-06-20 00:11:16 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) (Ping timeout: 265 seconds)
2021-06-20 00:11:22 +0200teaSlurper(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-20 00:12:13 +0200teaSlurper(~chris@81.96.113.213)
2021-06-20 00:12:37 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 268 seconds)
2021-06-20 00:12:42 +0200jneira_(~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) (Quit: Ping timeout (120 seconds))
2021-06-20 00:16:32 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 00:16:33 +0200teaSlurper(~chris@81.96.113.213) (Ping timeout: 258 seconds)
2021-06-20 00:17:57 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158)
2021-06-20 00:19:22 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-20 00:19:22 +0200jneira_(~jneira_@131.red-79-155-1.dynamicip.rima-tde.net)
2021-06-20 00:21:09 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 258 seconds)
2021-06-20 00:21:24 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-06-20 00:26:54 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 258 seconds)
2021-06-20 00:27:17 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-06-20 00:27:30 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-20 00:28:36 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection)
2021-06-20 00:29:29 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-20 00:30:37 +0200berberman_(~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-06-20 00:31:05 +0200berberman(~berberman@user/berberman)
2021-06-20 00:33:48 +0200jneira_(~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) (Ping timeout: 258 seconds)
2021-06-20 00:40:16 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-06-20 00:41:46 +0200warnz(~warnz@2600:1700:77c0:5610:d5d8:e36a:2948:a4e3)
2021-06-20 00:42:55 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-20 00:43:22 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-06-20 00:45:54 +0200warnz(~warnz@2600:1700:77c0:5610:d5d8:e36a:2948:a4e3) (Ping timeout: 244 seconds)
2021-06-20 00:46:38 +0200sayola(~vekto@dslc-082-082-145-205.pools.arcor-ip.net) (Ping timeout: 268 seconds)
2021-06-20 00:48:18 +0200jneira_(~jneira_@131.red-79-155-1.dynamicip.rima-tde.net)
2021-06-20 00:51:33 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 00:56:15 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 00:57:35 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 244 seconds)
2021-06-20 00:59:52 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-20 01:02:34 +0200betelgeuse(~john2gb@94-225-47-8.access.telenet.be)
2021-06-20 01:02:52 +0200 <janus> how can i make a cabal script with {- cabal: ... -} use a dependency from my local system?
2021-06-20 01:04:00 +0200finsternis(~X@23.226.237.192)
2021-06-20 01:05:09 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2021-06-20 01:06:30 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3-dev)
2021-06-20 01:08:41 +0200jneira_(~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) (Ping timeout: 258 seconds)
2021-06-20 01:10:29 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-20 01:10:52 +0200 <geekosaur> I think both cabal and stack scripts are intended to be "quick and dirty" and don't support things like that
2021-06-20 01:11:29 +0200 <geekosaur> unless maybe you have distinct versions for local dependencies
2021-06-20 01:14:08 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 265 seconds)
2021-06-20 01:15:35 +0200jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-06-20 01:15:55 +0200jonathanx_(~jonathan@h-178-174-176-109.a357.priv.bahnhof.se)
2021-06-20 01:17:07 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2021-06-20 01:18:10 +0200hpotsirhc(~hpotsirhc@200116b80297f5000cbde6f1c629c814.dip.versatel-1u1.de)
2021-06-20 01:20:52 +0200favonia(~favonia@user/favonia) (Ping timeout: 265 seconds)
2021-06-20 01:22:41 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net)
2021-06-20 01:22:44 +0200euandreh(~euandreh@2804:14c:33:9fe5:c617:f0e4:6f11:e3af) (Quit: WeeChat 3.1)
2021-06-20 01:23:46 +0200euandreh(~euandreh@2804:14c:33:9fe5:c617:f0e4:6f11:e3af)
2021-06-20 01:23:59 +0200euandreh(~euandreh@2804:14c:33:9fe5:c617:f0e4:6f11:e3af) (Client Quit)
2021-06-20 01:24:18 +0200sm2n(~sm2n@user/sm2n) (Ping timeout: 264 seconds)
2021-06-20 01:24:39 +0200euandreh(~euandreh@2804:14c:33:9fe5:c617:f0e4:6f11:e3af)
2021-06-20 01:25:25 +0200zeenk(~zeenk@82.76.113.130) (Quit: Konversation terminated!)
2021-06-20 01:26:30 +0200bilegeek(~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7) (Quit: Leaving)
2021-06-20 01:27:53 +0200sm2n(~sm2n@user/sm2n)
2021-06-20 01:28:16 +0200grnman_(~gandalf@c-73-49-209-161.hsd1.fl.comcast.net) (Ping timeout: 244 seconds)
2021-06-20 01:30:25 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 01:34:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 01:34:53 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 01:35:48 +0200grnman_(~gandalf@c-73-49-209-161.hsd1.fl.comcast.net)
2021-06-20 01:37:35 +0200 <janus> all right
2021-06-20 01:40:50 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 252 seconds)
2021-06-20 01:42:08 +0200favonia(~favonia@user/favonia)
2021-06-20 01:43:35 +0200ph88^(~ph88@2a02:8109:9e00:7e5c:1960:9d14:60f8:23cf) (Ping timeout: 265 seconds)
2021-06-20 01:45:48 +0200lavaman(~lavaman@98.38.249.169)
2021-06-20 01:46:49 +0200cuz(~user@c-24-2-210-18.hsd1.ma.comcast.net) (Read error: Connection reset by peer)
2021-06-20 01:47:54 +0200favonia(~favonia@user/favonia) (Ping timeout: 244 seconds)
2021-06-20 01:48:13 +0200favonia(~favonia@user/favonia)
2021-06-20 01:49:58 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds)
2021-06-20 01:51:51 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-06-20 01:54:58 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net) (Ping timeout: 246 seconds)
2021-06-20 01:55:33 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-20 01:57:05 +0200howdy(~user@2001:8003:2432:d501:71e9:d3d3:3664:52d2)
2021-06-20 01:58:12 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-06-20 01:59:22 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-20 02:00:01 +0200hpotsirhc(~hpotsirhc@200116b80297f5000cbde6f1c629c814.dip.versatel-1u1.de) (Ping timeout: 265 seconds)
2021-06-20 02:05:33 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-06-20 02:05:57 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-06-20 02:06:43 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-06-20 02:07:40 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 02:09:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-06-20 02:12:12 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-20 02:15:58 +0200favonia(~favonia@user/favonia) (Ping timeout: 265 seconds)
2021-06-20 02:16:21 +0200favonia(~favonia@user/favonia)
2021-06-20 02:18:00 +0200betelgeuse(~john2gb@94-225-47-8.access.telenet.be) (Quit: The Lounge - https://thelounge.chat)
2021-06-20 02:21:26 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) (Remote host closed the connection)
2021-06-20 02:24:13 +0200grnman_(~gandalf@c-73-49-209-161.hsd1.fl.comcast.net) (Ping timeout: 265 seconds)
2021-06-20 02:28:42 +0200dhil(~dhil@195.213.192.47) (Ping timeout: 252 seconds)
2021-06-20 02:30:35 +0200lavaman(~lavaman@98.38.249.169) ()
2021-06-20 02:39:47 +0200teaSlurper(~chris@81.96.113.213)
2021-06-20 02:40:56 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-06-20 02:45:16 +0200grnman_(~gandalf@c-73-49-209-161.hsd1.fl.comcast.net)
2021-06-20 02:45:38 +0200Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2021-06-20 02:45:44 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 02:50:19 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 02:53:20 +0200lavaman(~lavaman@98.38.249.169)
2021-06-20 02:59:21 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-20 03:00:28 +0200 <DigitalKiwi> https://mostlyabsurd.com/files/eflister.hs is that local enough
2021-06-20 03:01:26 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 265 seconds)
2021-06-20 03:09:19 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-20 03:09:19 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection)
2021-06-20 03:09:58 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Client Quit)
2021-06-20 03:10:05 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2021-06-20 03:10:23 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2021-06-20 03:11:35 +0200koz(~koz@121.99.240.58) (Read error: Connection reset by peer)
2021-06-20 03:14:01 +0200koz(~koz@121.99.240.58)
2021-06-20 03:14:42 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija)
2021-06-20 03:21:13 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 265 seconds)
2021-06-20 03:21:49 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158)
2021-06-20 03:22:10 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-20 03:25:31 +0200 <DigitalKiwi> using an overlay you could use whatever version for one nix pulls in
2021-06-20 03:25:55 +0200koz(~koz@121.99.240.58) (Quit: ZNC 1.7.5 - https://znc.in)
2021-06-20 03:26:11 +0200koz(~koz@2404:4408:4309:8800:f7ec:14dd:f995:fa8c)
2021-06-20 03:26:16 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 03:26:26 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) (Ping timeout: 252 seconds)
2021-06-20 03:26:34 +0200 <qrpnxz> i was thinking about how applicative would work for uncurried functions if you didn't have liftA*, and it occurred to me you'd use something like f <$> sequenceA (ma, mb, ...), but you'd like an NTraversable for that thought hmm
2021-06-20 03:28:59 +0200 <qrpnxz> i don't even know how to generically uncurry a function
2021-06-20 03:31:24 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 03:33:11 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158)
2021-06-20 03:34:33 +0200 <ski> @type uncurry (liftA2 (,))
2021-06-20 03:34:34 +0200 <lambdabot> Applicative f => (f a, f b) -> f (a, b)
2021-06-20 03:34:57 +0200 <boxscape> qrpnxz do you mean like one function that can uncurry functions with any number of arguments?
2021-06-20 03:35:06 +0200favonia(~favonia@user/favonia) (Ping timeout: 264 seconds)
2021-06-20 03:35:25 +0200favonia(~favonia@user/favonia)
2021-06-20 03:35:39 +0200 <qrpnxz> yes
2021-06-20 03:35:50 +0200 <boxscape> I believe it requires a clever type class and overlapping instances
2021-06-20 03:37:12 +0200 <boxscape> (functions with a variable number of arguments generally are not well supported in Haskell)
2021-06-20 03:37:30 +0200xff0x(~xff0x@2001:1a81:5339:fe00:b030:ca5c:f625:5fbb) (Ping timeout: 264 seconds)
2021-06-20 03:37:32 +0200 <ski> @type uncurry . liftA2 . curry
2021-06-20 03:37:33 +0200 <lambdabot> Applicative f => ((a, b) -> c) -> (f a, f b) -> f c
2021-06-20 03:37:38 +0200 <ski> @type (. uncurry (liftA2 (,))) . fmap
2021-06-20 03:37:39 +0200 <lambdabot> Applicative f => ((a, b1) -> b2) -> (f a, f b1) -> f b2
2021-06-20 03:37:48 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 258 seconds)
2021-06-20 03:38:29 +0200 <ski> (all functions in Haskell take a single argument as input)
2021-06-20 03:38:46 +0200 <qrpnxz> (yes)
2021-06-20 03:38:52 +0200xff0x(~xff0x@2001:1a81:5381:2000:b608:3aa5:8037:f5c5)
2021-06-20 03:40:21 +0200 <boxscape> yeah I suppose I meant that more in terms of an abstract interface
2021-06-20 03:40:39 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection)
2021-06-20 03:40:53 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-06-20 03:41:30 +0200notzmv(~zmv@user/notzmv)
2021-06-20 03:41:34 +0200ski. o O ( defaulty & non-ground representations )
2021-06-20 03:43:32 +0200 <qrpnxz> reason i'm thinking about this is because i got no idea how you'd do applicatives in mainstream language.
2021-06-20 03:43:42 +0200 <qrpnxz> but maybe that's just utter lost cause lol
2021-06-20 03:45:50 +0200 <ski> if you can manipulate argument lists, you should probably be able to do it
2021-06-20 03:46:44 +0200 <ski> with a proper macro system, one could possibly use that
2021-06-20 03:47:11 +0200spoonm(spoonm@inaba.spoonm.org) (Quit: I might be back. I might not.)
2021-06-20 03:47:47 +0200spoonm(~spoonm@inaba.spoonm.org)
2021-06-20 03:48:22 +0200 <qrpnxz> with a proper macro system you can do anything lol
2021-06-20 03:49:21 +0200spoonm(~spoonm@inaba.spoonm.org) (Client Quit)
2021-06-20 03:49:31 +0200spoonm(spoonm@inaba.spoonm.org)
2021-06-20 03:50:42 +0200favonia(~favonia@user/favonia) (Ping timeout: 265 seconds)
2021-06-20 03:50:56 +0200wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net)
2021-06-20 03:51:19 +0200favonia(~favonia@user/favonia)
2021-06-20 03:52:58 +0200wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) (Remote host closed the connection)
2021-06-20 03:53:44 +0200wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net)
2021-06-20 03:54:24 +0200wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) (Remote host closed the connection)
2021-06-20 03:56:56 +0200 <boxscape> Just run your favorite language through CPP before you compile it
2021-06-20 03:56:58 +0200 <boxscape> that's how Haskell did it
2021-06-20 03:57:40 +0200 <qrpnxz> xD
2021-06-20 03:58:16 +0200 <geekosaur> thought you wanted a proper macro system :þ
2021-06-20 03:59:34 +0200wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net)
2021-06-20 03:59:48 +0200 <boxscape> CPP is the only macro system of which I know that it's purely functional, I'll take it
2021-06-20 04:00:06 +0200Guest43(~Guest43@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-06-20 04:01:50 +0200 <qrpnxz> I don't so how, say, scheme macros would not be purely functional
2021-06-20 04:01:53 +0200 <qrpnxz> *see
2021-06-20 04:02:02 +0200 <qrpnxz> or almost any macro system
2021-06-20 04:02:34 +0200wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) (Remote host closed the connection)
2021-06-20 04:02:38 +0200 <boxscape> you're probably right, but I've last used scheme 8 years ago, and haven't used any other macro system outside of CPP, so I stand by what I said about my state of knowledge :P
2021-06-20 04:03:06 +0200 <Guest43> Are programs that are defined by a bunch of functions that return ‘State ProgramState Value’ often able to be rewritten using continuation passing style where you return functions that are ‘Value -> ProgramState’?
2021-06-20 04:03:37 +0200yd502(~yd502@2409:891f:3020:22f7:fcc4:61ca:873d:3734)
2021-06-20 04:05:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 04:06:38 +0200 <ski> boxscape : `syntax-rules' ?
2021-06-20 04:06:42 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 04:06:53 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 256 seconds)
2021-06-20 04:07:04 +0200 <boxscape> ski I'm not sure what that's referring to
2021-06-20 04:07:22 +0200 <ski> it's the R⁵RS macro system
2021-06-20 04:07:36 +0200 <boxscape> ah. I'm not familiar with that
2021-06-20 04:07:56 +0200 <boxscape> wait
2021-06-20 04:08:08 +0200 <boxscape> I'm not familiar with the name R⁵RS
2021-06-20 04:08:18 +0200 <ski> it's not that composable, though, due to being call-by-name
2021-06-20 04:08:59 +0200 <ski> (you basically have to write non-trivial macros in CPS .. come to think of it, this also reminds me of writing server scripts in CPS)
2021-06-20 04:09:00 +0200 <boxscape> so iow `syntax-rules' is Scheme's macro system?
2021-06-20 04:09:39 +0200 <ski> Revised Revised Revised Revised Revised Report on the algorithmic language Scheme
2021-06-20 04:09:59 +0200 <boxscape> a very principled approach to nomenclature
2021-06-20 04:10:00 +0200hmmmas(~chenqisu1@183.217.200.246)
2021-06-20 04:10:11 +0200 <ski> it's one Scheme macro system. the one that's standardized in R⁵RS
2021-06-20 04:10:15 +0200 <boxscape> I see
2021-06-20 04:10:16 +0200 <ski> there's various others, too
2021-06-20 04:10:26 +0200 <boxscape> I don't know which one I learned when I took the FP course in Uni
2021-06-20 04:11:11 +0200 <ski> `syntax-case',explicit renaming,syntactic closures,`defmacro' (low-level, unhygienic)
2021-06-20 04:11:26 +0200skiprobably forgets some
2021-06-20 04:11:32 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 258 seconds)
2021-06-20 04:13:06 +0200 <boxscape> defmacro sounds most familiar to me, I think
2021-06-20 04:13:22 +0200 <ski> it comes from the other Lisps
2021-06-20 04:13:22 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:8d64:c14b:88a:5ff6) (Quit: Leaving)
2021-06-20 04:13:28 +0200 <boxscape> I see
2021-06-20 04:13:47 +0200 <ski> the other Scheme macro systems support hygiene, though
2021-06-20 04:14:04 +0200 <ski> (which is basically lexical/static scoping, for macros)
2021-06-20 04:14:20 +0200 <boxscape> right, okay
2021-06-20 04:15:21 +0200yd502(~yd502@2409:891f:3020:22f7:fcc4:61ca:873d:3734) (Ping timeout: 265 seconds)
2021-06-20 04:15:54 +0200favonia(~favonia@user/favonia) (Ping timeout: 264 seconds)
2021-06-20 04:17:28 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net)
2021-06-20 04:17:46 +0200favonia(~favonia@user/favonia)
2021-06-20 04:17:48 +0200beka(~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 265 seconds)
2021-06-20 04:18:11 +0200 <ski> (there's two parts of hygiene. (a) an identifier introduced by a macro shouldn't shadow a variable of the same name, in some user-supplied expression that's spliced into the macro expansion. (b) an identifier that's referred to by the macto body (the part that the macro expands to) should refer to what that identifier means, in the macro-definition scope, not what it might refer to at the macro invokation
2021-06-20 04:18:17 +0200 <ski> site)
2021-06-20 04:18:45 +0200 <ski> ((a) can generally be fixed by using `gensym' (although it's easy to forget to use it, so it's errorprone). (b) can't)
2021-06-20 04:18:49 +0200 <boxscape> got it
2021-06-20 04:19:01 +0200 <boxscape> ok
2021-06-20 04:19:20 +0200 <qrpnxz> RnRS is the Revised^n Report on the algorithmic language Scheme aka just Scheme, idk why ski is being so unclear
2021-06-20 04:19:32 +0200 <qrpnxz> syntax-rules is the name of a form you use to define macros
2021-06-20 04:19:39 +0200egoist(~egoist@186.235.85.100) (Quit: WeeChat 3.1)
2021-06-20 04:20:00 +0200 <boxscape> okay
2021-06-20 04:20:59 +0200 <ski> well, boxscape asked about R⁵RS, not RⁿRS ..
2021-06-20 04:21:35 +0200 <qrpnxz> just replace n
2021-06-20 04:21:49 +0200 <ski> `define-syntax' defines the macro. `syntax-rules' (or some other alternative form) is used to specify the macro
2021-06-20 04:22:02 +0200 <qrpnxz> yes
2021-06-20 04:22:15 +0200 <boxscape> what is the difference between definition and specification
2021-06-20 04:22:22 +0200 <ski> (there's also `let-syntax' and `letrec-syntax' for locally scoped macros)
2021-06-20 04:22:28 +0200 <qrpnxz> the same as declaration and implementation
2021-06-20 04:22:31 +0200 <boxscape> ah
2021-06-20 04:22:41 +0200 <ski> you'd still use the same `syntax-rules' form, for either of those three
2021-06-20 04:23:08 +0200 <qrpnxz> syntax-rules is like the lambda of macros
2021-06-20 04:23:11 +0200 <ski> `syntax-rules' allows you to pattern-match on the form of the macro invokation, and to specify a corresponding template
2021-06-20 04:23:34 +0200 <Guest43> Is a program defined by functions that return ‘State ProgramState Value’ often able to be rewritten using continuation passing style where the continuations are ‘Value -> ProgramState’
2021-06-20 04:23:40 +0200 <ski> hm. not quite a macro lambda
2021-06-20 04:23:57 +0200 <ski> (iirc Oleg did some macrology on macro lambdas ..)
2021-06-20 04:24:02 +0200 <ski> @where oleg
2021-06-20 04:24:02 +0200 <lambdabot> http://okmij.org/ftp/
2021-06-20 04:24:46 +0200 <ski> Guest43 : i guess you could use CPS, but i'm not sure why
2021-06-20 04:25:02 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-20 04:25:33 +0200mcglk(~mcglk@131.191.49.120) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-20 04:25:39 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-20 04:26:02 +0200mcglk(~mcglk@131.191.49.120)
2021-06-20 04:26:39 +0200 <Guest43> Ski: maybe if I had to account for the possibility of error it would be easier to do this then instead start using the EitherT State transformer? Is this a sensical reason?
2021-06-20 04:28:18 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-20 04:30:13 +0200 <Guest43> I happen to have a program just like this where I am using an ‘EitherT Error (State ProgramState) Value’. In reading about denotational semantics continuation passing style was introduced as a way to more elegantly deal with the possibility of error. I am wondering if it is worth pursuing for my program.
2021-06-20 04:30:18 +0200grnman_(~gandalf@c-73-49-209-161.hsd1.fl.comcast.net) (Remote host closed the connection)
2021-06-20 04:31:51 +0200 <Guest43> s/EitherT/ExceptT
2021-06-20 04:33:14 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 265 seconds)
2021-06-20 04:36:12 +0200 <Cajun> so it appears something i did earlier when trying to install accelerate has screwed a package up. when i try to load `Data.Array.Accelerate` in some random GHCi, it will error out with ambiguous packages. when i `cabal repl [packageWithAccelerate]` then import it (the program doesnt explicitly import it, but the build depends on it), it doesnt
2021-06-20 04:36:13 +0200 <Cajun> complain at all. https://paste.tomsmeding.com/tecJYoCE
2021-06-20 04:39:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-06-20 04:39:04 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 04:39:18 +0200beka(~beka@104-244-27-23.static.monkeybrains.net)
2021-06-20 04:43:44 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 258 seconds)
2021-06-20 04:45:30 +0200 <Guest43> Hmm maybe my continuations would actually instead have to be ‘Value -> Either Error ProgramState’? I am starting to think this won’t make things any easier then using a monad transformer.
2021-06-20 04:45:32 +0200nerdypepper(~nerdypepp@user/nerdypepper) (Quit: bye)
2021-06-20 04:46:05 +0200 <Guest43> Cps is reminding me a lot of monads…
2021-06-20 04:47:33 +0200alx741(~alx741@181.196.68.241) (Quit: alx741)
2021-06-20 04:48:25 +0200nerdypepper(~nerdypepp@user/nerdypepper)
2021-06-20 04:58:51 +0200td_(~td@muedsl-82-207-238-182.citykom.de) (Ping timeout: 268 seconds)
2021-06-20 05:00:19 +0200td_(~td@94.134.91.60)
2021-06-20 05:04:34 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-06-20 05:04:55 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-06-20 05:05:08 +0200favonia(~favonia@user/favonia) (Ping timeout: 265 seconds)
2021-06-20 05:05:32 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-06-20 05:05:33 +0200favonia(~favonia@user/favonia)
2021-06-20 05:06:27 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-06-20 05:07:36 +0200 <dsal> Guest43: https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Cont.html
2021-06-20 05:14:03 +0200favonia(~favonia@user/favonia) (Ping timeout: 244 seconds)
2021-06-20 05:16:13 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 05:20:31 +0200UpstreamSalmon(uid12077@id-12077.stonehaven.irccloud.com)
2021-06-20 05:20:32 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 258 seconds)
2021-06-20 05:21:01 +0200awth13(~user@user/awth13)
2021-06-20 05:21:20 +0200favonia(~favonia@user/favonia)
2021-06-20 05:23:14 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 252 seconds)
2021-06-20 05:25:01 +0200Guest43(~Guest43@pool-96-252-123-136.bstnma.fios.verizon.net) (Quit: Client closed)
2021-06-20 05:30:22 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-20 05:31:40 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2021-06-20 05:32:01 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2021-06-20 05:33:53 +0200P1RATEZ(piratez@user/p1ratez)
2021-06-20 05:35:15 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-06-20 05:37:42 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2021-06-20 05:37:43 +0200Lord_of_Life_Lord_of_Life
2021-06-20 05:39:49 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2021-06-20 05:42:08 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-06-20 05:43:32 +0200hmmmas(~chenqisu1@183.217.200.246) (Quit: Leaving.)
2021-06-20 05:47:15 +0200is7s(~is7s@2a01:4b00:895f:3d00:ddd:ae00:86d4:d79c) (Quit: Client closed)
2021-06-20 05:47:55 +0200unyu(~pyon@user/pyon) (Quit: WeeChat 3.2)
2021-06-20 05:50:29 +0200Axman6(~Axman6@user/axman6)
2021-06-20 05:52:28 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 05:56:14 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-06-20 05:56:58 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-20 05:57:16 +0200wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net)
2021-06-20 05:57:25 +0200 <Axman6> I'm trying to think of the best way to implement code similar to what's being done in this python code for computing the discrete logarithm of g^m mod p, and wondering what sort of structure would let me efficiently access previously computed results: https://github.com/microsoft/electionguard-python/blob/f0a25b0ac99fac5c8d4e3545055dbdd05968d021/sr…
2021-06-20 05:57:54 +0200 <Axman6> so I was wondering if a Data.Map.Lazy would work, but I have a feeling it won't be lazy enough
2021-06-20 05:58:36 +0200wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) (Remote host closed the connection)
2021-06-20 06:00:11 +0200 <Axman6> making a lazy list isn't too difficult but then I get linear time time lookup
2021-06-20 06:01:55 +0200lambdap(~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap)
2021-06-20 06:02:37 +0200lambdap(~lambdap@static.167.190.119.168.clients.your-server.de)
2021-06-20 06:03:43 +0200 <c_wraith> Data.Map.Lazy is fine if you can afford to insert all the keys at once
2021-06-20 06:04:03 +0200 <Axman6> I would prefer not to, but it might be feasible
2021-06-20 06:05:49 +0200 <c_wraith> you could also use one of the memoization packages that supports infinite tries
2021-06-20 06:08:52 +0200 <Axman6> yeah
2021-06-20 06:09:13 +0200 <Axman6> I'll probably do that
2021-06-20 06:14:56 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds)
2021-06-20 06:16:27 +0200wei2912(~wei2912@112.199.250.21)
2021-06-20 06:22:43 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net) (Ping timeout: 246 seconds)
2021-06-20 06:23:35 +0200pfurla_(~pfurla@37.15.195.173.client.static.strong-in52.as13926.net)
2021-06-20 06:24:33 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 06:25:24 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2021-06-20 06:26:18 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-06-20 06:27:17 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-06-20 06:29:16 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 06:29:58 +0200pfurla_(~pfurla@37.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 252 seconds)
2021-06-20 06:31:44 +0200 <qrpnxz> Just learned how to use the ST monad! Epic!
2021-06-20 06:31:57 +0200 <qrpnxz> i didn't know you could get this imperative in haskell
2021-06-20 06:33:50 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-06-20 06:34:36 +0200 <qrpnxz> accumulating numbers epic-style:
2021-06-20 06:34:38 +0200 <qrpnxz> runST $ newSTRef 0 >>= \n -> traverse (modifySTRef n . (+)) [1..144] >> readSTRef n
2021-06-20 06:35:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 06:36:24 +0200texasmynsted(~texasmyns@99.96.221.112)
2021-06-20 06:38:00 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
2021-06-20 06:44:26 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net)
2021-06-20 06:46:06 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-06-20 06:46:24 +0200wei2912(~wei2912@112.199.250.21) (Ping timeout: 258 seconds)
2021-06-20 06:48:55 +0200 <Axman6> urgh, ius ther some good documentation for using MemoTrie somewhere? the package gives nothing useful
2021-06-20 06:49:33 +0200 <Axman6> I remember there being some truck for recursive functions but it's not clear where to find it
2021-06-20 06:50:12 +0200 <Axman6> trick*
2021-06-20 06:52:03 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-06-20 06:56:54 +0200 <glguy> Axman6: you'll do something like: let f = memo \x -> ... stuff ... f z ....
2021-06-20 06:57:44 +0200mnrmnaughox-
2021-06-20 06:58:51 +0200 <Axman6> so I currently have this: dlog' :: ElementModP -> Int
2021-06-20 06:58:52 +0200 <Axman6> dlog' (ElementMod e0) = go 1 0 where go !x !n = if e0 == x then n else go ((x*g) `mod` p) (n+1)
2021-06-20 06:59:40 +0200 <Axman6> I tried this: dlog''' (ElementMod e) = memoFix (\go (a,n) -> if a == e then n else go ((a*g) `mod` p, n+1)) (1,0)
2021-06-20 06:59:59 +0200 <Axman6> but even calling the same thingexpression twice with that takes the same amount of time each time
2021-06-20 07:00:37 +0200jackhill(~jackhill@kalessin.dragonsnail.net) (Remote host closed the connection)
2021-06-20 07:01:29 +0200 <Axman6> wondering if I should try multiplying by g^-1 and counting backwards, so to speak
2021-06-20 07:01:52 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 07:02:05 +0200wei2912(~wei2912@112.199.250.21)
2021-06-20 07:02:06 +0200favonia(~favonia@user/favonia) (Ping timeout: 264 seconds)
2021-06-20 07:04:26 +0200favonia(~favonia@user/favonia)
2021-06-20 07:04:44 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-06-20 07:05:49 +0200 <glguy> Axman6: what expression did you call twice?
2021-06-20 07:06:07 +0200 <Axman6> dlog' (ElementMod (expFast g 4000000 p))
2021-06-20 07:06:11 +0200 <glguy> I mean you don't "call expressions" but what did you do
2021-06-20 07:06:16 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-20 07:06:31 +0200 <glguy> dlog' isn't being memorized
2021-06-20 07:06:34 +0200 <glguy> memoized
2021-06-20 07:06:46 +0200 <glguy> it just happens to be using memoization internally in its implementation
2021-06-20 07:06:55 +0200 <Axman6> indeed
2021-06-20 07:07:09 +0200 <qrpnxz> accumulating number epic-style IO edition:
2021-06-20 07:07:11 +0200 <qrpnxz> newIORef 0 >>= \n -> foldMap (liftA2 (>>) (modifyIORef n . (+)) (putStrLn . show)) [1..144] >> readIORef n
2021-06-20 07:07:25 +0200 <qrpnxz> yay!
2021-06-20 07:08:04 +0200 <qrpnxz> i went full galaxy brain with that liftA2 (>>)
2021-06-20 07:08:16 +0200 <qrpnxz> i'm thinking applicative!
2021-06-20 07:09:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-06-20 07:10:10 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-06-20 07:10:50 +0200chaosite(~chaosite@user/chaosite) (Ping timeout: 252 seconds)
2021-06-20 07:12:02 +0200 <Axman6> I think I have something that's working... by using a slightly different algorithm
2021-06-20 07:12:25 +0200 <Axman6> (and lots of RAM)
2021-06-20 07:13:13 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-06-20 07:13:26 +0200 <Axman6> hmm, ok, this is super slow...
2021-06-20 07:13:50 +0200unyu(~pyon@user/pyon)
2021-06-20 07:14:47 +0200 <Axman6> I'm trying dlogDown = memo $ \e -> if e == 1 then 0 else 1 + dlogDown ((e*g') `mod` p) (where g' = g^-1 so counting down instead of up, which avoids needing to pass around n... but probably makes a massive thunk)
2021-06-20 07:15:38 +0200 <Axman6> ok, 35GB is too much...
2021-06-20 07:19:03 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-06-20 07:22:55 +0200 <Axman6> ok! I ended up sort of memoising it myself, but now have: if I have computed n, the lookup for n+1 is very fast
2021-06-20 07:23:46 +0200favonia(~favonia@user/favonia) (Ping timeout: 268 seconds)
2021-06-20 07:24:06 +0200favonia(~favonia@user/favonia)
2021-06-20 07:24:14 +0200ox-mnrmnaugh
2021-06-20 07:24:17 +0200 <Axman6> glguy: https://gist.github.com/axman6/96475e7068f724f87db36a2a4e6c8758
2021-06-20 07:24:45 +0200Cajun(~Cajun@ip98-163-211-112.no.no.cox.net) (Quit: Client closed)
2021-06-20 07:26:06 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-06-20 07:27:48 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-06-20 07:30:54 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-20 07:30:58 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net) (Ping timeout: 246 seconds)
2021-06-20 07:32:10 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija)
2021-06-20 07:32:33 +0200favonia(~favonia@user/favonia) (Ping timeout: 265 seconds)
2021-06-20 07:32:58 +0200favonia(~favonia@user/favonia)
2021-06-20 07:34:56 +0200chaosite(~chaosite@user/chaosite)
2021-06-20 07:35:18 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-06-20 07:35:28 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 258 seconds)
2021-06-20 07:36:04 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 07:39:04 +0200teaSlurper(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-20 07:39:24 +0200laguneucl(~Pitsikoko@2a02:587:dc0b:ff00:91aa:a5de:def3:b2bc)
2021-06-20 07:40:27 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 258 seconds)
2021-06-20 07:41:34 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-06-20 07:45:02 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-20 07:45:44 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-06-20 07:47:58 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-06-20 07:48:15 +0200Guest9(~Guest9@103.250.145.119)
2021-06-20 07:49:16 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-06-20 07:51:38 +0200favonia(~favonia@user/favonia) (Ping timeout: 244 seconds)
2021-06-20 07:52:23 +0200favonia(~favonia@user/favonia)
2021-06-20 07:59:27 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-06-20 08:00:19 +0200UpstreamSalmon(uid12077@id-12077.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-20 08:03:54 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-06-20 08:04:18 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-06-20 08:04:52 +0200texasmynsted(~texasmyns@99.96.221.112) (WeeChat 3.1)
2021-06-20 08:08:34 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Quit: -)
2021-06-20 08:08:37 +0200 <Rembane> tomsmeding: A year ago the Pałka paper was the state of the art. I haven't really followed the field since then. What parts do you think are most ad hoc?
2021-06-20 08:10:03 +0200 <Guest9> anyone uses spreadsheet?
2021-06-20 08:10:09 +0200 <Guest9> or database?
2021-06-20 08:10:38 +0200 <Axman6> I think most of us have probably used spreadsheets and databases at some point. maybe ask your question and we can help you?
2021-06-20 08:10:52 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-20 08:13:12 +0200 <Guest9> i want to store data for 2 projects(A & B), data is not so big that it cant be visually impossible to see. around 20 columns -100 rows for each project. Out of 20 let us says 10+ columns are same across A & B. 5+ columns are slightly different (or can be derived from vice versa) & rest columns(~5) are completely different.
2021-06-20 08:13:46 +0200 <Guest9> in this case, while entering data, i feel Master sheet containing both A & B project data is quite useful.
2021-06-20 08:14:00 +0200Cajun(~Cajun@ip98-163-211-112.no.no.cox.net)
2021-06-20 08:14:09 +0200 <Axman6> could a cnv be enough?
2021-06-20 08:14:10 +0200 <Guest9> (instead of separating worksheet for A & B projects initially)
2021-06-20 08:14:13 +0200 <Axman6> csv*
2021-06-20 08:14:42 +0200 <Guest9> but when data is ready and i want to send to others, i need to separate them into each file/spreadsheet
2021-06-20 08:14:46 +0200 <Guest9> so what is best way out?
2021-06-20 08:14:52 +0200 <Guest9> the story doesnt end here.
2021-06-20 08:15:15 +0200 <Guest9> when others suggest me some changes, sometimes it is better to work on master sheet
2021-06-20 08:15:17 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 08:15:53 +0200 <Guest9> while sometimes (based on type of feedback/comments from others), it is better to work on master sheet so that i can have both project A & B in front of my eyes in a single page.
2021-06-20 08:16:40 +0200 <Guest9> s/when others..../when others suggest me some changes, sometimes it is better to work on INDIVIDUAL sheet (INSTEAD OF MASTER)
2021-06-20 08:17:17 +0200 <Guest9> am i making some sense?
2021-06-20 08:17:35 +0200 <Guest9> Axman6 yes, csv is fine too.
2021-06-20 08:18:02 +0200 <Guest9> but i dont know any csv editor, either i have seen google docs or office excel or at most libereoffice calc
2021-06-20 08:18:32 +0200 <Axman6> is therer anything wrong with those? excel/libreoffice should be find for making edits to csvs
2021-06-20 08:18:48 +0200 <Guest9> ok
2021-06-20 08:19:36 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-20 08:20:40 +0200Deide(~Deide@wire.desu.ga)
2021-06-20 08:20:40 +0200Deide(~Deide@wire.desu.ga) (Changing host)
2021-06-20 08:20:40 +0200Deide(~Deide@user/deide)
2021-06-20 08:20:53 +0200favonia(~favonia@user/favonia) (Ping timeout: 265 seconds)
2021-06-20 08:21:18 +0200favonia(~favonia@user/favonia)
2021-06-20 08:21:42 +0200Bartosz(~textual@24.35.90.211)
2021-06-20 08:23:37 +0200sheepduck(~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Changing host)
2021-06-20 08:23:37 +0200sheepduck(~sheepduck@user/sheepduck)
2021-06-20 08:27:24 +0200qbt(~edun@user/edun)
2021-06-20 08:30:28 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Quit: -)
2021-06-20 08:31:01 +0200kmetric(~karthik@49.206.9.195)
2021-06-20 08:32:18 +0200kmetric(~karthik@49.206.9.195) (Client Quit)
2021-06-20 08:39:22 +0200zeenk(~zeenk@82.76.113.130)
2021-06-20 08:39:29 +0200 <Guest9> is it possible to customize serial number=line numbers in any code editor/IDE?
2021-06-20 08:40:14 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-20 08:44:49 +0200ukari(~ukari@user/ukari) (Remote host closed the connection)
2021-06-20 08:45:39 +0200ukari(~ukari@user/ukari)
2021-06-20 08:48:15 +0200favonia(~favonia@user/favonia) (Ping timeout: 268 seconds)
2021-06-20 08:50:22 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 265 seconds)
2021-06-20 08:51:34 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-06-20 08:53:42 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 08:58:16 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 258 seconds)
2021-06-20 08:58:16 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-06-20 08:59:17 +0200MQ-17J(~MQ-17J@8.6.144.186)
2021-06-20 09:01:02 +0200Guest9(~Guest9@103.250.145.119) (Ping timeout: 265 seconds)
2021-06-20 09:05:15 +0200Guest9(~Guest9@103.250.145.119)
2021-06-20 09:06:06 +0200fef(~thedawn@user/thedawn)
2021-06-20 09:06:10 +0200 <sm[m]> Guest9: in most spreadsheets you can toggle filtering rows by the value in a particular column. That's a quick way to view just some rows, or the whole sheet
2021-06-20 09:06:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 09:06:47 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-20 09:06:58 +0200 <sm[m]> but this room is mainly for discussing the Haskell programming language, did you know ?
2021-06-20 09:07:00 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2021-06-20 09:12:27 +0200sheepduck(~sheepduck@user/sheepduck) (Remote host closed the connection)
2021-06-20 09:14:34 +0200Guest9(~Guest9@103.250.145.119) (Ping timeout: 265 seconds)
2021-06-20 09:21:32 +0200 <qrpnxz> lol, (<=<) = ((.) . (=<<))
2021-06-20 09:21:34 +0200gehmehgeh(~user@user/gehmehgeh)
2021-06-20 09:24:58 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 09:27:10 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-20 09:29:17 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-06-20 09:29:33 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 09:31:46 +0200Feuermagier(~Feuermagi@user/feuermagier)
2021-06-20 09:33:50 +0200Feuermagier_(~Feuermagi@154.28.188.168) (Ping timeout: 252 seconds)
2021-06-20 09:35:07 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-06-20 09:40:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-06-20 09:46:22 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-20 09:46:22 +0200teaSlurper(~chris@81.96.113.213)
2021-06-20 09:46:42 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se)
2021-06-20 09:56:21 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se) (Quit: C-x C-c, Shutting down OS...)
2021-06-20 09:58:55 +0200P1RATEZ(piratez@user/p1ratez) ()
2021-06-20 09:59:32 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 09:59:49 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-20 10:00:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 10:00:26 +0200yoctocell(~user@h87-96-130-155.cust.a3fiber.se)
2021-06-20 10:00:39 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-06-20 10:01:08 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 258 seconds)
2021-06-20 10:04:08 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-06-20 10:04:12 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 258 seconds)
2021-06-20 10:04:20 +0200Guest9(~Guest9@103.240.170.121)
2021-06-20 10:05:20 +0200 <Guest9> sm[m] yes. I am just looking for general idea. since there are 2 projects, there are filtering rows & columns both needed.
2021-06-20 10:07:19 +0200hendursa1(~weechat@user/hendursaga)
2021-06-20 10:09:11 +0200yd502(~yd502@114.85.148.68)
2021-06-20 10:09:52 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 252 seconds)
2021-06-20 10:10:19 +0200yd502_(~yd502@114.85.148.68)
2021-06-20 10:10:19 +0200ph88(~ph88@2a02:8109:9e00:7e5c:110d:2114:b7bd:a1e5) (Quit: Leaving)
2021-06-20 10:12:49 +0200johnli(~jl@c83-252-118-64.bredband.tele2.se) (Quit: leaving)
2021-06-20 10:14:01 +0200yd502(~yd502@114.85.148.68) (Ping timeout: 265 seconds)
2021-06-20 10:14:48 +0200mcglk(~mcglk@131.191.49.120) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-20 10:15:52 +0200zeenk(~zeenk@82.76.113.130) (Quit: Konversation terminated!)
2021-06-20 10:16:00 +0200neceve(~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130)
2021-06-20 10:17:20 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-06-20 10:17:41 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-06-20 10:28:16 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-20 10:29:00 +0200warnz(~warnz@2600:1700:77c0:5610:d5d8:e36a:2948:a4e3)
2021-06-20 10:29:24 +0200beka(~beka@104-244-27-23.static.monkeybrains.net) (Ping timeout: 252 seconds)
2021-06-20 10:29:49 +0200abraham(~abraham@191.96.120.28)
2021-06-20 10:31:39 +0200hpc(~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 272 seconds)
2021-06-20 10:33:08 +0200hpc(~juzz@ip98-169-35-13.dc.dc.cox.net)
2021-06-20 10:33:42 +0200warnz(~warnz@2600:1700:77c0:5610:d5d8:e36a:2948:a4e3) (Ping timeout: 268 seconds)
2021-06-20 10:35:44 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 10:36:15 +0200matsurago(~matsurago@nttkyo1710068.tkyo.nt.ngn.ppp.infoweb.ne.jp)
2021-06-20 10:40:07 +0200fef(~thedawn@user/thedawn) (Ping timeout: 252 seconds)
2021-06-20 10:40:14 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 258 seconds)
2021-06-20 10:47:53 +0200Guest9(~Guest9@103.240.170.121) (Quit: Ping timeout (120 seconds))
2021-06-20 10:52:44 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-06-20 10:55:20 +0200yd502_(~yd502@114.85.148.68) (Read error: Connection reset by peer)
2021-06-20 10:55:25 +0200yd502__(~yd502@114.85.148.68)
2021-06-20 10:56:23 +0200yd502__(~yd502@114.85.148.68) (Remote host closed the connection)
2021-06-20 10:56:43 +0200boxscape(~boxscape@user/boxscape)
2021-06-20 10:58:01 +0200yd502(~yd502@114.85.148.68)
2021-06-20 11:02:28 +0200Philonous_Philonous
2021-06-20 11:03:21 +0200yd502(~yd502@114.85.148.68) (Remote host closed the connection)
2021-06-20 11:03:50 +0200yd502(~yd502@114.85.148.68)
2021-06-20 11:03:51 +0200 <qrpnxz> can you do a case where multiple patterns do the same action?
2021-06-20 11:04:33 +0200 <ChaiTRex> qrpnxz: Yes.
2021-06-20 11:04:39 +0200 <qrpnxz> how
2021-06-20 11:04:51 +0200 <ChaiTRex> > case 5 where 5 -> True; _ -> True
2021-06-20 11:04:52 +0200 <lambdabot> <hint>:1:8: error: parse error on input ‘where’
2021-06-20 11:04:58 +0200 <ChaiTRex> > case 5 where { 5 -> True; _ -> True }
2021-06-20 11:05:00 +0200 <lambdabot> <hint>:1:8: error: parse error on input ‘where’
2021-06-20 11:05:06 +0200 <ChaiTRex> > case 5 of { 5 -> True; _ -> True }
2021-06-20 11:05:08 +0200 <lambdabot> True
2021-06-20 11:05:29 +0200 <ChaiTRex> Multiple patters there produce True.
2021-06-20 11:05:49 +0200 <qrpnxz> obv i don't want to repeat myself is the point of the question
2021-06-20 11:06:20 +0200 <boxscape> qrpnxz there have been some efforts in the past to allow branches that match multiple patterns, but they haven't gone anywhere so far
2021-06-20 11:06:31 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net)
2021-06-20 11:06:54 +0200 <qrpnxz> of all things, didn't expect the good ol' switch statement to be the thing haskell didn't have
2021-06-20 11:06:56 +0200 <qrpnxz> amazin
2021-06-20 11:07:32 +0200 <boxscape> in practice I tend to something like `case x of A -> foo; B -> something; C -> foo; D -> foo where foo = ...`
2021-06-20 11:07:42 +0200 <boxscape> s/to/to do
2021-06-20 11:07:44 +0200yd502_(~yd502@114.85.148.68)
2021-06-20 11:08:25 +0200 <qrpnxz> yeah i was planning pretty much doing that thx
2021-06-20 11:08:38 +0200yd502(~yd502@114.85.148.68) (Ping timeout: 252 seconds)
2021-06-20 11:09:02 +0200 <boxscape> qrpnxz this is the proposal btw which got a lot of support but was given up on by the author https://github.com/ghc-proposals/ghc-proposals/pull/43
2021-06-20 11:12:27 +0200 <qrpnxz> hmm, seems like they had trouble adding it, maybe one day
2021-06-20 11:12:29 +0200sh9(~sh9@softbank060116136158.bbtec.net) (Read error: Connection reset by peer)
2021-06-20 11:13:02 +0200fendor(~fendor@77.119.128.145.wireless.dyn.drei.com)
2021-06-20 11:13:19 +0200 <boxscape> yeah
2021-06-20 11:13:48 +0200 <dminuoso> Im just a bit sad that we have to retrofit this into existing syntax. :(
2021-06-20 11:14:09 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 11:14:25 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-06-20 11:14:51 +0200 <boxscape> that's fair, but I actually think the proposed syntax isn't too bad
2021-06-20 11:15:01 +0200 <boxscape> I suppose ideally you'd be able to use | instead of ;
2021-06-20 11:15:05 +0200 <boxscape> which isn't possible anymore
2021-06-20 11:15:25 +0200 <dminuoso> Can you align ; with the opening ( in all cases?
2021-06-20 11:15:35 +0200 <boxscape> hmm that's a good question, I don't know
2021-06-20 11:15:37 +0200 <dminuoso> If not, I will refuse to use this. :-)
2021-06-20 11:15:45 +0200 <dminuoso> Can't break my indention/alignment habits
2021-06-20 11:16:05 +0200 <dminuoso> Was pretty annoyed when I couldn't do this with do-pattern matching
2021-06-20 11:17:19 +0200 <boxscape> just use explicit layout and you can indent however you want :P
2021-06-20 11:18:01 +0200 <qrpnxz> > (flip.when) :: Bool -> b -> (b -> ()) -> ()
2021-06-20 11:18:01 +0200 <qrpnxz> wtf?
2021-06-20 11:18:03 +0200 <lambdabot> error:
2021-06-20 11:18:03 +0200 <lambdabot> • No instance for (Typeable b0)
2021-06-20 11:18:03 +0200 <lambdabot> arising from a use of ‘show_M72879048522121107737’
2021-06-20 11:18:17 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-06-20 11:18:32 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-20 11:18:41 +0200 <dminuoso> qrpnxz: lambdabot tries to show that function.
2021-06-20 11:18:51 +0200 <qrpnxz> ok
2021-06-20 11:19:13 +0200 <boxscape> :t (flip.when)
2021-06-20 11:19:14 +0200 <lambdabot> Bool -> b -> (b -> ()) -> ()
2021-06-20 11:19:16 +0200 <dminuoso> qrpnxz: and lambdabot presumably has some (Show a, Typeable b) => Show (b -> a)` instance
2021-06-20 11:19:29 +0200 <dminuoso> Or some such?
2021-06-20 11:20:06 +0200 <qrpnxz> :t when
2021-06-20 11:20:08 +0200 <lambdabot> Applicative f => Bool -> f () -> f ()
2021-06-20 11:20:17 +0200 <qrpnxz> this makes no sense
2021-06-20 11:20:25 +0200 <boxscape> > \'a' -> 'b'
2021-06-20 11:20:27 +0200 <lambdabot> <Char -> Char>
2021-06-20 11:20:30 +0200 <dminuoso> qrpnxz: anyway. The problem is you're trying to evaluate it, so that means lamdabot tries to "wrap it with show"
2021-06-20 11:20:32 +0200 <boxscape> I didn't even know lambdabot does that
2021-06-20 11:20:42 +0200 <qrpnxz> i mean the type of flip.when makes no sense
2021-06-20 11:20:46 +0200 <dminuoso> % :t flip.when
2021-06-20 11:20:47 +0200 <yahb> dminuoso: Bool -> b -> (b -> ()) -> ()
2021-06-20 11:20:48 +0200 <qrpnxz> not really paying attention to lambdabot
2021-06-20 11:20:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-06-20 11:21:01 +0200 <dminuoso> % :t when
2021-06-20 11:21:01 +0200 <yahb> dminuoso: Applicative f => Bool -> f () -> f ()
2021-06-20 11:21:12 +0200 <dminuoso> % :t flip
2021-06-20 11:21:13 +0200 <yahb> dminuoso: (a -> b -> c) -> b -> a -> c
2021-06-20 11:21:30 +0200 <dminuoso> qrpnxz: There is an Applicative instance for ((->) a)
2021-06-20 11:21:55 +0200 <qrpnxz> rip
2021-06-20 11:22:02 +0200 <qrpnxz> what a freak even
2021-06-20 11:22:06 +0200 <qrpnxz> gonna have to do it by hand
2021-06-20 11:22:07 +0200 <qrpnxz> :(
2021-06-20 11:22:10 +0200 <qrpnxz> *event
2021-06-20 11:23:30 +0200 <dminuoso> qrpnxz: Consider: when returns something `f ()`, if we set `f ~ ((a) ->), when :: (a -> ()) -> a -> ()
2021-06-20 11:23:46 +0200 <dminuoso> Oh, missing a Bool
2021-06-20 11:23:53 +0200 <dminuoso> when :: Bool -> (a -> ()) -> a -> ()
2021-06-20 11:24:01 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-06-20 11:24:17 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-06-20 11:26:45 +0200 <dminuoso> boxscape: Admit, this just looks wrong: https://gist.github.com/dminuoso/a211db82b4ec14e12941bfcbaf1815b6
2021-06-20 11:26:57 +0200 <boxscape> yes
2021-06-20 11:27:12 +0200 <dminuoso> In my code I just make the pattern match irrefutable just to satisfy my need to align everything nicely
2021-06-20 11:27:13 +0200sh9(~sh9@softbank060116136158.bbtec.net)
2021-06-20 11:27:34 +0200mcglk(~mcglk@131.191.49.120)
2021-06-20 11:27:40 +0200 <boxscape> hm nice trick
2021-06-20 11:29:18 +0200 <dminuoso> To be honest, the real reason for all of this is because Im too lazy to create intermediate data types. In the original code just have `pure Foo{..}` at the end
2021-06-20 11:30:07 +0200 <dminuoso> The code to the right of the bind uses a nested section parser that needs to be wrapped, so I cant just have `foo <- ...; bar <- ...; baz <- ...;`
2021-06-20 11:31:10 +0200 <dminuoso> Plus, if you want to do this inside ApplicativeDo, you must have the irrefutable pattern match anyway. And I use this trick in optparse-applicative in the very same project as well..
2021-06-20 11:32:17 +0200 <boxscape> The _real_ reason for all this is that we still use ASCII strings to notate programs when we could be using interfaces actually based on ASTs :P
2021-06-20 11:32:39 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-20 11:33:36 +0200 <dminuoso> Reminds me of the Haskell Weekly episode with Sandy Maguire, talking about Wingman
2021-06-20 11:33:51 +0200 <dminuoso> They talked about exactly this situation, part of what inspired Wingman
2021-06-20 11:34:58 +0200 <boxscape> there was someone a few years ago who made an interface like that which worked with a subset of haskell, but I don't remember what it was called
2021-06-20 11:37:09 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds)
2021-06-20 11:37:56 +0200 <dminuoso> The argument made in the podcast, was that one of the main things making writing Haskell on a tablet in the parket problematic, is how we denote so much of a program as just strings
2021-06-20 11:38:26 +0200 <dminuoso> (And apparently wingman was born out of the idea "couldn't we make it possible to write haskell programs on a tablet")
2021-06-20 11:40:42 +0200_xor(~xor@74.215.46.133) (Quit: brb)
2021-06-20 11:41:30 +0200 <boxscape> The main issue I see is that you probably still have to write down names of things, which would be much slower on a tablet, at least for me
2021-06-20 11:42:24 +0200 <boxscape> I've been idly wondering if you could get some benefit from a VR-based interface, but the same thing about names applies, unless you manage to make naming based on voice recognition work or something
2021-06-20 11:45:59 +0200 <dminuoso> For a lot of code we usually refer to existing names.
2021-06-20 11:46:17 +0200 <dminuoso> And the AST structure is fixed, which is why a string to represent programs is not ideal
2021-06-20 11:46:24 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds)
2021-06-20 11:46:34 +0200 <dminuoso> Like, if you write a case-of, you can only ever write whatever production rules the grammar has for you
2021-06-20 11:46:47 +0200 <dminuoso> So you could just offer these production rules with some nice interface
2021-06-20 11:46:53 +0200 <boxscape> yeah
2021-06-20 11:48:14 +0200micro(~micro@user/micro) (Remote host closed the connection)
2021-06-20 11:50:41 +0200micro(~micro@user/micro)
2021-06-20 11:52:21 +0200hendursa1(~weechat@user/hendursaga) (*.net *.split)
2021-06-20 11:52:21 +0200gehmehgeh(~user@user/gehmehgeh) (*.net *.split)
2021-06-20 11:52:21 +0200chexum(~chexum@gateway/tor-sasl/chexum) (*.net *.split)
2021-06-20 11:52:21 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (*.net *.split)
2021-06-20 11:52:21 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (*.net *.split)
2021-06-20 11:52:21 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (*.net *.split)
2021-06-20 11:52:21 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (*.net *.split)
2021-06-20 11:52:49 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-06-20 11:52:51 +0200hendursa1(~weechat@user/hendursaga)
2021-06-20 11:53:01 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-06-20 11:53:03 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2021-06-20 11:53:04 +0200gehmehgeh(~user@user/gehmehgeh)
2021-06-20 11:53:13 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-06-20 11:54:55 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 11:55:01 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-20 11:55:03 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-06-20 11:55:49 +0200mastarija(~mastarija@31.217.22.187)
2021-06-20 11:56:18 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-20 11:57:17 +0200 <mastarija> Is there an actual paper about "Curry-Howard correspondence"? All I'm finding are wikis and presentations talking about the correspondence, but no original paper.
2021-06-20 11:57:25 +0200 <mastarija> Is it even a paper?
2021-06-20 11:58:18 +0200notzmv(~zmv@user/notzmv)
2021-06-20 11:59:35 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 258 seconds)
2021-06-20 12:00:04 +0200 <boxscape> mastarija I believe this is it, but I haven't read it https://www.cs.cmu.edu/~crary/819-f09/Howard80.pdf
2021-06-20 12:00:13 +0200 <boxscape> mastarija there's some history here https://wadler.blogspot.com/2014/08/howard-on-curry-howard.html
2021-06-20 12:00:16 +0200 <tomsmeding> Rembane: the parts that feel odd to me (but I don't have a better alternative!) are the weights of the rules for priotitised sampling and the selection of types for unconstrained type variables (namely selecting environment types and functions of them, or something)
2021-06-20 12:00:33 +0200 <boxscape> mastarija and I found the reference to that in http://www.cs.bc.edu/~muller/teaching/lc/WadlerPropositionsAsTypes.pdf
2021-06-20 12:01:59 +0200 <tomsmeding> Cajun: if you're still using `cabal install --lib`, I think that is what's giving you issues. The normal usage of cabal (and what it's debugged for :p) is where you have a project with dependencies, and you work in a project
2021-06-20 12:02:16 +0200 <tomsmeding> You never globally install anything, except perhaps executables
2021-06-20 12:02:44 +0200 <tomsmeding> Kind of like a python virtualenv, or a Cargo.toml file for rust, or a package.json for nodejs
2021-06-20 12:03:50 +0200 <tomsmeding> If you want to be able to use a repl on an ad-hoc basis, try to use `cabal repl -b accelerate` or similar -- which essentially sets up a temporary project with the given dependenc(y)(ies)
2021-06-20 12:04:28 +0200 <tomsmeding> Cabal should be smart enough to not recompile libraries if you depend on them in a similar enough configuration
2021-06-20 12:06:41 +0200 <tomsmeding> Cajun: cabal's documentation says that `install --lib` modifies a file in `~/.ghc/$ARCH-$OS-$GHCVER/environments/default`; you might want to remove that file in case there is some odd configuration there now
2021-06-20 12:06:53 +0200 <tomsmeding> (docs: https://cabal.readthedocs.io/en/3.4/cabal-commands.html#cabal-v2-install )
2021-06-20 12:07:52 +0200 <qrpnxz> iterators: just works. https://termbin.com/yotb
2021-06-20 12:09:51 +0200_xor(~xor@74.215.46.133)
2021-06-20 12:10:06 +0200 <qrpnxz> > The _real_ reason for all this is that we still use ASCII strings to notate programs when we could be using interfaces actually based on ASTs
2021-06-20 12:10:06 +0200 <qrpnxz> boxscape: been kind of waiting for this to happen, haskell is probably a good candidate for such an interface given that composition is its whole shtick
2021-06-20 12:10:12 +0200 <lambdabot> error:
2021-06-20 12:10:12 +0200 <lambdabot> Data constructor not in scope:
2021-06-20 12:10:12 +0200 <lambdabot> The
2021-06-20 12:10:52 +0200 <boxscape> qrpnxz yeah I also think expression-based languages might be a better fit than statement-based ones
2021-06-20 12:10:58 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds)
2021-06-20 12:12:00 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds)
2021-06-20 12:12:31 +0200nf(~n@monade.li) (Quit: Fairfarren.)
2021-06-20 12:12:33 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2021-06-20 12:12:36 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-06-20 12:12:44 +0200nf(~n@monade.li)
2021-06-20 12:12:46 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-06-20 12:13:45 +0200ph88(~ph88@2a02:8109:9e00:7e5c:1960:9d14:60f8:23cf)
2021-06-20 12:14:13 +0200nf(~n@monade.li) (Client Quit)
2021-06-20 12:15:00 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-20 12:15:07 +0200nf(~n@monade.li)
2021-06-20 12:18:00 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-06-20 12:23:21 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 258 seconds)
2021-06-20 12:28:20 +0200fabfianda(~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) (Ping timeout: 258 seconds)
2021-06-20 12:28:36 +0200fabfianda(~fabfianda@mob-5-90-249-105.net.vodafone.it)
2021-06-20 12:29:05 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-20 12:30:34 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 12:33:42 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds)
2021-06-20 12:34:44 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds)
2021-06-20 12:34:44 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 244 seconds)
2021-06-20 12:34:48 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-20 12:35:19 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2021-06-20 12:35:45 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-06-20 12:35:46 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2021-06-20 12:36:31 +0200gehmehgeh(~user@user/gehmehgeh)
2021-06-20 12:37:32 +0200mastarija(~mastarija@31.217.22.187) (Ping timeout: 258 seconds)
2021-06-20 12:37:54 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-20 12:38:21 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-20 12:38:43 +0200dhil(~dhil@80.208.56.181)
2021-06-20 12:46:06 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds)
2021-06-20 12:46:34 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-06-20 12:47:29 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-20 12:47:38 +0200is7s(~is7s@2a01:4b00:895f:3d00:ddd:ae00:86d4:d79c)
2021-06-20 12:50:06 +0200altern(~altern@altern.corbina.com.ua) (Ping timeout: 264 seconds)
2021-06-20 12:52:52 +0200dhil(~dhil@80.208.56.181) (Ping timeout: 258 seconds)
2021-06-20 12:54:03 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Quit: _)
2021-06-20 12:54:04 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2021-06-20 12:54:16 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-20 12:54:18 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2021-06-20 12:55:27 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 265 seconds)
2021-06-20 12:58:14 +0200fabfianda(~fabfianda@mob-5-90-249-105.net.vodafone.it) (Ping timeout: 258 seconds)
2021-06-20 12:58:59 +0200fabfianda(~fabfianda@net-109-116-251-109.cust.vodafonedsl.it)
2021-06-20 13:00:15 +0200Cajun(~Cajun@ip98-163-211-112.no.no.cox.net) (Quit: Client closed)
2021-06-20 13:03:02 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds)
2021-06-20 13:05:20 +0200matsurago(~matsurago@nttkyo1710068.tkyo.nt.ngn.ppp.infoweb.ne.jp) (Quit: Leaving)
2021-06-20 13:07:06 +0200dhil(~dhil@195.213.192.47)
2021-06-20 13:08:42 +0200xff0x(~xff0x@2001:1a81:5381:2000:b608:3aa5:8037:f5c5) (Ping timeout: 264 seconds)
2021-06-20 13:09:03 +0200xff0x(~xff0x@2001:1a81:5381:2000:e1b5:6bc2:be6a:4590)
2021-06-20 13:09:11 +0200synthmeat(~synthmeat@user/synthmeat)
2021-06-20 13:09:54 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 13:10:12 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-06-20 13:10:19 +0200hegstal(~hegstal@2a02:c7f:7604:8a00:3573:4e54:4d99:437f)
2021-06-20 13:14:24 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-20 13:15:22 +0200favonia(~favonia@user/favonia)
2021-06-20 13:16:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 13:18:31 +0200sm2n(~sm2n@user/sm2n) (Quit: Leaving)
2021-06-20 13:18:48 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-06-20 13:19:44 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-20 13:20:31 +0200sm2n(~sm2n@user/sm2n)
2021-06-20 13:24:04 +0200yd502_(~yd502@114.85.148.68) (Read error: Connection reset by peer)
2021-06-20 13:26:12 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-20 13:28:54 +0200teaSlurper(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-20 13:29:15 +0200involans(~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 265 seconds)
2021-06-20 13:30:44 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) (Remote host closed the connection)
2021-06-20 13:30:44 +0200azeem(~azeem@dynamic-adsl-94-34-49-60.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-20 13:30:46 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2021-06-20 13:30:49 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 258 seconds)
2021-06-20 13:31:15 +0200yd502(~yd502@2409:891e:360:303d:80ad:194d:bc8:8ab9)
2021-06-20 13:31:30 +0200azeem(~azeem@dynamic-adsl-94-34-49-60.clienti.tiscali.it)
2021-06-20 13:34:06 +0200teaSlurper(~chris@81.96.113.213)
2021-06-20 13:38:26 +0200teaSlurper(~chris@81.96.113.213) (Ping timeout: 265 seconds)
2021-06-20 13:41:28 +0200__monty__(~toonn@user/toonn)
2021-06-20 13:41:30 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-20 13:45:51 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 13:51:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-06-20 14:02:15 +0200zebrag(~chris@user/zebrag)
2021-06-20 14:06:28 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:28e5:866c:bfd1:85d2)
2021-06-20 14:07:32 +0200flipchan(~yumman@user/flipchan)
2021-06-20 14:10:39 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-06-20 14:12:25 +0200altern(~altern@altern.corbina.com.ua)
2021-06-20 14:15:37 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: Connection reset by peer)
2021-06-20 14:15:54 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-20 14:21:27 +0200laguneucl(~Pitsikoko@2a02:587:dc0b:ff00:91aa:a5de:def3:b2bc) (Ping timeout: 265 seconds)
2021-06-20 14:24:50 +0200yd502(~yd502@2409:891e:360:303d:80ad:194d:bc8:8ab9) (Ping timeout: 265 seconds)
2021-06-20 14:30:49 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-20 14:31:21 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a)
2021-06-20 14:36:03 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Ping timeout: 268 seconds)
2021-06-20 14:37:04 +0200teaSlurper(~chris@81.96.113.213)
2021-06-20 14:41:01 +0200 <Axman6> qrpnxz: you should look at unison
2021-06-20 14:41:26 +0200teaSlurper(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-20 14:41:26 +0200 <qrpnxz> what is it
2021-06-20 14:43:41 +0200mastarija(~mastarija@31.217.22.187)
2021-06-20 14:44:01 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-06-20 14:44:27 +0200 <koishi_> is it possible to quantify over all type classes in an instance?
2021-06-20 14:44:53 +0200 <koishi_> e.g. instance forall cls. cls (C cls)
2021-06-20 14:45:06 +0200teaSlurper(~chris@81.96.113.213)
2021-06-20 14:47:05 +0200 <koishi_> I presume it's impossible due to the first order logic used in haskell 'class language', but google doesn't tell me anything about second-order class instances
2021-06-20 14:48:04 +0200 <koishi_> so there doesn't exist any language that support this second-order thing, right?
2021-06-20 14:49:31 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 14:51:10 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-06-20 14:51:25 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 265 seconds)
2021-06-20 14:51:41 +0200berberman(~berberman@user/berberman) (Ping timeout: 244 seconds)
2021-06-20 14:52:51 +0200berberman(~berberman@user/berberman)
2021-06-20 14:53:03 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-06-20 14:56:59 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-06-20 14:58:59 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-20 15:01:13 +0200alx741(~alx741@181.196.68.241)
2021-06-20 15:02:52 +0200Alex_test(~al_test@178.34.160.156) (Quit: ;-)
2021-06-20 15:03:10 +0200AlexZenon(~alex@178.34.160.156) (Quit: ;-)
2021-06-20 15:03:16 +0200AlexNoo(~AlexNoo@178.34.160.156) (Quit: Leaving)
2021-06-20 15:06:37 +0200jumper149(~jumper149@80.240.31.34)
2021-06-20 15:07:02 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 258 seconds)
2021-06-20 15:07:31 +0200Guest9(~Guest9@103.240.170.121)
2021-06-20 15:09:20 +0200mastarija(~mastarija@31.217.22.187) (Ping timeout: 265 seconds)
2021-06-20 15:13:39 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds)
2021-06-20 15:19:09 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 15:19:18 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-06-20 15:21:06 +0200AlexZenon(~alzenon@178.34.160.156)
2021-06-20 15:23:50 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 15:24:46 +0200mastarija(~mastarija@31.217.22.187)
2021-06-20 15:29:06 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-20 15:29:42 +0200abraham(~abraham@191.96.120.28) (Ping timeout: 252 seconds)
2021-06-20 15:29:50 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-20 15:31:04 +0200neceve(~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Remote host closed the connection)
2021-06-20 15:31:21 +0200favonia(~favonia@user/favonia) (Quit: Leaving)
2021-06-20 15:34:18 +0200Alex_test(~al_test@178.34.160.156)
2021-06-20 15:35:09 +0200Guest9(~Guest9@103.240.170.121) (Quit: Connection closed)
2021-06-20 15:37:06 +0200Guest9(~Guest9@103.240.170.121)
2021-06-20 15:37:19 +0200mastarija(~mastarija@31.217.22.187) (Ping timeout: 258 seconds)
2021-06-20 15:40:13 +0200fef(~thedawn@user/thedawn)
2021-06-20 15:42:41 +0200AlexNoo(~AlexNoo@178.34.160.156)
2021-06-20 15:43:36 +0200 <sclv> ah drat they left or i would have pointed em to constraint kinds
2021-06-20 15:46:32 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2021-06-20 15:47:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 15:52:39 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Remote host closed the connection)
2021-06-20 15:54:30 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 15:59:07 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 15:59:24 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-06-20 16:00:48 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-20 16:03:26 +0200Guest53(~Guest53@82.40.121.143)
2021-06-20 16:03:29 +0200Guest53(~Guest53@82.40.121.143) (Client Quit)
2021-06-20 16:03:46 +0200benin0369(~benin@183.82.205.58) (Ping timeout: 258 seconds)
2021-06-20 16:04:41 +0200MemorableNewt(~Memorable@82.40.121.143)
2021-06-20 16:08:56 +0200ph88(~ph88@2a02:8109:9e00:7e5c:1960:9d14:60f8:23cf) (Remote host closed the connection)
2021-06-20 16:09:23 +0200 <MemorableNewt> I want to create an AST with multiple constructors, including some recursive, e.g. `data T = A | B T | C T T`, but I want to exclude certain patterns, e.g. in `C x y` I want to forbid `x == A` and `y == A`. Are there any general techniques for doing this concisely?
2021-06-20 16:11:43 +0200fendor_(~fendor@178.115.131.43.wireless.dyn.drei.com)
2021-06-20 16:12:23 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Remote host closed the connection)
2021-06-20 16:13:24 +0200 <MemorableNewt> If I only want to exclude the left argument of a `C` from being `A`, for example, then I could do it by attaching an extra kind parameter, e.g. `data T b where A :: T False; B :: T True -> T b; C :: T False -> T True -> T b`. But I don't see any way of generalising this.
2021-06-20 16:14:07 +0200fendor(~fendor@77.119.128.145.wireless.dyn.drei.com) (Ping timeout: 258 seconds)
2021-06-20 16:14:23 +0200fendor_fendor
2021-06-20 16:14:33 +0200Guest9(~Guest9@103.240.170.121) (Ping timeout: 265 seconds)
2021-06-20 16:15:23 +0200 <MemorableNewt> (correction: `A :: T False` should be `A :: T True` above)
2021-06-20 16:17:21 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-06-20 16:18:02 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com)
2021-06-20 16:19:22 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
2021-06-20 16:21:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-06-20 16:23:28 +0200mastarija(~mastarija@31.217.22.187)
2021-06-20 16:25:22 +0200brence(~brence@2a01:4b00:895f:3d00:ddd:ae00:86d4:d79c)
2021-06-20 16:28:53 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 16:31:03 +0200ddellacosta(~ddellacos@86.106.121.100) (Read error: Connection reset by peer)
2021-06-20 16:32:06 +0200chomwitt(~Pitsikoko@athedsl-351576.home.otenet.gr)
2021-06-20 16:32:48 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a)
2021-06-20 16:37:20 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Ping timeout: 252 seconds)
2021-06-20 16:42:48 +0200zeenk(~zeenk@82.76.113.130)
2021-06-20 16:43:32 +0200Bartosz(~textual@24.35.90.211)
2021-06-20 16:43:35 +0200 <infinisil> MemorableNewt: I don't think it's generalizable without introducing an extra data type
2021-06-20 16:43:35 +0200phma(~phma@host-67-44-209-29.hnremote.net) (Read error: Connection reset by peer)
2021-06-20 16:44:51 +0200safinaskar(~safinaska@213.87.153.145)
2021-06-20 16:45:17 +0200 <safinaskar> hi
2021-06-20 16:45:18 +0200 <infinisil> I'd do something like `data TKind = AKind | NonAKind`, then `data T (k :: TKind) where A :: T AKind; B :: T k -> T NonAKind; C :: T NonAKind -> T NonAKind -> T NonAKind`
2021-06-20 16:46:03 +0200teaSlurper(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-20 16:46:05 +0200safinaskar(~safinaska@213.87.153.145) ()
2021-06-20 16:46:19 +0200yd502(~yd502@2409:891e:360:303d:a5f6:9167:5391:4ef)
2021-06-20 16:47:26 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 252 seconds)
2021-06-20 16:47:51 +0200hpc(~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 258 seconds)
2021-06-20 16:49:10 +0200 <MemorableNewt> infinisil: That forbids `C A (B _)`, which I want to allow.
2021-06-20 16:49:21 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-06-20 16:49:22 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-06-20 16:49:26 +0200hpc(~juzz@ip98-169-35-13.dc.dc.cox.net)
2021-06-20 16:49:30 +0200fef(~thedawn@user/thedawn)
2021-06-20 16:50:00 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Read error: Connection reset by peer)
2021-06-20 16:50:44 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-06-20 16:50:53 +0200teaSlurper(~chris@81.96.113.213)
2021-06-20 16:51:19 +0200 <brence> Is it possible to sort even elements in a list using combinators from `lens`? Something like `over (partsOf each . filtered even) sort [1,6,1,4,1,10,1,8,1,2] == [1,2,1,4,1,6,1,8,1,10]`
2021-06-20 16:52:54 +0200phma(~phma@host-67-44-209-72.hnremote.net)
2021-06-20 16:55:38 +0200teaSlurper(~chris@81.96.113.213) (Ping timeout: 265 seconds)
2021-06-20 16:57:33 +0200teaSlurper(~chris@81.96.113.213)
2021-06-20 17:03:30 +0200fabfianda(~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2021-06-20 17:04:12 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 17:04:44 +0200fabfianda(~fabfianda@mob-5-90-243-109.net.vodafone.it)
2021-06-20 17:07:36 +0200sh9(~sh9@softbank060116136158.bbtec.net) (Ping timeout: 252 seconds)
2021-06-20 17:07:57 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-20 17:08:41 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 17:10:47 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-06-20 17:11:22 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Read error: Connection reset by peer)
2021-06-20 17:15:55 +0200phma(~phma@host-67-44-209-72.hnremote.net) (Read error: Connection reset by peer)
2021-06-20 17:18:22 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net) (Quit: Ping timeout (120 seconds))
2021-06-20 17:18:39 +0200noddy(~user@user/noddy) (Quit: WeeChat 3.2)
2021-06-20 17:18:54 +0200mastarija(~mastarija@31.217.22.187) (Quit: Leaving)
2021-06-20 17:18:58 +0200noddy(~user@user/noddy)
2021-06-20 17:20:01 +0200sh9(~sh9@softbank060116136158.bbtec.net)
2021-06-20 17:27:38 +0200phma(phma@2001:5b0:210d:d028:dead:9920:575e:b71e)
2021-06-20 17:28:24 +0200teaSlurper(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-20 17:31:01 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-06-20 17:31:21 +0200machinedgod(~machinedg@24.105.81.50)
2021-06-20 17:32:36 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a)
2021-06-20 17:33:35 +0200teaSlurper(~chris@81.96.113.213)
2021-06-20 17:34:51 +0200ph88(~ph88@2a02:8109:9e00:7e5c:40b4:1c28:949f:857b)
2021-06-20 17:38:12 +0200teaSlurper(~chris@81.96.113.213) (Ping timeout: 265 seconds)
2021-06-20 17:39:25 +0200awth13(~user@user/awth13) (Read error: Connection reset by peer)
2021-06-20 17:39:28 +0200m4lvin(~m4lvin@w4eg.de) (Quit: m4lvin)
2021-06-20 17:39:38 +0200noddy(~user@user/noddy) (Quit: WeeChat 3.2)
2021-06-20 17:39:52 +0200m4lvin(~m4lvin@w4eg.de)
2021-06-20 17:40:05 +0200koishi_(~user@2001:da8:d800:540:f17c:6d96:fd2e:518e)
2021-06-20 17:40:18 +0200awth13(~user@user/awth13)
2021-06-20 17:42:20 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda)
2021-06-20 17:42:22 +0200noddy(~user@user/noddy)
2021-06-20 17:43:26 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 17:44:39 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-20 17:46:23 +0200 <c_wraith> brence: you left #haskell-lens awfully quickly after asking that last night
2021-06-20 17:46:49 +0200boxscape(~boxscape@user/boxscape)
2021-06-20 17:47:03 +0200 <c_wraith> brence: but yes, you're only off by a little bit - partsOf needs to take the whole traversal.
2021-06-20 17:47:35 +0200 <c_wraith> > over (partsOf (each . filtered even)) sort [1,10,1,8,1,6,1,4,1,2]
2021-06-20 17:47:37 +0200 <lambdabot> [1,2,1,4,1,6,1,8,1,10]
2021-06-20 17:48:19 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 17:49:29 +0200 <brence> Apologies, it was very late at my place so I left and then got disconnected.
2021-06-20 17:49:45 +0200 <c_wraith> ah, no worries. anyway. yep, you were close
2021-06-20 17:51:16 +0200 <brence> c_wraith it makes sense now, thanks. I tried lots of stuff but can't believe how I missed this :)
2021-06-20 17:51:28 +0200 <c_wraith> I know the feeling :)
2021-06-20 17:58:35 +0200Bartosz(~textual@24.35.90.211)
2021-06-20 17:59:32 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 258 seconds)
2021-06-20 18:00:19 +0200vbeatrice[m](~vbeatrice@2001:470:69fc:105::3ebf)
2021-06-20 18:01:00 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3-dev)
2021-06-20 18:01:55 +0200sheepduck(~sheepduck@user/sheepduck)
2021-06-20 18:03:11 +0200teaSlurper(~chris@81.96.113.213)
2021-06-20 18:06:26 +0200zeenk(~zeenk@82.76.113.130) (Ping timeout: 258 seconds)
2021-06-20 18:07:10 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-06-20 18:10:09 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-20 18:14:31 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 18:15:51 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving)
2021-06-20 18:17:04 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Remote host closed the connection)
2021-06-20 18:17:59 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 18:19:17 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 18:20:13 +0200bontaq(~user@ool-18e47f8d.dyn.optonline.net)
2021-06-20 18:23:56 +0200koishi_`(~user@2001:da8:d800:540:197e:e353:1f23:6f4b)
2021-06-20 18:25:01 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-20 18:26:30 +0200koishi_(~user@2001:da8:d800:540:f17c:6d96:fd2e:518e) (Ping timeout: 265 seconds)
2021-06-20 18:26:41 +0200wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-06-20 18:29:15 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-06-20 18:29:15 +0200MQ-17J(~MQ-17J@8.6.144.186) (Read error: Connection reset by peer)
2021-06-20 18:30:21 +0200oldsk00l(~oldsk00l@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2021-06-20 18:30:30 +0200MQ-17J(~MQ-17J@8.6.144.186)
2021-06-20 18:30:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-06-20 18:30:38 +0200oldsk00l(~oldsk00l@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Client Quit)
2021-06-20 18:32:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 18:32:30 +0200chomwitt(~Pitsikoko@athedsl-351576.home.otenet.gr) (Remote host closed the connection)
2021-06-20 18:35:09 +0200zeenk(~zeenk@82.76.113.130)
2021-06-20 18:35:25 +0200chomwitt(~Pitsikoko@2a02:587:dc0b:ff00:465:cad0:3717:3b0)
2021-06-20 18:40:52 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-06-20 18:41:48 +0200fef(~thedawn@user/thedawn)
2021-06-20 18:43:04 +0200econo(uid147250@user/econo)
2021-06-20 18:44:28 +0200oldsk00l(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2021-06-20 18:47:48 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-20 18:49:06 +0200lbseale(~lbseale@user/ep1ctetus) (Ping timeout: 240 seconds)
2021-06-20 18:49:54 +0200Bartosz(~textual@24.35.90.211)
2021-06-20 18:51:30 +0200chomwitt(~Pitsikoko@2a02:587:dc0b:ff00:465:cad0:3717:3b0) (Remote host closed the connection)
2021-06-20 18:52:48 +0200chomwitt(~Pitsikoko@2a02:587:dc0b:ff00:c813:70d9:31b2:b1b9)
2021-06-20 18:54:30 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-06-20 18:55:30 +0200yd502(~yd502@2409:891e:360:303d:a5f6:9167:5391:4ef) (Ping timeout: 265 seconds)
2021-06-20 19:01:50 +0200ph88(~ph88@2a02:8109:9e00:7e5c:40b4:1c28:949f:857b) (Ping timeout: 268 seconds)
2021-06-20 19:06:15 +0200finsternis(~X@23.226.237.192) (Remote host closed the connection)
2021-06-20 19:07:03 +0200finsternis(~X@23.226.237.192)
2021-06-20 19:07:57 +0200ph88(~ph88@2a02:8109:9e00:7e5c:741d:bb2a:8acc:1441)
2021-06-20 19:08:33 +0200koishi_`(~user@2001:da8:d800:540:197e:e353:1f23:6f4b) (Ping timeout: 265 seconds)
2021-06-20 19:11:29 +0200MQ-17J(~MQ-17J@8.6.144.186) (Ping timeout: 265 seconds)
2021-06-20 19:12:15 +0200MQ-17J(~MQ-17J@8.6.144.186)
2021-06-20 19:12:24 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-06-20 19:12:46 +0200koishi_`(~user@222.195.87.238)
2021-06-20 19:13:00 +0200juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-06-20 19:13:13 +0200juhp(~juhp@128.106.188.66)
2021-06-20 19:14:52 +0200alx741(~alx741@181.196.68.241) (Ping timeout: 265 seconds)
2021-06-20 19:14:55 +0200ph88^(~ph88@2a02:8109:9e00:7e5c:540c:fd24:cfe3:1d33)
2021-06-20 19:17:29 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a)
2021-06-20 19:17:46 +0200koishi_`(~user@222.195.87.238) (Ping timeout: 265 seconds)
2021-06-20 19:18:13 +0200ph88(~ph88@2a02:8109:9e00:7e5c:741d:bb2a:8acc:1441) (Ping timeout: 265 seconds)
2021-06-20 19:21:28 +0200brence(~brence@2a01:4b00:895f:3d00:ddd:ae00:86d4:d79c) (Ping timeout: 246 seconds)
2021-06-20 19:22:05 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Ping timeout: 265 seconds)
2021-06-20 19:26:55 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-06-20 19:28:03 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-20 19:28:41 +0200Bartosz(~textual@24.35.90.211)
2021-06-20 19:28:55 +0200otulp(~otulp@ti0187q162-2423.bb.online.no) (Ping timeout: 272 seconds)
2021-06-20 19:33:04 +0200Bartosz(~textual@24.35.90.211) (Ping timeout: 258 seconds)
2021-06-20 19:33:50 +0200otulp(~otulp@ti0187q162-2423.bb.online.no)
2021-06-20 19:34:11 +0200koishi_`(~user@222.195.87.238)
2021-06-20 19:36:25 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-06-20 19:38:40 +0200azeem(~azeem@dynamic-adsl-94-34-49-60.clienti.tiscali.it) (Ping timeout: 252 seconds)
2021-06-20 19:38:55 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-06-20 19:40:11 +0200azeem(~azeem@176.200.214.172)
2021-06-20 19:46:15 +0200koishi_`(~user@222.195.87.238) (Ping timeout: 265 seconds)
2021-06-20 19:46:52 +0200azeem(~azeem@176.200.214.172) (Ping timeout: 258 seconds)
2021-06-20 19:50:22 +0200azeem(~azeem@176.200.214.172)
2021-06-20 19:50:52 +0200azeem(~azeem@176.200.214.172) (Read error: Connection reset by peer)
2021-06-20 19:51:02 +0200 <dminuoso> Im beginning to wonder, are there other emacs users with haskell-mode that use terminal frames?
2021-06-20 19:52:17 +0200azeem(~azeem@dynamic-adsl-94-34-49-60.clienti.tiscali.it)
2021-06-20 19:54:36 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net)
2021-06-20 19:55:14 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-20 19:56:14 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-20 19:57:23 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 20:02:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-06-20 20:03:20 +0200beka(~beka@104.193.170-244.PUBLIC.monkeybrains.net)
2021-06-20 20:03:21 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 258 seconds)
2021-06-20 20:05:38 +0200koishi_`(~user@222.195.87.238)
2021-06-20 20:09:03 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 20:09:28 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-06-20 20:10:56 +0200koishi_`(~user@222.195.87.238) (Ping timeout: 265 seconds)
2021-06-20 20:10:58 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-20 20:12:05 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Remote host closed the connection)
2021-06-20 20:12:23 +0200ph88^(~ph88@2a02:8109:9e00:7e5c:540c:fd24:cfe3:1d33) (Ping timeout: 252 seconds)
2021-06-20 20:12:40 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-06-20 20:13:50 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 20:16:29 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-20 20:17:13 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Ping timeout: 265 seconds)
2021-06-20 20:18:51 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a)
2021-06-20 20:23:28 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Ping timeout: 265 seconds)
2021-06-20 20:25:16 +0200awth13(~user@user/awth13) (Remote host closed the connection)
2021-06-20 20:26:33 +0200kayprish(~kayprish@46.240.143.86)
2021-06-20 20:27:47 +0200jasonu(~jasonu@166.70.242.157)
2021-06-20 20:27:55 +0200kayprish(~kayprish@46.240.143.86) (Client Quit)
2021-06-20 20:28:06 +0200kayprish(~kayprish@46.240.143.86)
2021-06-20 20:30:41 +0200guest61(~xxx@47.245.54.240) (Remote host closed the connection)
2021-06-20 20:31:48 +0200guest61(~xxx@47.245.54.240)
2021-06-20 20:33:54 +0200Guest9(~Guest9@43.250.157.119)
2021-06-20 20:36:10 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-06-20 20:37:51 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-20 20:40:52 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Ping timeout: 265 seconds)
2021-06-20 20:41:41 +0200guest61(~xxx@47.245.54.240) (Remote host closed the connection)
2021-06-20 20:41:58 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net) (Ping timeout: 246 seconds)
2021-06-20 20:42:35 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-06-20 20:42:48 +0200guest61(~xxx@47.245.54.240)
2021-06-20 20:43:17 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-20 20:43:33 +0200hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-06-20 20:43:49 +0200hendursaga(~weechat@user/hendursaga)
2021-06-20 20:44:01 +0200fef(~thedawn@user/thedawn) (Ping timeout: 244 seconds)
2021-06-20 20:44:34 +0200hololeap(hololeap@user/hololeap) (Ping timeout: 244 seconds)
2021-06-20 20:45:45 +0200teaSlurper(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-20 20:47:46 +0200teaSlurper(~chris@81.96.113.213)
2021-06-20 20:48:53 +0200jneira_(~jneira_@131.red-79-155-1.dynamicip.rima-tde.net)
2021-06-20 20:49:14 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-20 20:51:08 +0200saolof(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-20 20:53:15 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net)
2021-06-20 20:54:07 +0200nurupo(~nurupo.ga@user/nurupo) (Quit: nurupo.ga)
2021-06-20 20:54:38 +0200nurupo(~nurupo.ga@user/nurupo)
2021-06-20 20:54:53 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 265 seconds)
2021-06-20 20:56:23 +0200ddellaco_(~ddellacos@86.106.121.100)
2021-06-20 20:59:01 +0200brence(~brence@2a01:4b00:895f:3d00:3d61:e4ff:2003:3c7)
2021-06-20 20:59:39 +0200pavonia(~user@user/siracusa)
2021-06-20 20:59:45 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 20:59:50 +0200koishi_`(~user@222.195.87.238)
2021-06-20 21:00:07 +0200brence(~brence@2a01:4b00:895f:3d00:3d61:e4ff:2003:3c7) (Client Quit)
2021-06-20 21:01:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 21:03:08 +0200ddellaco_(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-20 21:03:08 +0200hendursaga(~weechat@user/hendursaga) (Remote host closed the connection)
2021-06-20 21:03:36 +0200hendursaga(~weechat@user/hendursaga)
2021-06-20 21:04:41 +0200koishi_`(~user@222.195.87.238) (Ping timeout: 258 seconds)
2021-06-20 21:06:16 +0200mc47(~mc47@xmonad/TheMC47)
2021-06-20 21:06:32 +0200koishi_`(~user@222.195.87.238)
2021-06-20 21:07:22 +0200yoctocell(~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 258 seconds)
2021-06-20 21:08:25 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 265 seconds)
2021-06-20 21:08:29 +0200Sgeo(~Sgeo@user/sgeo)
2021-06-20 21:10:11 +0200bilegeek(~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7)
2021-06-20 21:11:48 +0200koishi_`(~user@222.195.87.238) (Ping timeout: 265 seconds)
2021-06-20 21:13:15 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9)
2021-06-20 21:18:18 +0200blankhart(~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds)
2021-06-20 21:19:33 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-20 21:19:58 +0200pera(~pera@user/pera)
2021-06-20 21:21:01 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Ping timeout: 265 seconds)
2021-06-20 21:21:35 +0200elf_fortrez(~elf_fortr@adsl-64-237-239-58.prtc.net) (Quit: Client closed)
2021-06-20 21:21:49 +0200tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-06-20 21:22:09 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-20 21:22:26 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-06-20 21:23:28 +0200Guest9(~Guest9@43.250.157.119) (Quit: Connection closed)
2021-06-20 21:26:55 +0200jasonu(~jasonu@166.70.242.157) (Quit: Ping timeout (120 seconds))
2021-06-20 21:27:26 +0200 <sm[m]> dminuoso: why yes.. I use emacs in terminal mode, and have occasionally tried frames. I always found them unreliable in that setting - forgot the details, they would sometimes switch unexpectedly or something
2021-06-20 21:27:42 +0200statusfailed(~statusfai@statusfailed.com) (Quit: leaving)
2021-06-20 21:27:56 +0200statusfailed(~statusfai@statusfailed.com)
2021-06-20 21:28:47 +0200jackhill(~jackhill@kalessin.dragonsnail.net)
2021-06-20 21:28:51 +0200MemorableNewt(~Memorable@82.40.121.143) (Quit: Client closed)
2021-06-20 21:29:24 +0200qbt(~edun@user/edun) (Ping timeout: 252 seconds)
2021-06-20 21:29:59 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-06-20 21:30:45 +0200Cajun(~Cajun@ip98-163-211-112.no.no.cox.net)
2021-06-20 21:31:46 +0200 <Cajun> tomsmeding: thanks! yeah that fixed it; now i know not to use `cabal install --lib` to avoid the issue
2021-06-20 21:32:49 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-20 21:34:38 +0200 <qrpnxz> does ghc or some other tool have something that will create a function based on the type signature? ik that sounds kind of crazy, but it seems like it could be a thing and actually give you useful results
2021-06-20 21:35:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-06-20 21:35:20 +0200 <tomsmeding> Cajun: Cool! Thanks, now I also now (albeit second-hand) that install --lib is fraught :p
2021-06-20 21:36:08 +0200 <tomsmeding> @djinn (((a -> t) -> t) -> t) -> a -> t
2021-06-20 21:36:09 +0200 <lambdabot> f a b = a (\ c -> c b)
2021-06-20 21:36:17 +0200 <tomsmeding> qrpnxz: this for example :p
2021-06-20 21:36:32 +0200 <tomsmeding> but it only works for fully parametric functions, sortof
2021-06-20 21:36:36 +0200 <qrpnxz> :o
2021-06-20 21:36:55 +0200 <tomsmeding> like, it isn't going to suggest Data.List.sort
2021-06-20 21:37:05 +0200 <geekosaur> there's also exference
2021-06-20 21:37:15 +0200 <qrpnxz> wow thanks
2021-06-20 21:37:32 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-20 21:37:32 +0200 <geekosaur> which can handle things like recursive types, at the price of sometimes timing out
2021-06-20 21:40:14 +0200 <boxscape> qrpnxz Sandy Maguire just today gave a talk about that! What he's been working on looks really neat and is publicly available https://youtu.be/S0HvfXq3454
2021-06-20 21:40:30 +0200 <qrpnxz> :o thanks!
2021-06-20 21:44:31 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-20 21:44:34 +0200sheepduck(~sheepduck@user/sheepduck) (Remote host closed the connection)
2021-06-20 21:44:59 +0200sheepduck(~sheepduck@user/sheepduck)
2021-06-20 21:45:04 +0200sheepduck(~sheepduck@user/sheepduck) (Remote host closed the connection)
2021-06-20 21:45:26 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-06-20 21:45:39 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-06-20 21:46:07 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 265 seconds)
2021-06-20 21:50:30 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-06-20 21:50:44 +0200 <dminuoso> sm[m]: Do you also use haskell-mode?
2021-06-20 21:54:36 +0200koishi_`(~user@222.195.87.238)
2021-06-20 21:56:02 +0200boxscapeboxscape_
2021-06-20 21:56:18 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 265 seconds)
2021-06-20 21:57:19 +0200 <dminuoso> sm[m]: Two questions I have for you. What is your gc-cons-threshold set at?
2021-06-20 21:57:29 +0200Pickchea(~private@user/pickchea)
2021-06-20 21:59:41 +0200koishi_`(~user@222.195.87.238) (Ping timeout: 265 seconds)
2021-06-20 22:01:08 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-06-20 22:01:38 +0200 <boxscape_> > let x = 4 in (+) 5x
2021-06-20 22:01:40 +0200 <lambdabot> 9
2021-06-20 22:01:48 +0200 <boxscape_> I don't think I ever noticed you don't need a space between 5 and x there
2021-06-20 22:02:07 +0200tomsmeding(~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-20 22:02:28 +0200 <monochrom> Interesting!
2021-06-20 22:02:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 22:03:53 +0200 <monochrom> > map id"abc"
2021-06-20 22:03:54 +0200 <lambdabot> "abc"
2021-06-20 22:03:56 +0200 <sm[m]> dminuoso: yes but not heavily.. it's active when I load a haskell file in emacs. (I also use VS code for haskell editing). My gc-cons-threshold is 800000 which I assume is default.
2021-06-20 22:04:02 +0200 <monochrom> I only thought of that one.
2021-06-20 22:04:09 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-20 22:04:30 +0200 <dminuoso> sm[m]: Ah, then you wouldn't notice the problem I guess.
2021-06-20 22:04:43 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-06-20 22:05:00 +0200tomsmeding(~tomsmedin@tomsmeding.com)
2021-06-20 22:05:29 +0200juhp(~juhp@128.106.188.66) (Ping timeout: 265 seconds)
2021-06-20 22:07:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-06-20 22:08:06 +0200juhp(~juhp@128.106.188.66)
2021-06-20 22:09:31 +0200 <pavonia> > let x = 4 in (+) 0x
2021-06-20 22:09:33 +0200 <lambdabot> 4
2021-06-20 22:09:45 +0200 <pavonia> Okay, this is surprising
2021-06-20 22:10:02 +0200 <geekosaur> doesn't seem surprising to me
2021-06-20 22:10:07 +0200boxscape(~boxscape@user/boxscape)
2021-06-20 22:10:18 +0200 <pavonia> Why not?
2021-06-20 22:10:18 +0200 <geekosaur> x is not a macro, it lexes as an identifier
2021-06-20 22:10:43 +0200 <pavonia> What do you mean by macro?
2021-06-20 22:11:01 +0200 <pavonia> > let xF = 4 in (+) 0xF
2021-06-20 22:11:02 +0200 <lambdabot> <Integer -> Integer>
2021-06-20 22:11:06 +0200 <geekosaur> or are you thinking of hex syntax? I think that requires following digits
2021-06-20 22:11:19 +0200 <pavonia> Yeah
2021-06-20 22:11:30 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-20 22:11:31 +0200 <dminuoso> I guess the lexer in GHC would disambiguate already.
2021-06-20 22:14:17 +0200machinedgod(~machinedg@24.105.81.50)
2021-06-20 22:20:01 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a)
2021-06-20 22:21:11 +0200koishi_`(~user@222.195.87.238)
2021-06-20 22:21:46 +0200 <boxscape_> > let xdeadbeef = 4 in (+) 0xdeadbeef
2021-06-20 22:21:47 +0200 <boxscape_> > let xdeadbeer = 4 in (+) 0xdeadbeer
2021-06-20 22:21:47 +0200 <lambdabot> <Integer -> Integer>
2021-06-20 22:21:48 +0200 <lambdabot> 233495534 + r
2021-06-20 22:21:59 +0200 <boxscape_> pretty intuitive, I'd say
2021-06-20 22:22:38 +0200 <tomsmeding> spaces are already meaningful in haskell
2021-06-20 22:22:51 +0200 <tomsmeding> okay remove "already"
2021-06-20 22:24:04 +0200 <boxscape_> tomsmeding but usually renaming a variable doesn't change the type of a program ;)
2021-06-20 22:24:12 +0200 <tomsmeding> this not needing spaces between a number and an identifier is common knowledge on https://codegolf.stackexchange.com ; it applies to a number of languages :p
2021-06-20 22:24:21 +0200 <boxscape_> ah, interesting
2021-06-20 22:24:27 +0200 <geekosaur> yeh
2021-06-20 22:24:54 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Ping timeout: 264 seconds)
2021-06-20 22:25:52 +0200boxscape_(~boxscape@user/boxscape) (Quit: boxscape_)
2021-06-20 22:33:14 +0200ikex1(ash@user/ikex)
2021-06-20 22:33:31 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-20 22:33:50 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-20 22:35:23 +0200ikex(ash@user/ikex) (Ping timeout: 252 seconds)
2021-06-20 22:35:23 +0200ikex1ikex
2021-06-20 22:40:22 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-06-20 22:49:21 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-06-20 22:50:03 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-20 22:50:10 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-20 22:50:25 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-06-20 22:53:16 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-06-20 22:54:20 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-06-20 22:57:21 +0200nerdypepper(~nerdypepp@user/nerdypepper) (Quit: bye)
2021-06-20 22:57:37 +0200nerdypepper(~nerdypepp@user/nerdypepper)
2021-06-20 22:58:53 +0200moet(~moet@172.58.38.245)
2021-06-20 22:59:08 +0200koishi_`(~user@222.195.87.238) (Ping timeout: 265 seconds)
2021-06-20 22:59:31 +0200boxscape_(~boxscape_@p4ff0b158.dip0.t-ipconnect.de)
2021-06-20 22:59:46 +0200boxscape_(~boxscape_@p4ff0b158.dip0.t-ipconnect.de) (Changing host)
2021-06-20 22:59:46 +0200boxscape_(~boxscape_@user/boxscape)
2021-06-20 23:00:05 +0200fvr(uid503686@id-503686.highgate.irccloud.com)
2021-06-20 23:03:23 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-20 23:05:22 +0200boxscape_(~boxscape_@user/boxscape) (Quit: Connection closed)
2021-06-20 23:05:57 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-20 23:13:40 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.1)
2021-06-20 23:17:24 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-06-20 23:19:01 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-06-20 23:20:54 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-06-20 23:22:38 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-06-20 23:24:26 +0200cesar-(~cesar@2600:1700:9490:79f0::45)
2021-06-20 23:28:39 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
2021-06-20 23:30:56 +0200cesar-(~cesar@2600:1700:9490:79f0::45) (Remote host closed the connection)
2021-06-20 23:32:46 +0200tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-06-20 23:33:21 +0200ph88(~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5)
2021-06-20 23:35:37 +0200deshalb_1(~deshalb@user/deshalb)
2021-06-20 23:37:17 +0200deshalb(~deshalb@user/deshalb)
2021-06-20 23:39:50 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-06-20 23:40:35 +0200bilegeek(~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7) (Quit: Leaving)
2021-06-20 23:40:48 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-20 23:40:49 +0200deshalb_(~deshalb@user/deshalb)
2021-06-20 23:41:28 +0200deshalb_1(~deshalb@user/deshalb) (Ping timeout: 258 seconds)
2021-06-20 23:42:19 +0200deshalb_(~deshalb@user/deshalb) (Remote host closed the connection)
2021-06-20 23:42:19 +0200deshalb(~deshalb@user/deshalb) (Read error: Connection reset by peer)
2021-06-20 23:43:11 +0200Guest48(~Guest48@185.219.177.243)
2021-06-20 23:43:34 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 265 seconds)
2021-06-20 23:44:06 +0200Guest48(~Guest48@185.219.177.243) (Client Quit)
2021-06-20 23:48:23 +0200 <qrpnxz> oh, is ((,) w) the writer monad? Having trouble finding what it is, all ik is that the "reader" monad is ((->) r)
2021-06-20 23:49:06 +0200 <geekosaur> yes
2021-06-20 23:50:24 +0200 <qrpnxz> there is a lot of references to reader and writer monads, but idk where they originated. No where in the `base` docs are these mentioned for example
2021-06-20 23:51:44 +0200 <geekosaur> mtl and transformers
2021-06-20 23:52:00 +0200 <qrpnxz> 🤨️
2021-06-20 23:52:56 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a)
2021-06-20 23:57:44 +0200 <qrpnxz> i guess these packages are used a lot?
2021-06-20 23:58:56 +0200moet_(~moet@172.58.27.142)
2021-06-20 23:59:27 +0200 <geekosaur> yes