IRCBrowse

2021/05/25

2021-05-25 00:01:04 +0200ixlun(~user@195.213.99.113)
2021-05-25 00:04:20 +0200trueboxguy(~trueboxgu@user/trueboxguy)
2021-05-25 00:05:31 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Remote host closed the connection)
2021-05-25 00:05:38 +0200ixlun(~user@195.213.99.113) (Remote host closed the connection)
2021-05-25 00:06:28 +0200gabiruh_gabiruh
2021-05-25 00:06:47 +0200ixlun(~user@195.213.99.113)
2021-05-25 00:07:20 +0200unyu(~pyon@user/pyon)
2021-05-25 00:08:59 +0200ixlun(~user@195.213.99.113) (Remote host closed the connection)
2021-05-25 00:12:48 +0200kewa(~kewa@5.138.148.77) (Ping timeout: 265 seconds)
2021-05-25 00:13:17 +0200felixphew_felixphew
2021-05-25 00:13:43 +0200felixphew(~felix@ogg.ffetc.net) (Changing host)
2021-05-25 00:13:43 +0200felixphew(~felix@cssa/committee/felix)
2021-05-25 00:13:51 +0200phanf(~phanf@226.148.192.35.bc.googleusercontent.com) (Quit: Lost terminal)
2021-05-25 00:19:00 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-25 00:19:46 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea)
2021-05-25 00:21:45 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-05-25 00:24:08 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-25 00:24:12 +0200bgamari(~int0x0c@mobile-166-171-187-199.mycingular.net)
2021-05-25 00:26:51 +0200xwx(~george@user/george) (Ping timeout: 244 seconds)
2021-05-25 00:32:08 +0200kluk_kluk
2021-05-25 00:33:58 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net)
2021-05-25 00:34:16 +0200ddellacosta(~ddellacos@89.46.62.37) (Remote host closed the connection)
2021-05-25 00:34:44 +0200ddellacosta(~ddellacos@89.46.62.37)
2021-05-25 00:36:37 +0200Heffalump(~ganesh@urchin.earth.li)
2021-05-25 00:37:17 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-05-25 00:37:57 +0200Heffalump(~ganesh@urchin.earth.li) ()
2021-05-25 00:39:10 +0200ddellacosta(~ddellacos@89.46.62.37) (Ping timeout: 264 seconds)
2021-05-25 00:39:13 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-25 00:39:32 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:60cd:f593:c6cb:b34d) (Quit: Leaving)
2021-05-25 00:39:35 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 00:44:50 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:156f:5a26:e61c:8357)
2021-05-25 00:45:18 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-25 00:45:43 +0200qbt(~edun@user/edun) (Quit: WeeChat 3.1)
2021-05-25 00:46:48 +0200space-shell(~space-she@88.98.247.38) (Quit: Connection closed)
2021-05-25 00:50:48 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-25 00:53:34 +0200falsifian(~falsifian@exoco.falsifian.org) (Quit: leaving)
2021-05-25 00:54:11 +0200falsifian(~falsifian@cpef81d0f9cb2f3-cmf81d0f9cb2f0.cpe.net.fido.ca)
2021-05-25 00:54:44 +0200aoeuidhtns(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Leaving)
2021-05-25 00:55:45 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-25 00:56:36 +0200hrnzdu
2021-05-25 00:56:47 +0200haveo(~haveo@sl35.iuwt.fr) (Quit: leaving)
2021-05-25 00:56:57 +0200haveo(~haveo@sl35.iuwt.fr)
2021-05-25 01:00:46 +0200alx741(~alx741@186.178.109.193) (Ping timeout: 264 seconds)
2021-05-25 01:02:59 +0200kewa(~kewa@5.138.148.77)
2021-05-25 01:03:46 +0200chddr(~Thunderbi@91.226.34.182) (Ping timeout: 264 seconds)
2021-05-25 01:04:59 +0200ddellacosta(~ddellacos@89.46.62.92)
2021-05-25 01:05:31 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160) (Ping timeout: 272 seconds)
2021-05-25 01:05:31 +0200Squarism2(~Squarism4@90-231-27-135-no51.tbcn.telia.com) (Ping timeout: 272 seconds)
2021-05-25 01:08:16 +0200safinaskar(~user@109-252-90-89.nat.spd-mgts.ru) ()
2021-05-25 01:09:30 +0200pretty_dumm_guy(~trottel@91.207.172.188)
2021-05-25 01:09:57 +0200ddellacosta(~ddellacos@89.46.62.92) (Ping timeout: 272 seconds)
2021-05-25 01:11:34 +0200joaobarroso(~joaobarro@170.150.6.173)
2021-05-25 01:11:40 +0200dwt_(~dwt_@c-98-200-58-177.hsd1.tx.comcast.net)
2021-05-25 01:13:43 +0200joaobarroso(~joaobarro@170.150.6.173) (Read error: Connection reset by peer)
2021-05-25 01:13:50 +0200alx741(~alx741@186.178.108.78)
2021-05-25 01:15:39 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2021-05-25 01:16:43 +0200fart(~fart@user/actor)
2021-05-25 01:18:30 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-25 01:18:32 +0200joaobarroso(~joaobarro@170.150.6.173)
2021-05-25 01:19:03 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:156f:5a26:e61c:8357) (Quit: Leaving)
2021-05-25 01:20:27 +0200haskman(~haskman@171.48.43.206)
2021-05-25 01:20:46 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com)
2021-05-25 01:22:58 +0200ddellacosta(~ddellacos@86.106.121.114)
2021-05-25 01:24:51 +0200blackfield(~blackfiel@85.255.4.218) ()
2021-05-25 01:26:05 +0200onionnyi
2021-05-25 01:27:41 +0200ddellacosta(~ddellacos@86.106.121.114) (Ping timeout: 272 seconds)
2021-05-25 01:28:59 +0200nyionion
2021-05-25 01:30:22 +0200bfrk1(~Thunderbi@200116b845d852006e2894fb093deaf7.dip.versatel-1u1.de)
2021-05-25 01:31:44 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-05-25 01:32:33 +0200bfrk(~Thunderbi@200116b8457612003b6c7a007b6f34e6.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2021-05-25 01:32:33 +0200bfrk1bfrk
2021-05-25 01:32:35 +0200joaobarroso(~joaobarro@170.150.6.173) (Read error: Connection reset by peer)
2021-05-25 01:38:55 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-05-25 01:39:52 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
2021-05-25 01:40:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 01:41:12 +0200ddellacosta(~ddellacos@89.46.62.59)
2021-05-25 01:42:57 +0200Genioso(~hourd@151.43.76.240)
2021-05-25 01:46:03 +0200ddellacosta(~ddellacos@89.46.62.59) (Ping timeout: 272 seconds)
2021-05-25 01:50:43 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 01:51:03 +0200immibis(~immibis@62.156.144.218)
2021-05-25 01:52:31 +0200haskman(~haskman@171.48.43.206) (Quit: Going to sleep. ZZZzzz…)
2021-05-25 01:52:37 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) ()
2021-05-25 01:53:21 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-05-25 01:53:30 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-05-25 01:55:11 +0200hmmmas(~chenqisu1@183.217.200.8)
2021-05-25 01:56:34 +0200nan`_(~nan`@68.235.43.165)
2021-05-25 01:56:56 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2021-05-25 01:57:41 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 265 seconds)
2021-05-25 01:58:17 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net) (Ping timeout: 252 seconds)
2021-05-25 02:04:58 +0200tsandstr(~user@cpe-98-5-88-45.buffalo.res.rr.com) (Read error: Connection reset by peer)
2021-05-25 02:06:44 +0200Genioso(~hourd@151.43.76.240) (Remote host closed the connection)
2021-05-25 02:06:52 +0200Genioso(~hourd@151.43.76.240)
2021-05-25 02:08:14 +0200Genioso(~hourd@151.43.76.240) (Read error: Connection reset by peer)
2021-05-25 02:08:23 +0200Genioso(~hourd@151.43.76.240)
2021-05-25 02:09:44 +0200Genioso(~hourd@151.43.76.240) (Read error: Connection reset by peer)
2021-05-25 02:09:52 +0200Genioso(~hourd@151.43.76.240)
2021-05-25 02:10:14 +0200Genioso(~hourd@151.43.76.240) (K-Lined)
2021-05-25 02:15:18 +0200omen(~omen@user/omen)
2021-05-25 02:15:33 +0200 <omen> is this chat usually so quiet?
2021-05-25 02:15:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-05-25 02:15:55 +0200 <boxscape> there are active and less active times
2021-05-25 02:16:00 +0200 <Axman6> it's less than a week old, there's no such thing a usual. but yes, that is the nature of IRC
2021-05-25 02:16:22 +0200 <Axman6> sometimes we go for hours without anyone talking, others it's non-stop
2021-05-25 02:16:23 +0200oxide(~lambda@user/oxide)
2021-05-25 02:16:48 +0200 <Axman6> (until it stops, obviously)
2021-05-25 02:17:12 +0200 <sm> traffic certainly seems way down, on both old and new channels, during the Recent Events
2021-05-25 02:17:16 +0200 <trueboxguy> Ye
2021-05-25 02:17:31 +0200 <sm> I miss the #haskell river :/
2021-05-25 02:17:38 +0200 <trueboxguy> what's that?
2021-05-25 02:17:41 +0200 <trueboxguy> also cute name
2021-05-25 02:17:53 +0200 <sm> the stream of chat. Even if some of it was annoying :)
2021-05-25 02:19:20 +0200kaychaks(sid236345@brockwell.irccloud.com) (Ping timeout: 264 seconds)
2021-05-25 02:19:22 +0200 <Axman6> I hope that once we make the official decision to move and tell users to move, things will pick back up again. Need to change all the references to freenode too
2021-05-25 02:19:28 +0200kaychaks_(sid236345@id-236345.brockwell.irccloud.com)
2021-05-25 02:19:31 +0200 <sm> I hope so too
2021-05-25 02:19:33 +0200 <boxscape> huh, names used for "import as" can contain dots. I don't think I ever tried that before.
2021-05-25 02:19:53 +0200 <glguy> My favorite new import thing is ImportQualifiedPost
2021-05-25 02:19:55 +0200 <trueboxguy> I think the decision is somewhat confirmed
2021-05-25 02:20:08 +0200 <boxscape> glguy Yeah I've started using that
2021-05-25 02:20:08 +0200 <Axman6> like import Data.Bytestring.Lazy as BS.Lazy?
2021-05-25 02:20:20 +0200 <Axman6> glguy: it's like the best thing about using DAML
2021-05-25 02:20:24 +0200 <boxscape> oh yeah I guess that one is fairly common
2021-05-25 02:20:26 +0200 <glguy> https://www.haskell.org/irc/ points here now
2021-05-25 02:20:27 +0200 <Axman6> so much neater
2021-05-25 02:20:34 +0200 <Axman6> excellent
2021-05-25 02:21:06 +0200zzz(~yin@2a03:b0c0:3:d0::3095:3001)
2021-05-25 02:21:11 +0200ski_(~ski@ed-3358-10.studat.chalmers.se)
2021-05-25 02:21:14 +0200ptrcmd_(~ptrcmd@user/ptrcmd)
2021-05-25 02:21:18 +0200 <boxscape> links to logs there is still broken though
2021-05-25 02:21:18 +0200oatshugs
2021-05-25 02:21:28 +0200zzzGuest1419
2021-05-25 02:21:37 +0200 <trueboxguy> lots of stuff is broken on haskell.org
2021-05-25 02:21:55 +0200auri_(~admin@static.46.108.40.188.clients.your-server.de)
2021-05-25 02:22:00 +0200 <trueboxguy> lots of the links on the wiki to haskell.org are dead
2021-05-25 02:22:05 +0200 <omen> is it not FUNCTIONAL :D
2021-05-25 02:22:10 +0200 <omen> sorry
2021-05-25 02:22:15 +0200 <trueboxguy> omen: you use haskell?
2021-05-25 02:22:16 +0200enicar(~enikar@user/enikar)
2021-05-25 02:22:26 +0200manicennui_(uid349235@id-349235.tinside.irccloud.com)
2021-05-25 02:22:32 +0200 <omen> no. I have tried to make one of my friend learn it that loves math
2021-05-25 02:22:38 +0200 <Axman6> isn't that why we're all here?
2021-05-25 02:22:51 +0200 <trueboxguy> nah omen was just patrolling the network
2021-05-25 02:23:19 +0200 <Axman6> I'm getting to dislike the maths/haskell connection - it's true but not in a way that I think most people expect
2021-05-25 02:23:35 +0200 <boxscape> do you dislike the connection itself or the way people talk about it?
2021-05-25 02:23:37 +0200 <trueboxguy> it was true for me but i think i like maths in a different way
2021-05-25 02:23:40 +0200zgrep_(~zgrep@user/zgrep)
2021-05-25 02:23:41 +0200manicennui(uid349235@tinside.irccloud.com) (Ping timeout: 264 seconds)
2021-05-25 02:23:41 +0200onion(~yang@user/yin) (Ping timeout: 264 seconds)
2021-05-25 02:23:41 +0200koolazer(~koolazer@user/koolazer) (Ping timeout: 264 seconds)
2021-05-25 02:23:41 +0200ptrcmd(~ptrcmd@user/ptrcmd) (Ping timeout: 264 seconds)
2021-05-25 02:23:41 +0200manicennui_manicennui
2021-05-25 02:23:43 +0200enikar(~enikar@user/enikar) (Ping timeout: 264 seconds)
2021-05-25 02:23:43 +0200angerman(sid209936@charlton.irccloud.com) (Ping timeout: 264 seconds)
2021-05-25 02:23:43 +0200ski(~ski@ed-3358-10.studat.chalmers.se) (Ping timeout: 264 seconds)
2021-05-25 02:23:43 +0200auri(~admin@static.46.108.40.188.clients.your-server.de) (Ping timeout: 264 seconds)
2021-05-25 02:23:43 +0200zgrep(~zgrep@user/zgrep) (Ping timeout: 264 seconds)
2021-05-25 02:23:43 +0200remexre(~nathan@user/remexre) (Ping timeout: 264 seconds)
2021-05-25 02:23:52 +0200angerman(sid209936@id-209936.charlton.irccloud.com)
2021-05-25 02:24:04 +0200 <lbseale> I was attracted to Haskell 100% because it's purely functional ... I know little math and come from engineering
2021-05-25 02:24:05 +0200wrunt(~ajc@vmx14030.hosting24.com.au) (Ping timeout: 264 seconds)
2021-05-25 02:24:05 +0200Guest1419onion
2021-05-25 02:24:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 02:24:28 +0200wrunt(~ajc@vmx14030.hosting24.com.au)
2021-05-25 02:24:34 +0200onionGuest2396
2021-05-25 02:24:42 +0200 <lbseale> To me, the concepts are not that difficult if you don't explain them in terms of math
2021-05-25 02:25:06 +0200 <trueboxguy> If the person isn't aware of the maths
2021-05-25 02:25:08 +0200 <Axman6> yeah - IMO a better reason to get people into Haskell is that once it becomes practical for you, it's an excellent engineering tool. Refactoring is a joy instead of something to be dreaded
2021-05-25 02:25:09 +0200pe200012_pe200012
2021-05-25 02:25:20 +0200remexre(~nathan@user/remexre)
2021-05-25 02:25:27 +0200 <trueboxguy> Honestly like my usage of Haskell is largely for meme purposes
2021-05-25 02:25:34 +0200Guest2396zzz
2021-05-25 02:25:34 +0200wz1000_(~zubin@static.11.113.47.78.clients.your-server.de)
2021-05-25 02:25:35 +0200 <omen> don't matter what anyone says, it's sometimes priceless feature to have real functions
2021-05-25 02:25:37 +0200 <trueboxguy> it then just became my main language
2021-05-25 02:25:42 +0200zzz(~yin@2a03:b0c0:3:d0::3095:3001) (Changing host)
2021-05-25 02:25:42 +0200zzz(~yin@user/yin)
2021-05-25 02:25:53 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 264 seconds)
2021-05-25 02:26:00 +0200 <trueboxguy> I think the fact that certain aspects of it resemble maths is a good sign
2021-05-25 02:26:08 +0200 <trueboxguy> It shows it's easy to reason about and to represent facts
2021-05-25 02:26:24 +0200 <lbseale> I have just worked on too much code that is state-dependent, and it's outrageously hard to understand what it's going
2021-05-25 02:26:28 +0200 <lbseale> *doing
2021-05-25 02:26:29 +0200ziman(~ziman@user/ziman) (Ping timeout: 264 seconds)
2021-05-25 02:26:30 +0200 <trueboxguy> Ye
2021-05-25 02:26:32 +0200 <trueboxguy> I use programming languages as a tool for thought / instantiating logic
2021-05-25 02:26:38 +0200 <trueboxguy> So it's enjoyable when it's close to how I think
2021-05-25 02:26:45 +0200kritzefitz_(~kritzefit@picard.host.weltraumschlangen.de)
2021-05-25 02:26:48 +0200kritzefitz(~kritzefit@picard.host.weltraumschlangen.de) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-05-25 02:26:48 +0200kritzefitz_kritzefitz
2021-05-25 02:26:58 +0200 <trueboxguy> Like the most important aspect of this is the type system
2021-05-25 02:27:10 +0200 <trueboxguy> but of course the language has to be functional
2021-05-25 02:27:20 +0200horex539(~horex539@2a02:a03f:6aa5:a00:ac6a:b00a:da1e:7b7d)
2021-05-25 02:27:30 +0200 <boxscape> I wonder if someone has made a language with imperative type-level programming
2021-05-25 02:27:42 +0200 <trueboxguy> Haskell already does it
2021-05-25 02:27:43 +0200ben_(~int0x0c@72.65.101.148)
2021-05-25 02:27:45 +0200jrm2(~jrm@156.34.187.65)
2021-05-25 02:27:46 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 264 seconds)
2021-05-25 02:27:46 +0200 <lbseale> OCaml?
2021-05-25 02:27:50 +0200 <trueboxguy> rofl
2021-05-25 02:28:00 +0200 <boxscape> haskell does imperative type-level programming?
2021-05-25 02:28:21 +0200jrm(~jrm@156.34.187.65) (Ping timeout: 264 seconds)
2021-05-25 02:28:21 +0200jrm2jrm
2021-05-25 02:28:37 +0200 <boxscape> Not too familiar with what's possible on the type level with ocaml
2021-05-25 02:28:38 +0200ziman(~ziman@c25-5.condornet.sk)
2021-05-25 02:28:53 +0200nisstyre(~wes@user/nisstyre) (Ping timeout: 264 seconds)
2021-05-25 02:28:59 +0200ski_ski
2021-05-25 02:29:09 +0200 <trueboxguy> I mean I feel like someone could hack something together
2021-05-25 02:29:26 +0200 <trueboxguy> There's no reason Haskell shouldn't be able to do it (except for the difficulty in doing type level programming in haskell)
2021-05-25 02:29:32 +0200 <trueboxguy> I've done a bit of it though
2021-05-25 02:29:37 +0200absence_(torgeihe@hildring.pvv.ntnu.no)
2021-05-25 02:29:38 +0200 <boxscape> I suppose that's true, yeah
2021-05-25 02:29:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-05-25 02:29:54 +0200 <trueboxguy> I once had the only difference for a day of AOC be the type of the output
2021-05-25 02:30:05 +0200absence(torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 264 seconds)
2021-05-25 02:30:05 +0200adamse(sid72084@user/adamse) (Ping timeout: 264 seconds)
2021-05-25 02:30:05 +0200cocreature(~moritz@46.101.189.229) (Ping timeout: 264 seconds)
2021-05-25 02:30:23 +0200bgamari(~int0x0c@mobile-166-171-187-199.mycingular.net) (Ping timeout: 272 seconds)
2021-05-25 02:30:27 +0200adamse(sid72084@user/adamse)
2021-05-25 02:31:05 +0200 <boxscape> nice
2021-05-25 02:32:00 +0200horex539(~horex539@2a02:a03f:6aa5:a00:ac6a:b00a:da1e:7b7d) (Ping timeout: 265 seconds)
2021-05-25 02:32:07 +0200zgrep_zgrep
2021-05-25 02:32:12 +0200 <trueboxguy> lots of people with box in their name
2021-05-25 02:32:22 +0200hugsoats
2021-05-25 02:32:28 +0200 <du> /nick dubox
2021-05-25 02:32:51 +0200ddellacosta(~ddellacos@89.46.62.117)
2021-05-25 02:33:25 +0200 <trueboxguy> there are lots of catamorphism enjoyers at my school, if that's of interest to you
2021-05-25 02:34:52 +0200pretty_dumm_guy(~trottel@91.207.172.188) (Quit: WeeChat 3.2-dev)
2021-05-25 02:35:27 +0200nisstyre(~wes@user/nisstyre)
2021-05-25 02:35:43 +0200shachaf_(~shachaf@li227-219.members.linode.com)
2021-05-25 02:36:04 +0200ozzymcdu1f(~mathieu@81-234-151-21-no94.tbcn.telia.com)
2021-05-25 02:36:08 +0200ozzymcduff(~mathieu@81.234.151.21) (Ping timeout: 264 seconds)
2021-05-25 02:36:08 +0200shachaf(~shachaf@user/shachaf) (Ping timeout: 264 seconds)
2021-05-25 02:36:08 +0200Arsen(~arsen@fosshost/volunteer/ArsenArsen) (Ping timeout: 264 seconds)
2021-05-25 02:36:20 +0200Arsen(~arsen@fosshost/volunteer/ArsenArsen)
2021-05-25 02:36:41 +0200pounce(~pounce@user/pounce) (Ping timeout: 264 seconds)
2021-05-25 02:37:12 +0200hpc(~juzz@98.169.35.13) (*.net *.split)
2021-05-25 02:37:12 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (*.net *.split)
2021-05-25 02:37:12 +0200nshepperd(~nshepperd@li364-218.members.linode.com) (*.net *.split)
2021-05-25 02:37:12 +0200dfg(~dfg@user/dfg) (*.net *.split)
2021-05-25 02:37:12 +0200np(znc@user/nerdypepper) (*.net *.split)
2021-05-25 02:37:12 +0200winny(~winny@107.191.50.41) (*.net *.split)
2021-05-25 02:37:12 +0200sajith(~sajith@marsh.hcoop.net) (*.net *.split)
2021-05-25 02:37:12 +0200krjst(~krjst@134.209.38.54) (*.net *.split)
2021-05-25 02:37:12 +0200canta(~canta@user/canta) (*.net *.split)
2021-05-25 02:37:12 +0200tolt(~weechat-h@li219-154.members.linode.com) (*.net *.split)
2021-05-25 02:37:12 +0200juri_(~juri@178.63.35.222) (*.net *.split)
2021-05-25 02:37:12 +0200pja(~pja@mail.kantaka.co.uk) (*.net *.split)
2021-05-25 02:37:12 +0200leah2(~leah@vuxu.org) (*.net *.split)
2021-05-25 02:37:12 +0200yuglg(x@libera/staff/glguy) (*.net *.split)
2021-05-25 02:37:19 +0200ddellacosta(~ddellacos@89.46.62.117) (Ping timeout: 265 seconds)
2021-05-25 02:37:21 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2021-05-25 02:37:24 +0200dfg(~dfg@li490-89.members.linode.com)
2021-05-25 02:37:24 +0200yuglg(x@libera/staff/glguy)
2021-05-25 02:37:25 +0200hpc(~juzz@ip98-169-35-13.dc.dc.cox.net)
2021-05-25 02:37:25 +0200juri_(~juri@178.63.35.222)
2021-05-25 02:37:29 +0200pounce(~pounce@user/pounce)
2021-05-25 02:37:29 +0200nerdy(znc@152.67.162.71)
2021-05-25 02:37:30 +0200pja(~pja@2a02:8010:6098:0:f2de:f1ff:fe2c:3d9)
2021-05-25 02:37:31 +0200 <trueboxguy> Ouch
2021-05-25 02:37:32 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2021-05-25 02:37:34 +0200canta(~canta@user/canta)
2021-05-25 02:37:53 +0200winny(~winny@2001:19f0:5c01:1de7:5400:1ff:fec6:4ab0)
2021-05-25 02:38:21 +0200leah2(~leah@vuxu.org)
2021-05-25 02:38:24 +0200 <arahael> trueboxguy: if you do everything in IO, it's pretty conventional.
2021-05-25 02:38:28 +0200fart(~fart@user/actor) (Quit: fart)
2021-05-25 02:38:28 +0200krjst(~krjst@2604:a880:800:c1::16b:8001)
2021-05-25 02:38:55 +0200tolt(~weechat-h@li219-154.members.linode.com)
2021-05-25 02:39:06 +0200 <trueboxguy> arahael: which message are you referring to?
2021-05-25 02:39:11 +0200 <arahael> boxscape: it's mostly similar except haskell is lazy by default so side effects tend to have to be very strictly avoided, but if you do everything in IO it's probably similar.
2021-05-25 02:39:25 +0200 <arahael> trueboxguy: the imperative style question.
2021-05-25 02:40:05 +0200 <trueboxguy> arahael: but you can't do that at the type level (for now :wink:)
2021-05-25 02:41:46 +0200bgamari(~bgamari@2001:470:e438::1)
2021-05-25 02:41:55 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 02:42:35 +0200berberman(~berberman@2408:8207:256a:ab00::a44)
2021-05-25 02:43:11 +0200 <m_shiraeeshi> isn't IO contagious? I mean, if you want to do IO then you have to base your stack on IO monad
2021-05-25 02:43:40 +0200 <m_shiraeeshi> although you can base it on MonadBase and substitute IO in main, right?
2021-05-25 02:43:42 +0200ben_(~int0x0c@72.65.101.148) (Quit: Leaving)
2021-05-25 02:43:47 +0200nan`_(~nan`@68.235.43.165) (Quit: Computer is sleeping. ZZZzzz…)
2021-05-25 02:44:15 +0200jakzale(uid499518@id-499518.charlton.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-25 02:44:45 +0200 <m_shiraeeshi> MonadIO doesn't count because it can be considered the same as IO
2021-05-25 02:45:26 +0200 <wenzel> m_shiraeeshi, it depends on context, there could be MonadIO when you need it, but other monads don’t have to have MonadIO in theirs constraints. still they would be compatible
2021-05-25 02:46:44 +0200 <m_shiraeeshi> wenzel, yeah, if you don't need to use liftIO in some action, then you can omit the MonadIO constraint, I see
2021-05-25 02:47:27 +0200sajith(~sajith@marsh.hcoop.net)
2021-05-25 02:47:55 +0200kewa(~kewa@5.138.148.77) (Ping timeout: 272 seconds)
2021-05-25 02:48:47 +0200berberman_(~berberman@2408:8207:256b:4ae0:584e:a9ff:fe9b:d3fe)
2021-05-25 02:49:58 +0200berberman(~berberman@2408:8207:256a:ab00::a44) (Ping timeout: 264 seconds)
2021-05-25 02:50:13 +0200lbseale_(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-25 02:51:48 +0200joaobarroso(~joaobarro@138.186.39.244)
2021-05-25 02:53:24 +0200zephyz(~zephyz@88.98.244.170)
2021-05-25 02:53:39 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 264 seconds)
2021-05-25 02:54:43 +0200oxide(~lambda@user/oxide) (Ping timeout: 265 seconds)
2021-05-25 03:00:04 +0200oxide(~lambda@user/oxide)
2021-05-25 03:02:31 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-25 03:03:22 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-25 03:04:24 +0200joaobarroso(~joaobarro@138.186.39.244) (Read error: Connection reset by peer)
2021-05-25 03:04:27 +0200Gurkenglas_(~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2021-05-25 03:05:32 +0200shachaf_(~shachaf@li227-219.members.linode.com) (Changing host)
2021-05-25 03:05:32 +0200shachaf_(~shachaf@user/shachaf)
2021-05-25 03:05:35 +0200shachaf_shachaf
2021-05-25 03:05:56 +0200xff0x_(~xff0x@2001:1a81:531f:9800:5685:5dfc:fd90:b20e)
2021-05-25 03:09:10 +0200xff0x(~xff0x@92.195.37.214) (Ping timeout: 264 seconds)
2021-05-25 03:11:44 +0200nan`(~nan`@68.235.43.165)
2021-05-25 03:12:36 +0200cocreature(~moritz@2a03:b0c0:3:d0::c8:f001)
2021-05-25 03:14:12 +0200glguy+C
2021-05-25 03:18:10 +0200khumba(~kvirc@S01066038e0ca1250.ok.shawcable.net)
2021-05-25 03:24:14 +0200phanf(~phanf@226.148.192.35.bc.googleusercontent.com)
2021-05-25 03:29:16 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Remote host closed the connection)
2021-05-25 03:31:36 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea)
2021-05-25 03:32:26 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 03:33:18 +0200 <koz> I'm a bit confused how to use tasty's 'withResource' combinator.
2021-05-25 03:33:56 +0200 <koz> It takes a 'IO a -> TestTree', but I have no idea how you'd 'escape' the IO here. I can easily do 'IO a -> IO TestTree', but not 'IO a -> TestTree'. Am I missing something?
2021-05-25 03:34:41 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Client Quit)
2021-05-25 03:35:06 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 03:36:34 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Client Quit)
2021-05-25 03:37:08 +0200duhrnz
2021-05-25 03:38:15 +0200 <boxscape> koz there's an example here https://ro-che.info/articles/2013-12-29-tasty-resources-2
2021-05-25 03:39:27 +0200 <koz> boxscape: This only works because 'Assertion' is just IO.
2021-05-25 03:39:36 +0200 <koz> This is thus specific to tasty-hunit, which I am not using.
2021-05-25 03:39:52 +0200 <boxscape> ah
2021-05-25 03:41:21 +0200 <Cale> koz: Apparently if you need to access the resource, you're expected to just put it in an IORef or something, and get it from there in the tests
2021-05-25 03:41:42 +0200Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2021-05-25 03:41:45 +0200 <koz> Cale: OK, I'll just do it a slightly different way.
2021-05-25 03:41:59 +0200 <Cale> (Or were you asking something else?)
2021-05-25 03:42:06 +0200jneira(~jneira@166.red-81-39-172.dynamicip.rima-tde.net) (Quit: Connection closed)
2021-05-25 03:42:46 +0200 <Cale> I don't really know why it wouldn't be withResource :: IO a -> (a -> IO ()) -> (a -> TestTree) -> TestTree
2021-05-25 03:42:54 +0200 <koz> I probably was, but upon further reflection, it's not important.
2021-05-25 03:43:06 +0200 <koz> As for why it is that way, the link boxscape posted explains.
2021-05-25 03:44:36 +0200 <Cale> ohhh, I'm looking at ancient documentation for tasty, so there's a third source of confusion
2021-05-25 03:44:40 +0200Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2021-05-25 03:44:41 +0200 <Cale> Thanks Google, lol
2021-05-25 03:44:55 +0200Axman6(~Axman6@user/axman6)
2021-05-25 03:47:31 +0200mnamejeffnova
2021-05-25 03:48:27 +0200 <Cale> koz: So, yeah, you just execute the IO action it gives you from inside your individual tests to get hold of the resource that was allocated, but maybe that's no longer important for whatever reason.
2021-05-25 03:48:51 +0200 <koz> Ah, OK. So I just use whatever their 'do IO thing' is.
2021-05-25 03:54:08 +0200joeyh_(joeyh@kitenet.net) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
2021-05-25 03:54:24 +0200joeyh(~joeyh@kitenet.net)
2021-05-25 03:55:22 +0200pavonia(~user@user/siracusa)
2021-05-25 03:59:43 +0200econo(uid147250@user/econo)
2021-05-25 03:59:50 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-25 04:00:51 +0200zephyz(~zephyz@88.98.244.170) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-25 04:02:34 +0200oxide(~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-05-25 04:04:15 +0200oxide(~lambda@user/oxide)
2021-05-25 04:07:26 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:9b8b:fcff:47d:4c08)
2021-05-25 04:16:15 +0200sszark2(~sszark@h-85-24-213-180.A392.priv.bahnhof.se) (Quit: WeeChat 3.1)
2021-05-25 04:17:57 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-05-25 04:17:57 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643) (Killed (mercury.libera.chat (Nickname regained by services)))
2021-05-25 04:17:57 +0200FinnElijafinn_elija
2021-05-25 04:24:51 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:9b8b:fcff:47d:4c08) (Quit: Leaving)
2021-05-25 04:25:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 04:25:27 +0200siraben(~user@user/siraben)
2021-05-25 04:25:35 +0200 <siraben> hello!
2021-05-25 04:26:05 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2021-05-25 04:27:19 +0200kewa(~kewa@5.138.211.57)
2021-05-25 04:29:22 +0200 <boxscape> hey
2021-05-25 04:33:54 +0200ddellacosta(~ddellacos@89.46.62.31)
2021-05-25 04:38:28 +0200ddellacosta(~ddellacos@89.46.62.31) (Ping timeout: 244 seconds)
2021-05-25 04:38:34 +0200td__(~td@94.134.91.149) (Ping timeout: 264 seconds)
2021-05-25 04:40:03 +0200td_(~td@muedsl-82-207-238-005.citykom.de)
2021-05-25 04:41:04 +0200learner-monad(~eric@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 04:46:21 +0200kewa(~kewa@5.138.211.57) (Ping timeout: 272 seconds)
2021-05-25 04:48:39 +0200learner-monad(~eric@cpe-174-105-47-100.columbus.res.rr.com) (Quit: WeeChat 3.1)
2021-05-25 04:59:39 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-05-25 05:00:29 +0200waleee-cl(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds)
2021-05-25 05:03:35 +0200hnOsmium0001hnOsmium0002
2021-05-25 05:03:37 +0200hnOsmium0002(uid453710@id-453710.stonehaven.irccloud.com) ()
2021-05-25 05:04:07 +0200hnOsmium0002(uid453710@id-453710.stonehaven.irccloud.com)
2021-05-25 05:04:16 +0200hnOsmium0002(uid453710@id-453710.stonehaven.irccloud.com) (Client Quit)
2021-05-25 05:04:26 +0200berberman_(~berberman@2408:8207:256b:4ae0:584e:a9ff:fe9b:d3fe) (Changing host)
2021-05-25 05:04:26 +0200berberman_(~berberman@user/berberman)
2021-05-25 05:04:38 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-05-25 05:04:58 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 264 seconds)
2021-05-25 05:05:02 +0200berberman_(~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-25 05:05:05 +0200gorignak(~gorignak@047-037-033-079.res.spectrum.com)
2021-05-25 05:05:22 +0200berberman(~berberman@user/berberman)
2021-05-25 05:05:30 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 05:06:40 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Client Quit)
2021-05-25 05:07:44 +0200smitop(uid328768@user/smitop) (Quit: Connection closed for inactivity)
2021-05-25 05:17:38 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-25 05:18:56 +0200Lord_of_Life_(~Lord@46.217.219.90)
2021-05-25 05:19:22 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2021-05-25 05:19:22 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 05:22:03 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer)
2021-05-25 05:22:09 +0200holy_bazooka(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-25 05:31:15 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Quit: WeeChat 3.1)
2021-05-25 05:33:46 +0200holy_bazooka(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds)
2021-05-25 05:36:33 +0200holy_(~h01y_b4z0@103.244.176.36)
2021-05-25 05:37:01 +0200oxide(~lambda@user/oxide) (Ping timeout: 272 seconds)
2021-05-25 05:37:50 +0200oxide(~lambda@user/oxide)
2021-05-25 05:40:12 +0200holy_(~h01y_b4z0@103.244.176.36) (Read error: Connection reset by peer)
2021-05-25 05:40:27 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-25 05:46:21 +0200holy_bazooka(~h01y_b4z0@103.244.176.36)
2021-05-25 05:46:49 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer)
2021-05-25 05:48:15 +0200buggy(~buggy@27.6.222.224)
2021-05-25 05:48:26 +0200buggy(~buggy@27.6.222.224) (Changing host)
2021-05-25 05:48:26 +0200buggy(~buggy@user/smorgasbord)
2021-05-25 05:48:58 +0200hmmmas(~chenqisu1@183.217.200.8) (Quit: Leaving.)
2021-05-25 05:55:06 +0200ptrcmd_ptrcmd
2021-05-25 05:58:18 +0200coot(~coot@37.30.53.67.nat.umts.dynamic.t-mobile.pl)
2021-05-25 06:03:51 +0200coot(~coot@37.30.53.67.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 264 seconds)
2021-05-25 06:13:53 +0200alx741(~alx741@186.178.108.78) (Quit: alx741)
2021-05-25 06:15:02 +0200MidAutumnMoon(~MidAutumn@user/midautumnmoon)
2021-05-25 06:17:40 +0200m_shiraeeshi(~shiraeesh@46.34.207.100) (Ping timeout: 244 seconds)
2021-05-25 06:18:59 +0200Chobbes_(~Chobbes@user/chobbes) (Ping timeout: 252 seconds)
2021-05-25 06:19:13 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 244 seconds)
2021-05-25 06:19:15 +0200shapr`(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-05-25 06:19:51 +0200Chobbes_(~Chobbes@user/chobbes)
2021-05-25 06:26:54 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 265 seconds)
2021-05-25 06:27:44 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-05-25 06:31:08 +0200sm2n_sm2n
2021-05-25 06:32:53 +0200 <glguy> int-e, ok thanks
2021-05-25 06:33:54 +0200sutra(~sutra@208.110.111.216)
2021-05-25 06:34:24 +0200sutra(~sutra@208.110.111.216) (Client Quit)
2021-05-25 06:35:04 +0200ddellacosta(~ddellacos@86.106.121.82)
2021-05-25 06:38:09 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net)
2021-05-25 06:39:17 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds)
2021-05-25 06:39:43 +0200ddellacosta(~ddellacos@86.106.121.82) (Ping timeout: 272 seconds)
2021-05-25 06:42:19 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-25 06:48:09 +0200favonia(~favonia@user/favonia) (Ping timeout: 244 seconds)
2021-05-25 06:51:56 +0200doyougnu(~user@c-67-168-253-231.hsd1.or.comcast.net)
2021-05-25 06:55:42 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 06:57:28 +0200slice(~slice@user/slice)
2021-05-25 07:01:02 +0200SanchayanM(~Sanchayan@136.185.150.127)
2021-05-25 07:10:19 +0200holy_bazooka(~h01y_b4z0@103.244.176.36) (Ping timeout: 272 seconds)
2021-05-25 07:16:58 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2021-05-25 07:29:39 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-25 07:33:13 +0200dminuoso(~dminuoso@p5795f132.dip0.t-ipconnect.de) (Changing host)
2021-05-25 07:33:13 +0200dminuoso(~dminuoso@user/dminuoso)
2021-05-25 07:34:05 +0200hiruji`(~hiruji@72.74.190.75) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-25 07:34:21 +0200hiruji(~hiruji@72.74.190.75)
2021-05-25 07:35:11 +0200holy_bazooka(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-25 07:39:35 +0200hiptobecubic(~john@c-73-55-99-95.hsd1.fl.comcast.net)
2021-05-25 07:41:34 +0200holy_bazooka(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds)
2021-05-25 07:43:22 +0200hueso(~root@152.170.89.151) (Ping timeout: 264 seconds)
2021-05-25 07:47:29 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-05-25 07:51:44 +0200 <fabfianda> hi everyone, is there any lib for generating OpenApi json specs for a scotty application as there is for Servant?
2021-05-25 07:51:44 +0200 <fabfianda> I can't seem to find anything. I assume it is simpler in Servant because it requires you to create types to describe the API anyway.
2021-05-25 07:52:07 +0200berberman(~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-05-25 07:52:45 +0200 <dminuoso> fabfianda: You can use openapi3 directly
2021-05-25 07:53:34 +0200 <dminuoso> For something like scotty it would require some kind of free monad representation, such that you could symbolically evaluate it
2021-05-25 07:54:08 +0200 <dminuoso> So I'm afraid you have to handroll the specs
2021-05-25 07:55:17 +0200 <fabfianda> thanks, yes I think I'll create some helper functions to streamline the specs creation
2021-05-25 07:55:34 +0200berberman(~berberman@user/berberman)
2021-05-25 07:55:34 +0200 <dminuoso> Be sure to use the lens/optics helpers.
2021-05-25 07:55:45 +0200 <dminuoso> They make openapi3 much eaiser to work with :)
2021-05-25 07:55:59 +0200 <dminuoso> Especially the classy lenses/optics
2021-05-25 07:56:42 +0200 <dminuoso> (or wait, I meant the OverloadedLabels ones)
2021-05-25 07:57:55 +0200 <fabfianda> sure! love lenses
2021-05-25 07:58:24 +0200hmmmas(~chenqisu1@183.217.200.8)
2021-05-25 07:59:11 +0200 <dminuoso> swagger2/openapi3 miss one important thing though: property descriptions on objects. :(
2021-05-25 07:59:47 +0200 <fabfianda> got it
2021-05-25 08:01:38 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 265 seconds)
2021-05-25 08:02:16 +0200qbt(~edun@user/edun)
2021-05-25 08:03:11 +0200Squarism2(~Squarism4@90-231-27-135-no51.tbcn.telia.com)
2021-05-25 08:04:55 +0200hmmmas(~chenqisu1@183.217.200.8) (Quit: Leaving.)
2021-05-25 08:05:36 +0200manicennui(uid349235@id-349235.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-25 08:06:29 +0200Squarism2(~Squarism4@90-231-27-135-no51.tbcn.telia.com) (Client Quit)
2021-05-25 08:08:32 +0200jco(~jco@c83-248-173-38.bredband.tele2.se)
2021-05-25 08:09:18 +0200qbt(~edun@user/edun) (Read error: Connection reset by peer)
2021-05-25 08:11:04 +0200qbt(~edun@user/edun)
2021-05-25 08:12:43 +0200cheater(~Username@user/cheater) (Quit: (BitchX) Choosey moms choose BitchX!)
2021-05-25 08:13:01 +0200 <fabfianda> btw, a big thank you to the whole community! . Been a dev for 20+ years but Haskell has been a game changer for me.
2021-05-25 08:13:23 +0200cheater(~Username@user/cheater)
2021-05-25 08:14:54 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv)
2021-05-25 08:15:10 +0200Tomurb(~tom@158.194.92.121)
2021-05-25 08:15:21 +0200wonko(~wjc@62.115.229.50)
2021-05-25 08:17:33 +0200m_shiraeeshi(~shiraeesh@46.34.207.100)
2021-05-25 08:20:28 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:d4bd:911b:bb62:6168)
2021-05-25 08:23:09 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net) (Quit: WeeChat 2.8)
2021-05-25 08:23:19 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net)
2021-05-25 08:25:12 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net) (Client Quit)
2021-05-25 08:25:22 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net)
2021-05-25 08:25:43 +0200nan`(~nan`@68.235.43.165) (Quit: Computer is sleeping. ZZZzzz…)
2021-05-25 08:28:14 +0200Guest6067(~Guest6067@mail.haasprofile.cz)
2021-05-25 08:32:52 +0200buggy(~buggy@user/smorgasbord) (Quit: Lost terminal)
2021-05-25 08:35:39 +0200doyougnu(~user@c-67-168-253-231.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-05-25 08:35:46 +0200 <gonz_> fabfianda: What would you say has been the biggest change and what's been the most positive difference for you with Haskell?
2021-05-25 08:36:11 +0200ddellacosta(~ddellacos@89.46.62.111)
2021-05-25 08:36:51 +0200m_shiraeeshi(~shiraeesh@46.34.207.100) (Ping timeout: 264 seconds)
2021-05-25 08:38:16 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com)
2021-05-25 08:40:16 +0200ddellacosta(~ddellacos@89.46.62.111) (Ping timeout: 244 seconds)
2021-05-25 08:40:57 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-25 08:41:55 +0200cheater(~Username@user/cheater) (Remote host closed the connection)
2021-05-25 08:43:39 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr)
2021-05-25 08:48:25 +0200simmsb-(~ben@2a02:c7f:343a:6d00:69bb:9905:870a:6538) (Remote host closed the connection)
2021-05-25 08:51:20 +0200hmmmas(~chenqisu1@183.217.200.8)
2021-05-25 08:51:58 +0200michalz(~user@185.246.204.58)
2021-05-25 08:54:30 +0200cheater(~Username@user/cheater)
2021-05-25 08:54:39 +0200ixlun(~user@195.213.99.113)
2021-05-25 08:54:41 +0200Guest6067(~Guest6067@mail.haasprofile.cz) ()
2021-05-25 08:56:33 +0200aforemny_aforemny
2021-05-25 08:56:53 +0200m_shiraeeshi(~shiraeesh@46.34.207.100)
2021-05-25 08:56:55 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-25 08:58:49 +0200chele(~chele@user/chele)
2021-05-25 09:03:53 +0200 <fabfianda> well, type safety for sure (as web dev I was used to dynamically typed languages) but more importantly it changed my mindset about problem solving. OOP and imperative programming always felt kind of flawed, while functional programming is so natural to me. And, finally, easy refactoring Is Haskell killer feature, gives me literally peace of mind, something I had never felt before :)
2021-05-25 09:04:18 +0200raym(~raym@user/raym)
2021-05-25 09:04:56 +0200chele_(~chele@user/chele)
2021-05-25 09:05:06 +0200cheleGuest2488
2021-05-25 09:05:06 +0200Guest2488(~chele@user/chele) (Killed (platinum.libera.chat (Nickname regained by services)))
2021-05-25 09:05:06 +0200chele_chele
2021-05-25 09:05:44 +0200 <Axman6> The work I'm doing at the moment is mostly adding a field to a bunch of data types, and following the type errors until I've found everywhere I need to update it
2021-05-25 09:10:37 +0200 <dminuoso> At times I wonder whether that kind of refactoring should receive more attention.
2021-05-25 09:11:00 +0200 <dminuoso> Most of that work seems very repetitive, almost as if this could be automated a lot more easily.
2021-05-25 09:11:36 +0200 <dminuoso> Didn't Sandy Maguire work on some tooling around graphical programming (with the intent to make programming on tablets a possibility)?
2021-05-25 09:11:37 +0200 <Axman6> I really do want a tool to do it for me, 90% of this work is very mechanical, but it's syntactically not that easy to automate (if we had decent structural change tools it might be easier - I've wanted lenses over Haskell syntax for a long time)
2021-05-25 09:12:13 +0200 <dminuoso> Ah, `wingman` is what I was thinking of
2021-05-25 09:12:23 +0200 <dminuoso> https://haskellwingman.dev/
2021-05-25 09:13:53 +0200 <Axman6> that wouldn't help us much here sadly
2021-05-25 09:14:12 +0200Techcable(~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
2021-05-25 09:15:17 +0200 <Axman6> I want to be able to do things like: Given this list of fully wualified type names, add a field to these types with name foo and type Bar - then in the places where we create those types, (somehow) add a call to the function that gets a Bar and adds that field
2021-05-25 09:16:09 +0200Techcable(~Techcable@168.235.93.147)
2021-05-25 09:16:54 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
2021-05-25 09:17:46 +0200 <dminuoso> On emacs at the very least, with ghcide+compilation-mode or lsp/lsp-haskell/lsp-treemacs you can navigate around all error points quickly
2021-05-25 09:17:53 +0200wz1000_wz1000
2021-05-25 09:17:57 +0200 <dminuoso> So there's that
2021-05-25 09:17:59 +0200 <Axman6> it's really mechanical if you have something type aware
2021-05-25 09:18:08 +0200 <Axman6> yeah lsp has made this much more pleasant that's for sure
2021-05-25 09:18:09 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (Quit: WeeChat 2.8)
2021-05-25 09:18:11 +0200 <dminuoso> Axman6: I think wingman is already on the right approach here.
2021-05-25 09:18:15 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2021-05-25 09:18:24 +0200 <dminuoso> At least based on what I heard from Sandy about it on haskell weekly
2021-05-25 09:18:28 +0200 <Axman6> HLS really, I guess
2021-05-25 09:18:31 +0200 <dminuoso> yeah
2021-05-25 09:18:42 +0200 <dminuoso> If only the resource requirements weren't as hefty
2021-05-25 09:18:50 +0200kadoban(~mud@user/kadoban)
2021-05-25 09:18:52 +0200 <dminuoso> It feels like I need to quadruple my memory this year.
2021-05-25 09:18:59 +0200 <Axman6> Our dev machines have 64GB RAM for a reason :P
2021-05-25 09:19:18 +0200 <dminuoso> Sitting on 16GiB here.
2021-05-25 09:19:36 +0200 <Axman6> my personal machine is 32 and that seems to work well
2021-05-25 09:19:58 +0200 <dminuoso> Yeah, my next laptop will have 48GiB soldered in probably
2021-05-25 09:20:07 +0200Techcable(~Techcable@168.235.93.147) (Client Quit)
2021-05-25 09:20:13 +0200 <dminuoso> But I need that much memory to run a fleet of cumulus linux VMs anyway
2021-05-25 09:20:14 +0200 <Axman6> ... according to iStat Menues, VS Code is using 40GB at the moment, most of that will be the lsp for DAML though
2021-05-25 09:20:26 +0200Techcable(~Techcable@168.235.93.147)
2021-05-25 09:20:35 +0200 <dminuoso> Ouch
2021-05-25 09:21:22 +0200ziman(~ziman@c25-5.condornet.sk) (Changing host)
2021-05-25 09:21:22 +0200ziman(~ziman@user/ziman)
2021-05-25 09:21:44 +0200 <Axman6> heh, yeah damlc is using 27GB - I should restart it...
2021-05-25 09:22:25 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (Client Quit)
2021-05-25 09:22:40 +0200taeaad(~taeaad@user/taeaad)
2021-05-25 09:24:14 +0200Axman6quits Docker out of spite too
2021-05-25 09:24:54 +0200 <Hecate> swet hell
2021-05-25 09:25:21 +0200bec(~bec@lfbn-idf1-1-2267-111.w92-151.abo.wanadoo.fr)
2021-05-25 09:26:04 +0200bec(~bec@lfbn-idf1-1-2267-111.w92-151.abo.wanadoo.fr) (Changing host)
2021-05-25 09:26:04 +0200bec(~bec@user/bec)
2021-05-25 09:26:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 09:27:07 +0200wz1000(~zubin@2a01:4f8:1c0c:40d9::1)
2021-05-25 09:28:06 +0200wz1000(~zubin@2a01:4f8:1c0c:40d9::1) (Client Quit)
2021-05-25 09:28:13 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2021-05-25 09:32:34 +0200jco(~jco@c83-248-173-38.bredband.tele2.se) (Read error: Connection reset by peer)
2021-05-25 09:37:58 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds)
2021-05-25 09:39:16 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2021-05-25 09:39:32 +0200cdsmithus(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net)
2021-05-25 09:39:46 +0200raym(~raym@user/raym) (Ping timeout: 264 seconds)
2021-05-25 09:40:22 +0200xff0x_(~xff0x@2001:1a81:531f:9800:5685:5dfc:fd90:b20e) (Ping timeout: 264 seconds)
2021-05-25 09:41:07 +0200xff0x_(~xff0x@2001:1a81:531f:9800:4a5f:2bda:8693:c79e)
2021-05-25 09:41:39 +0200kadoban(~mud@user/kadoban) (Ping timeout: 264 seconds)
2021-05-25 09:42:10 +0200cdsmith(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Ping timeout: 264 seconds)
2021-05-25 09:43:53 +0200Franciman(~francesco@host-80-180-196-134.retail.telecomitalia.it)
2021-05-25 09:44:29 +0200tA(~thorn@121.220.36.168)
2021-05-25 09:45:02 +0200novedevo(~novedevo@d154-5-30-77.bchsia.telus.net) (Read error: Connection reset by peer)
2021-05-25 09:48:39 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 272 seconds)
2021-05-25 09:51:04 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Remote host closed the connection)
2021-05-25 09:51:06 +0200mud(~mud@ip68-3-82-79.ph.ph.cox.net)
2021-05-25 09:51:20 +0200mud(~mud@ip68-3-82-79.ph.ph.cox.net) (Changing host)
2021-05-25 09:51:20 +0200mud(~mud@user/kadoban)
2021-05-25 09:57:10 +0200slice(~slice@user/slice) (Ping timeout: 264 seconds)
2021-05-25 09:58:23 +0200FragByte(~christian@user/fragbyte)
2021-05-25 10:02:08 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-05-25 10:04:39 +0200ozzymcdu1fozzymcduff
2021-05-25 10:07:33 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2021-05-25 10:07:44 +0200fendor(~fendor@178.165.131.25.wireless.dyn.drei.com)
2021-05-25 10:07:47 +0200S11001001(sid42510@id-42510.charlton.irccloud.com) (Ping timeout: 252 seconds)
2021-05-25 10:08:11 +0200tapas(sid467876@charlton.irccloud.com) (Ping timeout: 272 seconds)
2021-05-25 10:10:43 +0200bw(sid2730@user/betawaffle) (Ping timeout: 272 seconds)
2021-05-25 10:10:55 +0200angerman(sid209936@id-209936.charlton.irccloud.com) (Read error: Connection reset by peer)
2021-05-25 10:11:42 +0200SethTisue__(sid14912@id-14912.charlton.irccloud.com) (Ping timeout: 264 seconds)
2021-05-25 10:12:37 +0200jonrh(sid5185@id-5185.charlton.irccloud.com) (Ping timeout: 265 seconds)
2021-05-25 10:12:55 +0200tapas(sid467876@id-467876.charlton.irccloud.com)
2021-05-25 10:13:00 +0200hpc_(~juzz@ip98-169-35-13.dc.dc.cox.net)
2021-05-25 10:13:15 +0200gmc(sid58314@charlton.irccloud.com) (Ping timeout: 272 seconds)
2021-05-25 10:13:20 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1197:e208:ab4e:a6de)
2021-05-25 10:13:25 +0200biberu\(~biberu@user/biberu)
2021-05-25 10:13:33 +0200hpc(~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 264 seconds)
2021-05-25 10:13:33 +0200supersven(uid501114@id-501114.charlton.irccloud.com) (Read error: Connection reset by peer)
2021-05-25 10:14:28 +0200supersven(uid501114@charlton.irccloud.com)
2021-05-25 10:14:37 +0200ProofTechnique(sid79547@charlton.irccloud.com) (Ping timeout: 272 seconds)
2021-05-25 10:15:13 +0200gehmehgeh(~user@user/gehmehgeh)
2021-05-25 10:15:14 +0200eggplant_(~Eggplanta@2600:1700:bef1:5e10:196e:43ba:e231:a245)
2021-05-25 10:15:24 +0200dmwit_(~dmwit@pool-173-66-86-32.washdc.fios.verizon.net)
2021-05-25 10:15:43 +0200Chobbes_(~Chobbes@user/chobbes) (Ping timeout: 264 seconds)
2021-05-25 10:15:43 +0200dmwit(~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-05-25 10:15:56 +0200Chobbes_(~Chobbes@user/chobbes)
2021-05-25 10:16:11 +0200gmc(sid58314@charlton.irccloud.com)
2021-05-25 10:16:35 +0200caasih(sid13241@id-13241.charlton.irccloud.com) (Ping timeout: 252 seconds)
2021-05-25 10:17:37 +0200lbseale__(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-25 10:17:38 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-25 10:17:40 +0200caasih(sid13241@id-13241.charlton.irccloud.com)
2021-05-25 10:17:55 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1197:e208:ab4e:a6de) (Ping timeout: 244 seconds)
2021-05-25 10:18:20 +0200christiaanb_(sid84827@id-84827.tooting.irccloud.com)
2021-05-25 10:18:24 +0200shapr``(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-05-25 10:18:28 +0200ProofTechnique(sid79547@charlton.irccloud.com)
2021-05-25 10:18:51 +0200tapas(sid467876@id-467876.charlton.irccloud.com) (Ping timeout: 272 seconds)
2021-05-25 10:19:28 +0200eggplant_(~Eggplanta@2600:1700:bef1:5e10:196e:43ba:e231:a245) (Ping timeout: 244 seconds)
2021-05-25 10:20:26 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds)
2021-05-25 10:20:41 +0200dteb(uid501063@id-501063.charlton.irccloud.com) (Read error: Connection reset by peer)
2021-05-25 10:20:59 +0200lbseale_(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 252 seconds)
2021-05-25 10:21:31 +0200SethTisue__(sid14912@charlton.irccloud.com)
2021-05-25 10:21:41 +0200dteb(uid501063@id-501063.charlton.irccloud.com)
2021-05-25 10:22:00 +0200nik0(~if@libera/staff/niko)
2021-05-25 10:22:06 +0200pavonia(~user@user/siracusa)
2021-05-25 10:22:07 +0200edwardk(sid47016@haskell/developer/edwardk) (Ping timeout: 272 seconds)
2021-05-25 10:22:11 +0200niko(~if@libera/staff/niko) (Killed (mercury.libera.chat (Nickname regained by services)))
2021-05-25 10:22:11 +0200nik0niko
2021-05-25 10:23:04 +0200jhill_(sid1055@id-1055.tinside.irccloud.com)
2021-05-25 10:23:22 +0200hmmmas1(~chenqisu1@183.217.200.8)
2021-05-25 10:24:19 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (*.net *.split)
2021-05-25 10:24:19 +0200tA(~thorn@121.220.36.168) (*.net *.split)
2021-05-25 10:24:19 +0200hmmmas(~chenqisu1@183.217.200.8) (*.net *.split)
2021-05-25 10:24:19 +0200wonko(~wjc@62.115.229.50) (*.net *.split)
2021-05-25 10:24:19 +0200qbt(~edun@user/edun) (*.net *.split)
2021-05-25 10:24:19 +0200berberman(~berberman@user/berberman) (*.net *.split)
2021-05-25 10:24:19 +0200shapr`(~user@pool-100-36-247-68.washdc.fios.verizon.net) (*.net *.split)
2021-05-25 10:24:19 +0200oxide(~lambda@user/oxide) (*.net *.split)
2021-05-25 10:24:19 +0200Lord_of_Life_(~Lord@46.217.219.90) (*.net *.split)
2021-05-25 10:24:19 +0200td_(~td@muedsl-82-207-238-005.citykom.de) (*.net *.split)
2021-05-25 10:24:19 +0200tolt(~weechat-h@li219-154.members.linode.com) (*.net *.split)
2021-05-25 10:24:19 +0200winny(~winny@2001:19f0:5c01:1de7:5400:1ff:fec6:4ab0) (*.net *.split)
2021-05-25 10:24:19 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split)
2021-05-25 10:24:19 +0200yuglg(x@libera/staff/glguy) (*.net *.split)
2021-05-25 10:24:19 +0200juri_(~juri@178.63.35.222) (*.net *.split)
2021-05-25 10:24:19 +0200samebchase(~samebchas@51.15.68.182) (*.net *.split)
2021-05-25 10:24:19 +0200skn(~znc@sec.nimmagadda.net) (*.net *.split)
2021-05-25 10:24:19 +0200biberu(~biberu@user/biberu) (*.net *.split)
2021-05-25 10:24:19 +0200toms(~foobar@pogostick.net) (*.net *.split)
2021-05-25 10:24:19 +0200parseval(sid239098@id-239098.brockwell.irccloud.com) (*.net *.split)
2021-05-25 10:24:19 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com) (*.net *.split)
2021-05-25 10:24:19 +0200jhill(sid1055@id-1055.tinside.irccloud.com) (*.net *.split)
2021-05-25 10:24:19 +0200Ekho(~Ekho@user/ekho) (*.net *.split)
2021-05-25 10:24:19 +0200felixphew(~felix@cssa/committee/felix) (*.net *.split)
2021-05-25 10:24:19 +0200raoul(~raoul@nomnomnomnom.co.uk) (*.net *.split)
2021-05-25 10:24:19 +0200Square(~a@178.62.91.8) (*.net *.split)
2021-05-25 10:24:19 +0200djanatyn(~djanatyn@vps-7f49a6b0.vps.ovh.ca) (*.net *.split)
2021-05-25 10:24:19 +0200urdh(~urdh@h88-129-148-132.cust.a3fiber.se) (*.net *.split)
2021-05-25 10:24:19 +0200khumba(~kvirc@S01066038e0ca1250.ok.shawcable.net) (*.net *.split)
2021-05-25 10:24:19 +0200christiaanb(sid84827@id-84827.tooting.irccloud.com) (*.net *.split)
2021-05-25 10:24:19 +0200edwtjo(~edwtjo@user/edwtjo) (*.net *.split)
2021-05-25 10:24:19 +0200tdammers_(~tdammers@77.109.72.213) (*.net *.split)
2021-05-25 10:24:19 +0200Logio(em@kapsi.fi) (*.net *.split)
2021-05-25 10:24:19 +0200biberu\biberu
2021-05-25 10:24:20 +0200christiaanb_christiaanb
2021-05-25 10:24:22 +0200jhill_jhill
2021-05-25 10:24:38 +0200ProofTechnique(sid79547@charlton.irccloud.com) (Ping timeout: 244 seconds)
2021-05-25 10:24:42 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 265 seconds)
2021-05-25 10:24:43 +0200td_(~td@muedsl-82-207-238-005.citykom.de)
2021-05-25 10:25:32 +0200haskman(~haskman@106.215.3.81)
2021-05-25 10:25:34 +0200tapas(sid467876@charlton.irccloud.com)
2021-05-25 10:26:06 +0200edwardk(sid47016@haskell/developer/edwardk)
2021-05-25 10:26:11 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 244 seconds)
2021-05-25 10:26:12 +0200bw(sid2730@user/betawaffle)
2021-05-25 10:26:13 +0200ProofTechnique(sid79547@id-79547.charlton.irccloud.com)
2021-05-25 10:26:32 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2021-05-25 10:26:38 +0200tolt(~weechat-h@li219-154.members.linode.com)
2021-05-25 10:26:43 +0200parseval(sid239098@id-239098.brockwell.irccloud.com)
2021-05-25 10:27:21 +0200pe200012(~pe200012@119.131.208.84) (Remote host closed the connection)
2021-05-25 10:27:27 +0200jonrh(sid5185@id-5185.charlton.irccloud.com)
2021-05-25 10:27:35 +0200Square(~a@178.62.91.8)
2021-05-25 10:27:36 +0200winny(~winny@2001:19f0:5c01:1de7:5400:1ff:fec6:4ab0)
2021-05-25 10:27:41 +0200imc6ristian(~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f)
2021-05-25 10:27:48 +0200pe200012(~pe200012@218.107.17.245)
2021-05-25 10:27:54 +0200tA(~thorn@121.220.36.168)
2021-05-25 10:27:54 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-05-25 10:27:54 +0200wonko(~wjc@62.115.229.50)
2021-05-25 10:27:54 +0200qbt(~edun@user/edun)
2021-05-25 10:27:54 +0200berberman(~berberman@user/berberman)
2021-05-25 10:27:54 +0200oxide(~lambda@user/oxide)
2021-05-25 10:27:54 +0200Lord_of_Life_(~Lord@46.217.219.90)
2021-05-25 10:27:54 +0200khumba(~kvirc@S01066038e0ca1250.ok.shawcable.net)
2021-05-25 10:27:54 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2021-05-25 10:27:54 +0200juri_(~juri@178.63.35.222)
2021-05-25 10:27:54 +0200yuglg(x@libera/staff/glguy)
2021-05-25 10:27:54 +0200samebchase(~samebchas@51.15.68.182)
2021-05-25 10:27:54 +0200skn(~znc@sec.nimmagadda.net)
2021-05-25 10:27:54 +0200toms(~foobar@pogostick.net)
2021-05-25 10:27:54 +0200Ekho(~Ekho@user/ekho)
2021-05-25 10:27:54 +0200felixphew(~felix@cssa/committee/felix)
2021-05-25 10:27:54 +0200raoul(~raoul@nomnomnomnom.co.uk)
2021-05-25 10:27:54 +0200djanatyn(~djanatyn@vps-7f49a6b0.vps.ovh.ca)
2021-05-25 10:27:54 +0200urdh(~urdh@h88-129-148-132.cust.a3fiber.se)
2021-05-25 10:27:54 +0200edwtjo(~edwtjo@user/edwtjo)
2021-05-25 10:27:54 +0200tdammers_(~tdammers@77.109.72.213)
2021-05-25 10:27:54 +0200Logio(em@kapsi.fi)
2021-05-25 10:28:18 +0200angerman(sid209936@id-209936.charlton.irccloud.com)
2021-05-25 10:28:26 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-05-25 10:28:43 +0200sondre(~sondrelun@eduroam-193-157-179-99.wlan.uio.no)
2021-05-25 10:29:28 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-25 10:29:43 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-25 10:29:51 +0200S11001001(sid42510@id-42510.charlton.irccloud.com)
2021-05-25 10:32:34 +0200skn(~znc@sec.nimmagadda.net) (Ping timeout: 264 seconds)
2021-05-25 10:32:54 +0200skn(~znc@sec.nimmagadda.net)
2021-05-25 10:32:56 +0200__monty__(~toonn@user/toonn)
2021-05-25 10:34:22 +0200raoul(~raoul@nomnomnomnom.co.uk) (Ping timeout: 264 seconds)
2021-05-25 10:34:22 +0200imc6ristian(~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f) (Quit: quit)
2021-05-25 10:34:35 +0200raoul(~raoul@nomnomnomnom.co.uk)
2021-05-25 10:34:56 +0200imc6ristian(~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f)
2021-05-25 10:35:39 +0200m_shiraeeshi(~shiraeesh@46.34.207.100) (Ping timeout: 264 seconds)
2021-05-25 10:36:54 +0200v01d4lph4(~v01d4lph4@122.160.65.250)
2021-05-25 10:37:13 +0200ddellacosta(~ddellacos@86.106.121.117)
2021-05-25 10:38:43 +0200chddr(~Thunderbi@91.226.34.182)
2021-05-25 10:39:19 +0200ystael(~ystael@user/ystael) (Ping timeout: 272 seconds)
2021-05-25 10:41:51 +0200ddellacosta(~ddellacos@86.106.121.117) (Ping timeout: 272 seconds)
2021-05-25 10:48:09 +0200imc6ristian(~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f) (Quit: quit)
2021-05-25 10:48:14 +0200horex539(~horex539@2a02:a03f:6aa5:a00:c481:4314:38df:6304)
2021-05-25 10:48:21 +0200imc6ristian(~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f)
2021-05-25 10:50:48 +0200ystael(~ystael@user/ystael)
2021-05-25 10:50:55 +0200Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com)
2021-05-25 10:51:09 +0200L29Ah(~L29Ah@user/l29ah)
2021-05-25 10:51:16 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-05-25 10:51:35 +0200 <Flonk> Did yall really migrate both offtopic channels? :D
2021-05-25 10:52:47 +0200felixphew(~felix@cssa/committee/felix) ()
2021-05-25 10:52:47 +0200imc6ristian(~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f) (Client Quit)
2021-05-25 10:53:17 +0200imc6ristian(~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f)
2021-05-25 10:53:35 +0200imc6ristian(~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f) (Client Quit)
2021-05-25 10:54:05 +0200 <dminuoso> Im looking for libraries to assist in making simple request/respond CLI tools with. Something that asks for a bunch of things, receives things from STDIN, and perhaps has some simple help integration.
2021-05-25 10:54:28 +0200 <dminuoso> Trying to be non-specific, since Im wondering what kind of options I have, short of handrolling the whole thing
2021-05-25 10:55:34 +0200 <kritzefitz> dminuoso, so input should come from STDIN interactively, rather than providing everything on the command line beforehand?
2021-05-25 10:55:48 +0200 <dminuoso> Right
2021-05-25 10:57:09 +0200 <dminuoso> haskeline comes to mind, if I want to handroll the entire interaction
2021-05-25 10:57:29 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-05-25 11:02:45 +0200 <kritzefitz> dminuoso, I didn't look into the details, but http://hackage.haskell.org/package/wizards looks like it might help you.
2021-05-25 11:02:50 +0200berberman(~berberman@user/berberman) (Ping timeout: 264 seconds)
2021-05-25 11:02:54 +0200berberman_(~berberman@user/berberman)
2021-05-25 11:04:26 +0200haskman(~haskman@106.215.3.81) (Ping timeout: 252 seconds)
2021-05-25 11:04:26 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-25 11:07:49 +0200 <dminuoso> kritzefitz: Oh, that looks exactly like I was looking for.
2021-05-25 11:09:17 +0200tA(~thorn@121.220.36.168) (Ping timeout: 264 seconds)
2021-05-25 11:13:30 +0200samebchase1(~samebchas@51.15.68.182)
2021-05-25 11:13:36 +0200samebchase(~samebchas@51.15.68.182) (Quit: Ping timeout (120 seconds))
2021-05-25 11:14:02 +0200int-e(~noone@int-e.eu) (Quit: Reconnecting)
2021-05-25 11:14:09 +0200int-e_(~noone@int-e.eu)
2021-05-25 11:14:44 +0200int-e_(~noone@int-e.eu) (Client Quit)
2021-05-25 11:14:52 +0200bjs(sid190364@brockwell.irccloud.com) (Changing host)
2021-05-25 11:14:52 +0200bjs(sid190364@user/bjs)
2021-05-25 11:14:58 +0200int-e(~noone@int-e.eu)
2021-05-25 11:16:09 +0200eal(~eal@customer-46-39-107-10.stosn.net)
2021-05-25 11:19:23 +0200Guest56(~Guest56@157.45.6.211)
2021-05-25 11:19:33 +0200 <Guest56> test
2021-05-25 11:19:50 +0200 <Guest56> anyone here
2021-05-25 11:20:11 +0200 <Guest56> am i doing this correctly
2021-05-25 11:20:21 +0200 <int-e> no
2021-05-25 11:20:34 +0200 <Guest56> hi Bertram
2021-05-25 11:20:55 +0200 <dminuoso> Guest56: Hi, yes you are. :)
2021-05-25 11:21:00 +0200 <int-e> it's customary to call people by their nicks
2021-05-25 11:21:10 +0200 <int-e> (int-e in my case)
2021-05-25 11:21:16 +0200 <Guest56> oh okay
2021-05-25 11:21:28 +0200 <dminuoso> Nice, so Libera already has IRC first timers!
2021-05-25 11:21:50 +0200 <Guest56> I came here from archlinux notification email
2021-05-25 11:22:04 +0200 <Guest56> it didn't let me post
2021-05-25 11:22:18 +0200 <Guest56> i need to be identified with a service
2021-05-25 11:22:27 +0200 <Guest56> what does it mean?
2021-05-25 11:22:55 +0200 <dminuoso> Type the following into your chat bar: /msg nickserv help register
2021-05-25 11:23:13 +0200 <dminuoso> And follow the instructions
2021-05-25 11:23:14 +0200 <mniip> how do you end up in #haskell if you were going for #archlinux
2021-05-25 11:23:31 +0200 <dminuoso> Im guessing their client has a way of showing other channels, and Haskell likely is one of the most populated ones?
2021-05-25 11:23:32 +0200 <Taneb> Guest56: there is a guide to registring a nickname here: https://libera.chat/guides/registration
2021-05-25 11:23:36 +0200 <int-e> Guest56: but first pick a nick you actually want
2021-05-25 11:23:39 +0200 <dminuoso> Presumably one of the few ones without +r
2021-05-25 11:23:59 +0200 <Guest56> thanks dminuoso but in libera.chat page said no signup required for using kiwiirc
2021-05-25 11:23:59 +0200 <int-e> (and that is not registered yet *shrugs*)
2021-05-25 11:24:13 +0200 <dminuoso> Guest56: Right, but some project/channels require signup.
2021-05-25 11:24:28 +0200 <Taneb> Guest56: some channels make you register your username as a spam prevention technique
2021-05-25 11:24:29 +0200 <dminuoso> So while the network itself does not demand it, some chnanels might have stricter requirements
2021-05-25 11:25:41 +0200 <Guest56> hmm, so kiwiirc is the client, libera.chat is the network and I also need to register with nickserve?
2021-05-25 11:25:48 +0200unautre(~unautre@149.91.83.63) ()
2021-05-25 11:26:06 +0200 <dminuoso> Guest56: Right. Think of `nickserv` as a way to register an account with the network
2021-05-25 11:26:55 +0200 <dminuoso> It's perhaps a bit odd to do this via `/msg`, Im guessing this way of registering your account through private messages was just retrofitted onto IRC.
2021-05-25 11:27:29 +0200 <Guest56> @mniip yes haskell cam up on top on search page for channels on kiwiirc and I had heard haskell folks are nice on reddit
2021-05-25 11:27:29 +0200 <lambdabot> Unknown command, try @list
2021-05-25 11:27:31 +0200 <dminuoso> nickserv and chanserv are official "bots" on the network providing registration services for accounts and channels respectively
2021-05-25 11:28:46 +0200curiousgay(~gay@178.217.208.8) (Remote host closed the connection)
2021-05-25 11:29:15 +0200 <Guest56> dminuoso so if I have account with a network (say libera.chat), I dont need to register with others?
2021-05-25 11:29:35 +0200 <dminuoso> No you do. The registration is only valid on that particular network.
2021-05-25 11:29:59 +0200 <Guest56> huh, is all of this complicated or am i just not smart enough
2021-05-25 11:30:12 +0200simmsb(~ben@2a02:c7f:343a:6d00:69bb:9905:870a:6538)
2021-05-25 11:30:33 +0200 <Guest56> I will have to find a tutorial for basics of IRC
2021-05-25 11:30:37 +0200 <Taneb> Guest56: it does take a little getting used to
2021-05-25 11:30:42 +0200Gurkenglas_(~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de)
2021-05-25 11:30:51 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net) (Ping timeout: 264 seconds)
2021-05-25 11:31:34 +0200 <dminuoso> Guest56: The main thing to realize, is that IRC is just a generic chat protocol, and a "network" - while in principle could be multiple physical servers - is better thought of as a single (conceptual) server perhaps.
2021-05-25 11:32:03 +0200jonathanclarke(~jonathanc@110.44.115.239) (Ping timeout: 264 seconds)
2021-05-25 11:32:12 +0200 <dminuoso> It's similar to say Slack, where you can connect to multiple networks - and each one requires separate registration of nicknames.
2021-05-25 11:32:36 +0200 <Guest56> thanks dminuoso and int-e, i found a blogpost,i will read ait and comeback with basic understanding!
2021-05-25 11:32:41 +0200 <Guest56> have a great day!
2021-05-25 11:32:50 +0200horex539(~horex539@2a02:a03f:6aa5:a00:c481:4314:38df:6304) (Remote host closed the connection)
2021-05-25 11:32:52 +0200 <dminuoso> You too.
2021-05-25 11:33:15 +0200Guest56(~Guest56@157.45.6.211) (Quit: Connection closed)
2021-05-25 11:33:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-25 11:35:24 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 11:35:47 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-25 11:43:35 +0200jonathanclarke(~jonathanc@202-51-76-36.vianet.com.np)
2021-05-25 11:44:24 +0200magthe(~magthe@c83-252-48-230.bredband.tele2.se)
2021-05-25 11:45:33 +0200 <magthe> @pl \xs n -> take n xs
2021-05-25 11:45:33 +0200 <lambdabot> flip take
2021-05-25 11:45:54 +0200 <magthe> @pl \a b -> fmap (a,) b
2021-05-25 11:45:54 +0200 <lambdabot> (line 1, column 16):
2021-05-25 11:45:54 +0200 <lambdabot> unexpected ","
2021-05-25 11:45:54 +0200 <lambdabot> expecting letter or digit, variable, "(", operator or ")"
2021-05-25 11:46:23 +0200 <magthe> @pl \a b -> fmap (a +) b
2021-05-25 11:46:23 +0200 <lambdabot> fmap . (+)
2021-05-25 11:46:46 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-25 11:51:23 +0200 <kritzefitz> @pl \a b -> fmap (+ a) b
2021-05-25 11:51:24 +0200 <lambdabot> fmap . (+)
2021-05-25 11:51:39 +0200 <kritzefitz> Isn't that wrong, depending on the definition of (+)?
2021-05-25 11:53:26 +0200 <chddr> @pl \a b -> fmap (`const` a) b
2021-05-25 11:53:26 +0200 <lambdabot> fmap . const id
2021-05-25 11:53:36 +0200 <dminuoso> Nope
2021-05-25 11:53:38 +0200 <chddr> @pl \a b -> fmap (a `const`) b
2021-05-25 11:53:39 +0200 <lambdabot> fmap . const
2021-05-25 11:53:46 +0200 <dminuoso> kritzefitz: Num is expected to have commutativity on (+)
2021-05-25 11:53:56 +0200 <dminuoso> Well. "expected"
2021-05-25 11:54:17 +0200 <kritzefitz> dminuoso, good point. Now I'm just surprised that lambdabot knows about this.
2021-05-25 11:54:21 +0200 <dminuoso> But if base haddock says that, I'd find it reasonable if the @pl machinery assumes it
2021-05-25 11:55:33 +0200 <dminuoso> In hindsight, perhaps `Num` should have been called `Ring`
2021-05-25 11:55:55 +0200 <tomsmeding> @pl \a b -> fmap (a `f`) b
2021-05-25 11:55:55 +0200 <lambdabot> fmap . f
2021-05-25 11:56:00 +0200 <tomsmeding> @pl \a b -> fmap (`f` a) b
2021-05-25 11:56:00 +0200 <lambdabot> fmap . flip f
2021-05-25 11:57:15 +0200sondre(~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 264 seconds)
2021-05-25 12:00:24 +0200tose(~tose@ip-85-160-8-188.eurotel.cz)
2021-05-25 12:01:22 +0200omen(~omen@user/omen) (Ping timeout: 264 seconds)
2021-05-25 12:03:51 +0200petrus_(~petrus@catv-86-101-33-147.catv.broadband.hu)
2021-05-25 12:05:00 +0200GIANTWORLDKEEPER(~pjetcetal@2.95.204.25) (Read error: Connection reset by peer)
2021-05-25 12:06:29 +0200sondre(~sondrelun@eduroam-193-157-179-99.wlan.uio.no)
2021-05-25 12:10:58 +0200sondre(~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 264 seconds)
2021-05-25 12:12:59 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-05-25 12:13:35 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds)
2021-05-25 12:15:49 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-25 12:16:38 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4d24:abb4:22ba:9c8c)
2021-05-25 12:16:50 +0200Gurkenglas_(~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) (Ping timeout: 265 seconds)
2021-05-25 12:17:22 +0200petrus_(~petrus@catv-86-101-33-147.catv.broadband.hu) (WeeChat 3.1)
2021-05-25 12:19:06 +0200GIANTWORLDKEEPER(~pjetcetal@2.95.204.25)
2021-05-25 12:19:46 +0200sondre(~sondrelun@eduroam-193-157-179-99.wlan.uio.no)
2021-05-25 12:20:01 +0200omen(~omen@user/omen)
2021-05-25 12:20:09 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net)
2021-05-25 12:20:39 +0200eggplant_(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5)
2021-05-25 12:21:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4d24:abb4:22ba:9c8c) (Ping timeout: 264 seconds)
2021-05-25 12:21:34 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-25 12:22:27 +0200v01d4lph4(~v01d4lph4@122.160.65.250) (Ping timeout: 264 seconds)
2021-05-25 12:23:26 +0200terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com)
2021-05-25 12:23:45 +0200v01d4lph4(~v01d4lph4@122.160.65.250)
2021-05-25 12:24:15 +0200sondre(~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 264 seconds)
2021-05-25 12:25:22 +0200eggplant_(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Ping timeout: 264 seconds)
2021-05-25 12:27:08 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection)
2021-05-25 12:27:53 +0200holy_(~h01y_b4z0@103.244.176.36)
2021-05-25 12:30:24 +0200SanchayanM(~Sanchayan@136.185.150.127) (Quit: SanchayanM)
2021-05-25 12:30:44 +0200SanchayanM(~Sanchayan@136.185.150.127)
2021-05-25 12:30:46 +0200pretty_dumm_guy(~trottel@92.223.89.152)
2021-05-25 12:30:51 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Ping timeout: 264 seconds)
2021-05-25 12:31:12 +0200sondre(~sondrelun@eduroam-193-157-179-99.wlan.uio.no)
2021-05-25 12:33:45 +0200zzzonion
2021-05-25 12:34:35 +0200tose(~tose@ip-85-160-8-188.eurotel.cz) (Remote host closed the connection)
2021-05-25 12:34:58 +0200onionzzz
2021-05-25 12:35:22 +0200hmmmas1(~chenqisu1@183.217.200.8) (Quit: Leaving.)
2021-05-25 12:36:14 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr) (Remote host closed the connection)
2021-05-25 12:36:49 +0200petrus_(~petrus@catv-86-101-33-147.catv.broadband.hu)
2021-05-25 12:38:16 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-25 12:38:43 +0200ddellacosta(~ddellacos@89.46.62.83)
2021-05-25 12:39:23 +0200holy_bazooka(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-25 12:40:02 +0200juhp(~juhp@128.106.188.199) (Ping timeout: 265 seconds)
2021-05-25 12:40:18 +0200holy_(~h01y_b4z0@103.244.176.36) (Read error: Connection reset by peer)
2021-05-25 12:44:42 +0200ArsenArsen_
2021-05-25 12:45:56 +0200Arsen_Arsen
2021-05-25 12:47:54 +0200holy_(~h01y_b4z0@103.244.176.36)
2021-05-25 12:48:09 +0200holy_bazooka(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer)
2021-05-25 12:48:15 +0200nan`(~nan`@68.235.43.165)
2021-05-25 12:48:18 +0200wolfshappen(~waff@irc.furworks.de) (Ping timeout: 264 seconds)
2021-05-25 12:49:14 +0200choucavalier(~choucaval@mail.peanutbuttervibes.com) (WeeChat 3.1)
2021-05-25 12:52:36 +0200holy_bazooka(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-25 12:52:51 +0200holy_(~h01y_b4z0@103.244.176.36) (Read error: Connection reset by peer)
2021-05-25 12:53:02 +0200curiousgay(~curiousga@178.217.208.8)
2021-05-25 12:53:21 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr)
2021-05-25 12:53:41 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160)
2021-05-25 12:54:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-25 12:55:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 12:55:39 +0200wolfshappen(~waff@irc.furworks.de)
2021-05-25 12:58:23 +0200holy_bazooka(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer)
2021-05-25 12:59:17 +0200holy_(~h01y_b4z0@103.244.176.36)
2021-05-25 13:00:19 +0200xwx(~george@user/george)
2021-05-25 13:00:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-25 13:01:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 13:04:21 +0200holy_(~h01y_b4z0@103.244.176.36) (Ping timeout: 272 seconds)
2021-05-25 13:05:37 +0200bsima1bsima
2021-05-25 13:06:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-25 13:06:26 +0200Franciman(~francesco@host-80-180-196-134.retail.telecomitalia.it) (Quit: Leaving)
2021-05-25 13:06:33 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-25 13:07:54 +0200Mark_(uid14803@user/mark/x-9597255) (Quit: Connection closed for inactivity)
2021-05-25 13:08:55 +0200nan`(~nan`@68.235.43.165) (Remote host closed the connection)
2021-05-25 13:09:25 +0200nan`(~nan`@68.235.43.165)
2021-05-25 13:11:43 +0200hpc_hpc
2021-05-25 13:12:19 +0200kewa(~kewa@5.138.211.57)
2021-05-25 13:12:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 13:12:41 +0200tonyz(~tonyz@2a02:587:2805:3d8f:34c8:4ae2:aa52:cf49)
2021-05-25 13:12:56 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 13:13:58 +0200nan`(~nan`@68.235.43.165) (Ping timeout: 264 seconds)
2021-05-25 13:14:24 +0200boxscape(~boxscape@user/boxscape)
2021-05-25 13:16:45 +0200forell(~forell@host-178-216-90-220.sta.tvknaszapraca.pl)
2021-05-25 13:16:49 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 13:18:16 +0200alp(~alp@163.172.83.213) (Changing host)
2021-05-25 13:18:16 +0200alp(~alp@user/alp)
2021-05-25 13:18:53 +0200satai(~satai@ip-37-188-173-38.eurotel.cz)
2021-05-25 13:19:36 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-25 13:19:58 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds)
2021-05-25 13:20:16 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 13:21:36 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 265 seconds)
2021-05-25 13:22:10 +0200SanchayanM(~Sanchayan@136.185.150.127) (Quit: SanchayanM)
2021-05-25 13:22:54 +0200SanchayanM(~Sanchayan@136.185.150.127)
2021-05-25 13:23:35 +0200coot(~coot@89-64-70-112.dynamic.chello.pl)
2021-05-25 13:23:37 +0200SanchayanM(~Sanchayan@136.185.150.127) (Client Quit)
2021-05-25 13:23:47 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: No route to host)
2021-05-25 13:24:01 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 13:25:58 +0200kewa(~kewa@5.138.211.57) (Ping timeout: 264 seconds)
2021-05-25 13:27:46 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds)
2021-05-25 13:28:58 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds)
2021-05-25 13:34:09 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-05-25 13:34:48 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 13:37:03 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 13:37:07 +0200holy_(~h01y_b4z0@103.244.176.36)
2021-05-25 13:39:45 +0200ixlun(~user@195.213.99.113) (Remote host closed the connection)
2021-05-25 13:39:46 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds)
2021-05-25 13:40:00 +0200ixlun(~user@195.213.99.113)
2021-05-25 13:40:05 +0200Plazma(~weenis@user/plazma)
2021-05-25 13:41:47 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-25 13:43:46 +0200Morrow(~Morrow@147.161.9.201)
2021-05-25 13:45:19 +0200samhh(~samhh@90.252.103.244)
2021-05-25 13:46:20 +0200coot(~coot@89-64-70-112.dynamic.chello.pl) (Quit: coot)
2021-05-25 13:49:22 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 264 seconds)
2021-05-25 13:49:58 +0200holy_(~h01y_b4z0@103.244.176.36) (Ping timeout: 264 seconds)
2021-05-25 13:50:08 +0200smitop(uid328768@user/smitop)
2021-05-25 13:51:42 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection)
2021-05-25 13:53:39 +0200 <boxscape> If I have to keep comparing suffixes of a bunch of short (~20 characters) Text values, would it be wise to reverse them and compare prefixes instead?
2021-05-25 13:53:49 +0200 <boxscape> (i.e. Data.Text.Text)
2021-05-25 13:54:39 +0200 <tomsmeding> boxscape: element indexing is O(1) on a Text, so that shouldn't matter at all -- in fact the additional reverse will likely make it a bit slower :)
2021-05-25 13:54:53 +0200 <boxscape> tomsmeding okay, thanks
2021-05-25 13:54:58 +0200 <tomsmeding> (due to the fact that you're calling an additional function -- namely reverse)
2021-05-25 13:55:02 +0200 <boxscape> right
2021-05-25 13:57:05 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-05-25 13:59:21 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-25 14:03:41 +0200bontaq(~user@ool-18e47f8d.dyn.optonline.net)
2021-05-25 14:07:40 +0200tdammers_tdammers
2021-05-25 14:08:30 +0200juhp(~juhp@bb219-75-40-154.singnet.com.sg)
2021-05-25 14:08:55 +0200 <merijn> tomsmeding: It's not, though :p
2021-05-25 14:09:22 +0200 <tomsmeding> lazy/strict text you mean?
2021-05-25 14:09:35 +0200dminuosowaits for the O(sqrt(n)) argument
2021-05-25 14:09:44 +0200 <merijn> No, I mean that Text does not have O(1) element indexing for any sensible notion of element
2021-05-25 14:10:01 +0200 <dminuoso> Oh
2021-05-25 14:10:02 +0200 <opqdonut> is Text utf-8 internally?
2021-05-25 14:10:02 +0200 <merijn> Naah, not the silly O(sqrt(n)) argument
2021-05-25 14:10:06 +0200 <merijn> No
2021-05-25 14:10:11 +0200 <dminuoso> opqdonut: its utf16
2021-05-25 14:10:14 +0200 <dminuoso> Sadly. :)
2021-05-25 14:10:16 +0200 <opqdonut> right well yeah
2021-05-25 14:10:19 +0200 <tomsmeding> opqdonut: a number of people are currently working very hard to make text utf-8 :p
2021-05-25 14:10:19 +0200 <merijn> And that's mostly irrelevant, tbh
2021-05-25 14:10:27 +0200 <opqdonut> no constant-time indexing since it's not constant-width
2021-05-25 14:10:37 +0200 <merijn> The value of UTF-8 Text is overrated, imo
2021-05-25 14:10:51 +0200xwx(~george@user/george) (Ping timeout: 272 seconds)
2021-05-25 14:10:52 +0200 <dminuoso> Until you want to interface with other libraries
2021-05-25 14:10:55 +0200argento(~argent0@168.227.96.51)
2021-05-25 14:11:02 +0200 <dminuoso> via ffi
2021-05-25 14:11:09 +0200 <tomsmeding> merijn: okay very good point. However, for suffix equality checking, you only need the (perhaps non-sensible) notion of element that is "a two-byte unit"
2021-05-25 14:11:11 +0200 <int-e> merijn: oh, the one about energy flow through a surface?
2021-05-25 14:11:23 +0200 <merijn> opqdonut: Even with constant-width unicode it's no clear to me if it'd be O(1), because of weird stuff like combining characters and various weirdness of unicode
2021-05-25 14:11:23 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-25 14:11:25 +0200brandonh(~brandonh@51.190.236.231)
2021-05-25 14:11:40 +0200Plazma(~weenis@user/plazma) ()
2021-05-25 14:11:45 +0200 <opqdonut> merijn: oh right, sure. O(1) to access the nth codepoint, but that's mostly not what people want
2021-05-25 14:11:48 +0200 <tomsmeding> (which would make my conclusion correct but my argument wrong)
2021-05-25 14:11:54 +0200 <opqdonut> but some variation of nth character
2021-05-25 14:12:02 +0200 <dminuoso> int-e: its not about energy flow, but rather the combined argument of the speed of light and that the maximum amount of entropy of a given space is limited by its surface, not its volume.
2021-05-25 14:12:04 +0200 <boxscape> (I'm only dealing with characters allowed in filenames fwit)
2021-05-25 14:12:09 +0200 <boxscape> s/fwit/fwiw
2021-05-25 14:12:19 +0200 <merijn> opqdonut: Basically, i'm increasingly convinced that any form of indexing text is just insanity :p
2021-05-25 14:12:24 +0200 <opqdonut> boxscape: aren't filenames better modeled as ByteString in most systems?
2021-05-25 14:12:28 +0200 <dminuoso> opqdonut: the notion of "character" is not clear, honestly,
2021-05-25 14:12:32 +0200 <merijn> opqdonut: Define "most systems"
2021-05-25 14:12:32 +0200 <tomsmeding> opqdonut: yeah
2021-05-25 14:12:32 +0200hellcp(~hellcp@83.24.148.243.ipv4.supernova.orange.pl)
2021-05-25 14:12:37 +0200 <int-e> dminuoso: ah. well, close enough.
2021-05-25 14:12:39 +0200 <dminuoso> The term is illsuited since there's no useful definition of the term "character"
2021-05-25 14:12:42 +0200 <opqdonut> dminuoso: yeah
2021-05-25 14:12:51 +0200 <boxscape> opqdonut quite possibly, but they are read from a file that contains english text, not just filenames
2021-05-25 14:12:52 +0200 <tomsmeding> I don't think there exist systems where filenames are equal modulo unicode normalisation
2021-05-25 14:12:56 +0200 <opqdonut> merijn: posix?
2021-05-25 14:12:57 +0200 <merijn> opqdonut: Windows is unicode, macOS' old filesystem is unicode too
2021-05-25 14:13:02 +0200 <opqdonut> ok, good to know
2021-05-25 14:13:08 +0200 <merijn> opqdonut: AppleFS is...weird
2021-05-25 14:13:36 +0200 <merijn> opqdonut: It's unicode, but handled at the library level, with the FS accepting any byte sequence, leading to confusing behaviour with different normalisations
2021-05-25 14:13:38 +0200 <tomsmeding> boxscape: what function are you using to check suffix equality
2021-05-25 14:13:48 +0200 <merijn> imo, Windows is the only one who gets this right
2021-05-25 14:14:02 +0200argento(~argent0@168.227.96.51) (Client Quit)
2021-05-25 14:14:23 +0200 <opqdonut> yeah the linux byte sequence filenames are a bit of a copout
2021-05-25 14:14:24 +0200 <boxscape> tomsmeding at the moment I'm checking "a `T.isSuffixOf ` b || b `T.isSuffixOf` a", which probably does some checking twice
2021-05-25 14:14:26 +0200 <opqdonut> leaving userland to deal with problems
2021-05-25 14:14:27 +0200hellcplcp
2021-05-25 14:14:32 +0200argento(~argent0@168.227.96.51)
2021-05-25 14:14:42 +0200lcp(~hellcp@83.24.148.243.ipv4.supernova.orange.pl) (Client Quit)
2021-05-25 14:14:46 +0200 <merijn> Requiring a specific known unicode encoding is the only sensible way to handle files when the average user wants to name thing in their own language
2021-05-25 14:14:49 +0200shapr``shapr
2021-05-25 14:14:56 +0200lcp(~hellcp@83.24.148.243.ipv4.supernova.orange.pl)
2021-05-25 14:15:33 +0200 <tomsmeding> boxscape: what about "let len = min (T.length a) (T.length b) in T.takeEnd len a == T.takeEnd len b"
2021-05-25 14:15:47 +0200brandonh_(~brandonh@mi-18-24-205.service.infuturo.it)
2021-05-25 14:15:48 +0200 <boxscape> tomsmeding that sounds like a good idea
2021-05-25 14:15:58 +0200absence_absence
2021-05-25 14:16:04 +0200lcp(~hellcp@83.24.148.243.ipv4.supernova.orange.pl) (Client Quit)
2021-05-25 14:16:13 +0200 <tomsmeding> merijn: both of these solutions don't actually need O(1) indexing in any "sensible" way, just in the straight bytes way :p
2021-05-25 14:16:18 +0200 <dminuoso> merijn: I guess on a technical level that means filenames are just identified by a byte sequence.
2021-05-25 14:16:19 +0200space-shell(~space-she@88.98.247.38)
2021-05-25 14:16:41 +0200 <merijn> dminuoso: Right, but that means it's impossible to reliably display filenames to users
2021-05-25 14:17:01 +0200argento(~argent0@168.227.96.51) (Client Quit)
2021-05-25 14:17:04 +0200 <dminuoso> Right. And it still leaves the problem of unicode equivalence
2021-05-25 14:17:24 +0200 <dminuoso> So normalization is a real issue here
2021-05-25 14:17:27 +0200 <merijn> dminuoso: What if one filename is in UTF-8 and the other is UTF-16 (perhaps because they're made by different users with different locales)
2021-05-25 14:17:55 +0200argento(~argent0@168.227.96.51)
2021-05-25 14:18:09 +0200brandonh(~brandonh@51.190.236.231) (Ping timeout: 265 seconds)
2021-05-25 14:18:46 +0200 <Maxdamantus> Bytes should always be the way to represent filenames.
2021-05-25 14:18:46 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-25 14:18:47 +0200 <dminuoso> merijn: Easy. Just present them with mojibake.
2021-05-25 14:19:01 +0200 <dminuoso> You know, like the rest of the text world where encoding is not stored as metadata.
2021-05-25 14:19:19 +0200argento(~argent0@168.227.96.51) (Client Quit)
2021-05-25 14:19:20 +0200 <Maxdamantus> On Windows, you encode the filename into WTF-8. On other systems you just copy the bytes.
2021-05-25 14:19:22 +0200oxide(~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-05-25 14:19:57 +0200 <merijn> Maxdamantus: Windows has a specific, required UTF-16 encoding and normalisation for filenames, enforced by the filesystem it is *not* "WTF-8"
2021-05-25 14:19:58 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 14:20:09 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 14:20:10 +0200argento(~argent0@168.227.96.51)
2021-05-25 14:20:16 +0200 <Maxdamantus> merijn: hmm.. Pretty sure it doesn't.
2021-05-25 14:20:23 +0200 <merijn> Yes it does
2021-05-25 14:20:28 +0200 <Maxdamantus> merijn: pretty sure you can put lone surrogates in Windows filenames.
2021-05-25 14:20:41 +0200Maxdamantuswill try it at work tomorrow.
2021-05-25 14:21:28 +0200 <Maxdamantus> If you can't put lone surrogates in, then that would mean some sort of incompatibility with older UCS-2 filenames.
2021-05-25 14:21:28 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 14:21:37 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 14:21:49 +0200 <merijn> Allowing non-sensical unicode is fine, *if* it's a consistent well-specified format
2021-05-25 14:22:01 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 14:22:07 +0200 <merijn> The problem with "just bytes" is that any folder can have names using any random mix of encodings
2021-05-25 14:22:11 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5)
2021-05-25 14:22:17 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 14:22:19 +0200 <merijn> "oh, but you shouldn't use non-ascii names..."
2021-05-25 14:22:40 +0200 <merijn> Well, that's just a giant "fuck you" to any computer user outside of the anglophone world
2021-05-25 14:22:47 +0200 <Maxdamantus> I'm talking about the representation within the program. If the OS doesn't like certain filenames, it can reject those when you try to interact with the OS.
2021-05-25 14:22:53 +0200 <dminuoso> Even ASCII is not enough, because ASCII being a terminal control protocol, you probably want to limit ASCII to printable codepoints..
2021-05-25 14:22:58 +0200 <Maxdamantus> You get that with Linux too.
2021-05-25 14:23:03 +0200 <dminuoso> i.e. how do you print `\BEL` ?
2021-05-25 14:23:07 +0200 <boxscape> tomsmeding I'm guessing it's faster to do "let {lenA = T.length A; lenB = T.length B; len = min lenA lenB} in lenA == lenB && T.takeEnd len a == T.takeEnd len b"
2021-05-25 14:23:13 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 14:23:13 +0200 <merijn> Maxdamantus: Right, and it's one of the things that makes linux awful :p
2021-05-25 14:23:22 +0200 <Maxdamantus> eg, '\0', '/' and ".." and "." are treated specially.
2021-05-25 14:23:34 +0200 <tomsmeding> boxscape: what makes you think (==) on Text wouldn't do the length check first itself?
2021-05-25 14:23:39 +0200 <Maxdamantus> Well, it's better than Windows at least.
2021-05-25 14:23:39 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 14:23:46 +0200 <merijn> Maxdamantus: Hard disagree
2021-05-25 14:23:46 +0200 <boxscape> tomsmeding not thinking it through :)
2021-05-25 14:23:59 +0200 <merijn> Linux engineering is, in many ways, inferior to Windows
2021-05-25 14:24:09 +0200 <boxscape> tomsmeding I also compared the wrong lengths
2021-05-25 14:24:31 +0200 <merijn> Most programmers with "windows is bad" takes just equate "not the same interface as linux, so I can't run my code unchanged" is the same as bad engineering
2021-05-25 14:24:31 +0200 <dminuoso> I too preferred working with the (then) Win32 API over Linux.
2021-05-25 14:24:36 +0200 <boxscape> frankly what I wrote just doesn't make much sense :)
2021-05-25 14:24:37 +0200 <Maxdamantus> merijn: there are lots of extra special cases in Windows, like "nul" and "con".
2021-05-25 14:24:39 +0200 <dminuoso> It was a mostly consistent and well documented API
2021-05-25 14:24:47 +0200 <Maxdamantus> mkdir con
2021-05-25 14:25:20 +0200 <tomsmeding> boxscape: you awakened something in this channel
2021-05-25 14:25:26 +0200 <boxscape> I sure did
2021-05-25 14:25:27 +0200 <merijn> dminuoso: Most of the complaints I've read in "windows is bad" discussions are just "windows is doing something different, for totally reasonable engineering reasons, but I hate it, because it's different"
2021-05-25 14:25:42 +0200 <dminuoso> merijn: Right.
2021-05-25 14:25:48 +0200 <boxscape> tomsmeding that always happens when someone mentions something involving text and merijn is here :P
2021-05-25 14:25:55 +0200 <merijn> And it just annoys me. There's plenty of valid criticism of MS/Windows, but blindly asserting their code is badly engineered isn't one of them
2021-05-25 14:26:19 +0200 <dminuoso> I mean there's a lot of things I hate about Windows and its user interface, but the programmatic interface I found enjoyable to work against ignoring the language itself.
2021-05-25 14:26:23 +0200 <merijn> boxscape: And time when I'm here and...
2021-05-25 14:26:25 +0200 <Maxdamantus> I think it's difficult to argue that Windows filenames are not based on accidental technologies that are now obsolete.
2021-05-25 14:26:26 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Ping timeout: 244 seconds)
2021-05-25 14:26:37 +0200brandonh_(~brandonh@mi-18-24-205.service.infuturo.it) (Quit: brandonh_)
2021-05-25 14:26:40 +0200 <merijn> boxscape: My role is to just rant people out of bad decission making ;)
2021-05-25 14:26:44 +0200 <boxscape> haha
2021-05-25 14:26:53 +0200oxide(~lambda@user/oxide)
2021-05-25 14:27:24 +0200argento(~argent0@168.227.96.51) (Quit: leaving)
2021-05-25 14:27:25 +0200 <Maxdamantus> (particularly, UCS-2 .. and I suspect it was just some architectural mistake that results in "con" and "nul" and other random things being reserved filenames)
2021-05-25 14:27:26 +0200 <dminuoso> merijn: Perhaps there's something to be said about when your product comes out of a single shop with paid engineers and clear design goals. A lot of linux is just decades of frankenstein. :)
2021-05-25 14:27:28 +0200 <merijn> Or at least make sure I can say "I told you so" later
2021-05-25 14:27:45 +0200argento(~argent0@168.227.96.51)
2021-05-25 14:27:50 +0200 <merijn> dminuoso: I wonder how people get this impression linux is "well engineered"
2021-05-25 14:27:56 +0200 <dminuoso> Heh.
2021-05-25 14:28:14 +0200 <merijn> Like, anyone who has dug through linux kernel code *and* other kernel code will know better
2021-05-25 14:28:27 +0200 <dminuoso> It starts with "half the interfaces used in linux" is spread across a multitude of libraries controlled by completely different parties
2021-05-25 14:28:39 +0200 <hpc> most people don't go that far down
2021-05-25 14:28:39 +0200 <merijn> Linux is more the triumph of "if you throw enough engineers and money at a problem, you can make it go away"
2021-05-25 14:28:40 +0200 <dminuoso> So there's not even a clear design, because there was nobody to have any design
2021-05-25 14:28:57 +0200 <Maxdamantus> I wouldn't say that it's "well-engineered", but I think "bytes" has proven to be more universal than "16-bit code units"
2021-05-25 14:29:00 +0200 <hpc> to be fair, being able to read my laptop's thermometers without writing a bunch of C or running a precompiled executable from some random non-https website is a breath of fresh air
2021-05-25 14:29:33 +0200a6a45081-2b83(~aditya@171.76.149.211)
2021-05-25 14:29:33 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 14:29:36 +0200 <Maxdamantus> 16-bit code units is obviously a historical mistake. They used them because they thought 65536 characters were enough.
2021-05-25 14:29:47 +0200 <hpc> it turns out 256 characters were enough :P
2021-05-25 14:29:51 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 14:30:05 +0200 <merijn> Except that it's now UTf-16 and UCS-2 is just a subset of that
2021-05-25 14:30:43 +0200 <Maxdamantus> when it turned out that wasn't the case and they had all this software based on 16-bit code units, they had to make some stupid multi-code-unit encoding, where the original point was to only use a single-code-unit encoding.
2021-05-25 14:30:55 +0200 <Maxdamantus> if you wanted a multi-code-unit encoding, you should have just invented UTF-8.
2021-05-25 14:31:15 +0200xwx(~george@user/george)
2021-05-25 14:31:15 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 14:31:19 +0200 <tomsmeding> Maxdamantus: you and merijn are talking past each other
2021-05-25 14:31:26 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 14:31:29 +0200 <tomsmeding> merijn is saying, having a consistent encoding enforced by the FS is good
2021-05-25 14:31:36 +0200 <tomsmeding> you're saying: windows' choice of encoding is bad
2021-05-25 14:31:49 +0200 <tomsmeding> (I don't know what windows' encoding actually is, so I'm taking your statements on faith)
2021-05-25 14:31:54 +0200 <tomsmeding> you're not disagreeing :p
2021-05-25 14:32:00 +0200 <dminuoso> merijn: In my experience, I found checking how stuff works in the linux kernel is an excercise in emotional control. Poorly written C code, very fractured design (in that you get confronted with so many different styles, often inside a singular module), sometimes extremely poorly documented code
2021-05-25 14:32:04 +0200 <Maxdamantus> I don't think he's saying that. To the extent that he's said that, he is mistaken, because Windows doesn't enforce an encoding.
2021-05-25 14:32:14 +0200hueso(~root@152.170.216.40)
2021-05-25 14:32:40 +0200f33f046c-a02e(~aditya@171.76.149.211)
2021-05-25 14:32:49 +0200 <dminuoso> ret -= 128; /* 30 is enough */
2021-05-25 14:32:52 +0200 <dminuoso> That was my most recent finding.
2021-05-25 14:32:59 +0200 <Maxdamantus> Windows enforces an encoding as much as Linux enforces an encoding. There are some special code units ('/' vs '\\') and some special filenames ("." and ".." in Linux, additionally "con", "nul", etc in Windows).
2021-05-25 14:33:03 +0200 <dminuoso> How stuff like that passes a review is beyond me
2021-05-25 14:33:12 +0200a6a45081-2b83(~aditya@171.76.149.211) (Client Quit)
2021-05-25 14:33:30 +0200 <Maxdamantus> For the most part, Linux just lets you use arbitrary 8-bit code units and Windows lets you use arbitrary 16-bit code units.
2021-05-25 14:34:06 +0200 <Maxdamantus> Windows also has various extra restrictions within the ASCII range.
2021-05-25 14:34:22 +0200 <Maxdamantus> Neither enforces UTF-8 or UTF-16.
2021-05-25 14:34:26 +0200 <dminuoso> And linux strict adherence to backwards compatibility keeps many APIs locked in poor ergonomics and experience. Since its more important that drivers or userland code must never change, its more worthwhile keeping ancient APIs alive.
2021-05-25 14:34:53 +0200 <dminuoso> (Perhaps its admitting that there's a lot of stuff that would never be updated, should linux make backwards breaking changes?)
2021-05-25 14:35:48 +0200 <merijn> I'm still angry about epoll >.>
2021-05-25 14:35:56 +0200 <merijn> And will forever be
2021-05-25 14:35:57 +0200 <dminuoso> heh
2021-05-25 14:36:08 +0200betelgeuse6(~john2gb@94-225-47-8.access.telenet.be)
2021-05-25 14:36:08 +0200 <merijn> But that's probably more a topic for -offtopic :p
2021-05-25 14:36:45 +0200betelgeuse6betelgeuse
2021-05-25 14:37:21 +0200 <Hecate> betelgeuse: I want to read the comics now…
2021-05-25 14:39:27 +0200tonyz(~tonyz@2a02:587:2805:3d8f:34c8:4ae2:aa52:cf49) (Quit: tonyz)
2021-05-25 14:40:48 +0200 <Maxdamantus> Hm, Googled "windows filenames lone surrogates" and the first result happened to be where WTF-8 was invented: https://github.com/rust-lang/rust/issues/12056
2021-05-25 14:42:09 +0200Maxdamantusthinks he recently invented an extension of WTF-8 that encodes UTF-8 errors as well as UTF-16 errors (particularly, for preserving JSON strings sourced from bytes that could be ill-formed UTF-8)
2021-05-25 14:45:12 +0200 <merijn> That's not really WTF-8, though? That's "our API can't represent what the FS API guarantees"
2021-05-25 14:45:42 +0200 <Maxdamantus> https://github.com/rust-lang/rust/issues/12056#issuecomment-55786546
2021-05-25 14:46:33 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-05-25 14:46:56 +0200 <Maxdamantus> UTF-8 can't represent (in an obvious way) what the Windows FS API guarantees.
2021-05-25 14:47:30 +0200Franciman(~francesco@host-80-180-196-134.pool80180.interbusiness.it)
2021-05-25 14:47:36 +0200a6a45081-2b83(~aditya@27.58.166.71)
2021-05-25 14:47:36 +0200f33f046c-a02e(~aditya@171.76.149.211) (Read error: Connection reset by peer)
2021-05-25 14:47:49 +0200pretty_dumm_guy(~trottel@92.223.89.152) (Quit: WeeChat 3.2-dev)
2021-05-25 14:49:52 +0200 <Maxdamantus> (since UTF-8 just represents Unicode scalar values, but Windows filenames are not sequences of Unicode scalar values, but sequences of 16-bit numbers)
2021-05-25 14:49:57 +0200matt7340(~igloo@71.34.249.43)
2021-05-25 14:51:46 +0200qbt(~edun@user/edun) (Ping timeout: 264 seconds)
2021-05-25 14:52:01 +0200matt7340(~igloo@71.34.249.43) (Remote host closed the connection)
2021-05-25 14:52:23 +0200starlord(~starlord@c83-252-164-58.bredband.tele2.se)
2021-05-25 14:52:23 +0200Morrow(~Morrow@147.161.9.201) (Read error: Connection reset by peer)
2021-05-25 14:52:32 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-05-25 14:55:37 +0200ddellacosta(~ddellacos@89.46.62.83) (Ping timeout: 272 seconds)
2021-05-25 14:56:38 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl)
2021-05-25 14:56:56 +0200tsandstr(~tsandstr@cpe-98-5-88-45.buffalo.res.rr.com)
2021-05-25 14:57:34 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-05-25 14:57:55 +0200magthe(~magthe@c83-252-48-230.bredband.tele2.se) (Quit: WeeChat 3.1)
2021-05-25 15:00:43 +0200a6a45081-2b83(~aditya@27.58.166.71) (Quit: Konversation terminated!)
2021-05-25 15:02:16 +0200cheater(~Username@user/cheater) (Quit: (BitchX) Abort Retry Fail)
2021-05-25 15:03:07 +0200ddellacosta(~ddellacos@89.46.62.33)
2021-05-25 15:05:02 +0200 <starlord> Hi! I'm trying to implement a lambda calculus interpreter with a catamorphism using the recursion-schemes package. I've managed to get everything working EXCEPT the Fix combinator. Given I have Covid I might not be the best thinker at the moment but I've spent two full days trying to figure this out and I'm completely stuck. I'd appreciate it super
2021-05-25 15:05:02 +0200 <starlord> much if someone could eyeball my example and try to lead me in the right direction.
2021-05-25 15:05:07 +0200 <starlord> https://gist.github.com/simonvpe/28973b45483c31fd030bfbc023178458
2021-05-25 15:05:31 +0200 <starlord> BTW the fix combinator is confusingly called `Rec` in my example
2021-05-25 15:05:42 +0200v01d4lph4(~v01d4lph4@122.160.65.250) (Read error: Connection reset by peer)
2021-05-25 15:06:10 +0200argento(~argent0@168.227.96.51) (Ping timeout: 264 seconds)
2021-05-25 15:06:15 +0200v01d4lph4(~v01d4lph4@122.160.65.250)
2021-05-25 15:06:47 +0200m7340(~m7340@71.34.249.43)
2021-05-25 15:07:36 +0200m7340(~m7340@71.34.249.43) (Remote host closed the connection)
2021-05-25 15:08:40 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-25 15:10:30 +0200cheater(~Username@user/cheater)
2021-05-25 15:11:27 +0200v01d4lph4(~v01d4lph4@122.160.65.250) (Ping timeout: 272 seconds)
2021-05-25 15:16:39 +0200stelleg(~george@c-69-254-151-147.hsd1.nm.comcast.net)
2021-05-25 15:16:40 +0200lbseale_(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-25 15:16:53 +0200drewr(~drew@2601:483:4100:4112:d91:d97:abf8:56ec)
2021-05-25 15:16:56 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-25 15:17:13 +0200tonyz(~tonyz@2a02:587:2805:3d8f:420f:42e1:ccdd:150f)
2021-05-25 15:17:20 +0200 <boxscape> Wouldn't it make sense to provide a MonadFail (Either String) instance in base?
2021-05-25 15:17:48 +0200itai(~itai@2a0d:6fc0:7bf:3a00:41db:b036:af30:4662)
2021-05-25 15:18:10 +0200 <merijn> That'll give some super confusing type errors, though
2021-05-25 15:18:12 +0200drewr(~drew@2601:483:4100:4112:d91:d97:abf8:56ec) (Remote host closed the connection)
2021-05-25 15:18:30 +0200alx741(~alx741@186.178.108.78)
2021-05-25 15:18:30 +0200 <merijn> When you accidentally use a partial pattern in some other Either do block
2021-05-25 15:18:44 +0200drewr(~drew@2601:483:4100:4112:d91:d97:abf8:56ec)
2021-05-25 15:19:20 +0200itai(~itai@2a0d:6fc0:7bf:3a00:41db:b036:af30:4662) (Remote host closed the connection)
2021-05-25 15:19:21 +0200gehmehgeh(~user@user/gehmehgeh)
2021-05-25 15:19:35 +0200drewr(~drew@2601:483:4100:4112:d91:d97:abf8:56ec) (Remote host closed the connection)
2021-05-25 15:19:58 +0200lbseale__(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 264 seconds)
2021-05-25 15:19:59 +0200drewr(~drew@c-67-187-92-139.hsd1.tn.comcast.net)
2021-05-25 15:20:22 +0200m_shiraeeshi(~shiraeesh@46.34.207.100)
2021-05-25 15:20:35 +0200samebchase1(~samebchas@51.15.68.182) (The Lounge - https://thelounge.chat)
2021-05-25 15:21:29 +0200toms(~foobar@pogostick.net) ()
2021-05-25 15:21:41 +0200reda(~reda@user/reda)
2021-05-25 15:21:41 +0200lbseale__(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-25 15:24:46 +0200lbseale_(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 264 seconds)
2021-05-25 15:24:50 +0200samebchase(~samebchas@51.15.68.182)
2021-05-25 15:26:30 +0200dmwit_dmwit
2021-05-25 15:27:09 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-25 15:28:27 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds)
2021-05-25 15:29:31 +0200drewr(~drew@c-67-187-92-139.hsd1.tn.comcast.net) (Quit: ERC (IRC client for Emacs 27.1))
2021-05-25 15:31:45 +0200m7340(~m7340@71.34.249.43)
2021-05-25 15:32:58 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5)
2021-05-25 15:33:51 +0200m7340(~m7340@71.34.249.43) (Remote host closed the connection)
2021-05-25 15:34:27 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 15:34:49 +0200argento(~argent0@168.227.96.51)
2021-05-25 15:35:39 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com)
2021-05-25 15:36:13 +0200 <boxscape> merijn yeah that's fair
2021-05-25 15:36:44 +0200brandonh(~brandonh@mi-18-24-205.service.infuturo.it)
2021-05-25 15:37:58 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Ping timeout: 264 seconds)
2021-05-25 15:38:03 +0200sondre(~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 272 seconds)
2021-05-25 15:39:10 +0200 <boxscape> although then again with the couple tests I did just know error messages don't seem to change but there could well be more complex examples where they do
2021-05-25 15:41:00 +0200omen_(~omen@user/omen)
2021-05-25 15:41:17 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 265 seconds)
2021-05-25 15:42:17 +0200sondre(~sondrelun@eduroam-193-157-179-99.wlan.uio.no)
2021-05-25 15:42:17 +0200omen(~omen@user/omen) (Read error: Connection reset by peer)
2021-05-25 15:42:46 +0200trent(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 264 seconds)
2021-05-25 15:42:57 +0200 <edmundnoble> I think the only error you can expect is actually that there is no MonadFail instance for `Either e`
2021-05-25 15:43:34 +0200 <boxscape> yeah that's what I've been getting
2021-05-25 15:43:43 +0200 <boxscape> s/know/now
2021-05-25 15:43:44 +0200 <edmundnoble> However, you also cannot expect that `e` will be inferred to be `String` just because you used `fail` in the do-block
2021-05-25 15:43:56 +0200 <edmundnoble> That may be practically annoying
2021-05-25 15:44:18 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 15:44:53 +0200zan(~zan@193.32.127.216)
2021-05-25 15:45:08 +0200 <edmundnoble> To change both of those things, you could write it as `instance (e ~ String) => MonadFail (Either e)`, which would disallow writing `MonadFail (Either e)` for any other types `e`. I think that's probably worse because some people likely have such instances
2021-05-25 15:45:20 +0200 <boxscape> yeah
2021-05-25 15:49:41 +0200tonyz(~tonyz@2a02:587:2805:3d8f:420f:42e1:ccdd:150f) (Quit: tonyz)
2021-05-25 15:50:00 +0200qbt(~edun@user/edun)
2021-05-25 15:52:22 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-05-25 15:53:57 +0200slice(~slice@user/slice)
2021-05-25 15:56:54 +0200zan(~zan@193.32.127.216) (Leaving)
2021-05-25 16:08:42 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5)
2021-05-25 16:09:55 +0200MidAutumnMoon(~MidAutumn@user/midautumnmoon) (Ping timeout: 272 seconds)
2021-05-25 16:09:55 +0200ddellaco_(~ddellacos@86.106.121.100)
2021-05-25 16:11:19 +0200ddellacosta(~ddellacos@89.46.62.33) (Ping timeout: 244 seconds)
2021-05-25 16:12:08 +0200hueso(~root@152.170.216.40) (Read error: Connection reset by peer)
2021-05-25 16:13:12 +0200ddellacosta(~ddellacos@86.106.121.91)
2021-05-25 16:13:24 +0200hueso(~root@152.170.216.40)
2021-05-25 16:13:30 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Ping timeout: 264 seconds)
2021-05-25 16:15:55 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-25 16:16:43 +0200azeem(~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it)
2021-05-25 16:16:58 +0200ddellaco_(~ddellacos@86.106.121.100) (Ping timeout: 264 seconds)
2021-05-25 16:18:12 +0200azeem(~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Client Quit)
2021-05-25 16:20:09 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-25 16:23:52 +0200MidAutumnMoon(~MidAutumn@user/midautumnmoon)
2021-05-25 16:24:28 +0200Lord_of_Life_(~Lord@46.217.219.90) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2021-05-25 16:24:44 +0200kewa(~kewa@5.138.211.57)
2021-05-25 16:25:26 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-05-25 16:26:42 +0200tsandstr(~tsandstr@cpe-98-5-88-45.buffalo.res.rr.com) (Ping timeout: 264 seconds)
2021-05-25 16:28:48 +0200Gurkenglas_(~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de)
2021-05-25 16:29:53 +0200 <tdammers> IMO not having a MonadFail instance for Either is by far the nicer solution
2021-05-25 16:30:16 +0200 <tdammers> if you really feel the need to have one for Either String, then chances are you should newtype that anyway to give it more semantic oomph
2021-05-25 16:30:29 +0200 <dminuoso> Woah. Spend nearly an hour debugging mysterious type mismatching errors for a distant missing Generic instance.
2021-05-25 16:30:36 +0200 <tdammers> and if you're going to do that anyway, might as well spell out the 2-line instance
2021-05-25 16:30:37 +0200dminuososighs
2021-05-25 16:31:56 +0200omen_(~omen@user/omen) (Remote host closed the connection)
2021-05-25 16:32:21 +0200omen_(~omen@user/omen)
2021-05-25 16:34:38 +0200 <dminuoso> How can GHC come up with a mismatching type error if a Generic instance is missing?
2021-05-25 16:35:12 +0200 <dminuoso> Is there an obvious way to provoke this? Asking because Im quite baffled
2021-05-25 16:39:32 +0200manicennui(uid349235@id-349235.tinside.irccloud.com)
2021-05-25 16:41:06 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-05-25 16:41:48 +0200atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net)
2021-05-25 16:47:38 +0200Deide(~Deide@wire.desu.ga)
2021-05-25 16:47:38 +0200Deide(~Deide@wire.desu.ga) (Changing host)
2021-05-25 16:47:38 +0200Deide(~Deide@user/deide)
2021-05-25 16:48:03 +0200ddellaco_(~ddellacos@89.46.62.22)
2021-05-25 16:49:50 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-05-25 16:50:42 +0200ddellacosta(~ddellacos@86.106.121.91) (Ping timeout: 264 seconds)
2021-05-25 16:51:10 +0200xwx(~george@user/george) (Ping timeout: 264 seconds)
2021-05-25 16:51:23 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-25 16:53:13 +0200petrus_(~petrus@catv-86-101-33-147.catv.broadband.hu) (WeeChat 3.1)
2021-05-25 16:53:30 +0200xwx(~george@user/george)
2021-05-25 16:53:56 +0200 <lyxia> it can happen because of an equality with a stuck application of the Rep type family
2021-05-25 16:54:00 +0200horex539(~horex539@2a02:a03f:6aa5:a00:3c1a:90fc:fb6d:766e)
2021-05-25 16:57:46 +0200samhh(~samhh@90.252.103.244) (Ping timeout: 264 seconds)
2021-05-25 17:03:14 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-25 17:04:36 +0200 <raehik> I've come across some code where `pure` is used in a do block, in a StateT IO monad. Is there any difference between pure and return in cases like this?
2021-05-25 17:04:45 +0200 <boxscape> no
2021-05-25 17:05:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-05-25 17:05:05 +0200 <boxscape> I think even with -XApplicativeDo, return and pure are the same
2021-05-25 17:05:14 +0200 <boxscape> in that context
2021-05-25 17:05:52 +0200 <raehik> my experience agrees but I was wondering how Applicative gets "upgraded" to Monad
2021-05-25 17:06:29 +0200 <boxscape> for common types, pure == return and <*> == ap
2021-05-25 17:07:27 +0200 <boxscape> raehik is the "upgraded" question about how they are related or how the types work out, since you have a Monad constraint but are using Applicative methods?
2021-05-25 17:07:39 +0200 <boxscape> s/related/related in terms of semantics
2021-05-25 17:08:01 +0200 <raehik> ah! maybe I was misunderstanding the context
2021-05-25 17:08:19 +0200 <raehik> I was thinking "using pure makes it an Applicative, but it ends in a Monad"
2021-05-25 17:08:45 +0200 <raehik> But being in a Monad means we can use Applicatives. I tripped up in my head a bit
2021-05-25 17:08:54 +0200 <boxscape> yeah since Applicative is a superclass of Monad, you can always tell ghc that something has a Monad constraint instead of Applicative
2021-05-25 17:08:58 +0200 <raehik> boxscape: thanks for writing it out like that lol
2021-05-25 17:09:04 +0200 <boxscape> % :t pure :: Monad f => a -> f a
2021-05-25 17:09:04 +0200 <yahb> boxscape: Monad f => a -> f a
2021-05-25 17:09:07 +0200 <boxscape> np
2021-05-25 17:09:11 +0200 <raehik> right right right
2021-05-25 17:11:27 +0200ddellacosta(~ddellacos@86.106.121.79)
2021-05-25 17:14:21 +0200 <boxscape> So, I have a Map with Text keys, and I want the lookup to match whenever I pass in something of which the key is a suffix. I think I can make this work with a custom Ord instance, but since Eq is commutative, that means it must also match if the passed in value is a suffix of the key. I don't think that should be a problem for my use case, but is
2021-05-25 17:14:21 +0200 <boxscape> there a neat way to get around this? I'm not going to be able to use packages here that ghc doesn't ship with.
2021-05-25 17:14:34 +0200ddellaco_(~ddellacos@89.46.62.22) (Ping timeout: 264 seconds)
2021-05-25 17:14:35 +0200 <boxscape> s/Eq/(==)
2021-05-25 17:14:50 +0200 <boxscape> s/commutative/symmetric, I guess
2021-05-25 17:15:59 +0200 <boxscape> feels Trie-y but not sure it's worth implementing that when a Map is likely to do the job
2021-05-25 17:16:50 +0200 <c_wraith> Map is really weird there. Like, it works, but it sure isn't what someone would expect it to do
2021-05-25 17:17:00 +0200 <boxscape> hmm
2021-05-25 17:17:06 +0200 <boxscape> that is true
2021-05-25 17:18:00 +0200 <opqdonut> boxscape: one "neat" way is to reverse the strings, and then use Data.Map.split
2021-05-25 17:18:38 +0200horex539(~horex539@2a02:a03f:6aa5:a00:3c1a:90fc:fb6d:766e) (Remote host closed the connection)
2021-05-25 17:19:01 +0200 <opqdonut> > Data.Map.split "ab" (Data.Map.fromList [("aa",1),("aaa",2),("aba",3),("abc",4)])
2021-05-25 17:19:02 +0200 <lambdabot> (fromList [("aa",1),("aaa",2)],fromList [("aba",3),("abc",4)])
2021-05-25 17:19:10 +0200 <c_wraith> couldn't you use lookupLE or lookupGE instead of split?
2021-05-25 17:19:58 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds)
2021-05-25 17:20:09 +0200 <boxscape> % Data.Map.lookupGE "ab" (Data.Map.fromList [("aa",1),("aaa",2),("aba",3),("abc",4)])
2021-05-25 17:20:09 +0200 <yahb> boxscape: Just ("aba",3)
2021-05-25 17:20:11 +0200 <opqdonut> c_wraith: those don't exist in my Data.Map, but sure
2021-05-25 17:20:23 +0200 <geekosaur> ?
2021-05-25 17:20:28 +0200 <opqdonut> oh I was browsing ancient docs
2021-05-25 17:20:28 +0200 <boxscape> that seems like a good idea, thanks
2021-05-25 17:20:44 +0200 <c_wraith> Yeah, I was sure those functions had been around for a while
2021-05-25 17:21:10 +0200 <boxscape> I guess I'm going to need to make sure afterwards that it actually is a suffix
2021-05-25 17:21:14 +0200 <opqdonut> yeah
2021-05-25 17:24:53 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-25 17:28:43 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 17:29:39 +0200 <boxscape> hm, actually it's not quite that because this checks if the lookup key is a suffix of the Map key, rather than vice versa. But it should lead me towards the right solution, anyway
2021-05-25 17:30:00 +0200Hobbyboy(Hobbyboy@hobbyboy.co.uk)
2021-05-25 17:33:01 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:d4bd:911b:bb62:6168) (Quit: WeeChat 2.8)
2021-05-25 17:34:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 17:39:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-05-25 17:39:26 +0200Franciman(~francesco@host-80-180-196-134.pool80180.interbusiness.it) (Quit: Leaving)
2021-05-25 17:42:13 +0200qbt(~edun@user/edun) (Quit: WeeChat 3.1)
2021-05-25 17:44:58 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 17:45:20 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5)
2021-05-25 17:46:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 17:50:01 +0200 <xerox> anybody knows what "Paths_strip" is here? https://github.com/hspec/hspec-example/blob/master/strip.cabal#L40 can't find it in the cabal docs directly, only a sideways mention pops up in direct search https://cabal.readthedocs.io/en/3.4/search.html?q=Paths_&check_keywords=yes&area=default
2021-05-25 17:50:47 +0200 <c_wraith> that's.. weird. why is it in other-modules?
2021-05-25 17:51:10 +0200 <xerox> both in the test-suite and the library to boot
2021-05-25 17:51:15 +0200chddr(~Thunderbi@91.226.34.182) (Ping timeout: 272 seconds)
2021-05-25 17:51:26 +0200 <c_wraith> the Paths_* modules are created by cabal to include installation locations of data files
2021-05-25 17:51:41 +0200 <c_wraith> Paths_strip is going to have locations for the strip package
2021-05-25 17:51:51 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds)
2021-05-25 17:52:27 +0200 <c_wraith> but... including it in the cabal file makes no sense because it should be generated on installation, not packaged up as part of the source
2021-05-25 17:53:03 +0200 <xerox> I think it's a way to fix the problem of the spec files importing the relative files they are the spec for in an automated fashion, except it doesn't quite work for me so I wanted to dig a bit, coming up empty tho
2021-05-25 17:53:20 +0200 <c_wraith> Oh, maybe putting it in other-modules is a weird attempt to prevent people from using it?
2021-05-25 17:53:41 +0200 <c_wraith> I don't know *why* you would do that, but it probably would prevent people from using it
2021-05-25 17:53:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-05-25 17:54:26 +0200 <c_wraith> oh, that file is generated by hpack, so hpack is going to do that with everything it touches. lovely.
2021-05-25 17:54:55 +0200 <c_wraith> summary: don't use hpack
2021-05-25 17:55:05 +0200 <xerox> ah that's different
2021-05-25 17:55:07 +0200 <monochrom> :)
2021-05-25 17:55:21 +0200 <xerox> good catch I thought it was a hand written cabal file like mine
2021-05-25 17:56:21 +0200notzmvloskami
2021-05-25 17:56:30 +0200 <c_wraith> maybe hpack is doing that because there are no other-files included, so the Paths module should be empty anyway?
2021-05-25 17:56:34 +0200 <c_wraith> It's just bizarre
2021-05-25 17:56:43 +0200loskaminotzmv
2021-05-25 17:56:53 +0200 <Clint> i'm pretty sure cabal yelled at me to put a Paths_ module in autogen-modules before
2021-05-25 17:58:23 +0200 <c_wraith> see, that's a place that makes sense. other-modules does not.
2021-05-25 17:58:43 +0200 <c_wraith> other-modules just exists to prevent modules from being imported
2021-05-25 17:59:12 +0200 <monochrom> xerox: https://cabal.readthedocs.io/en/3.4/cabal-package.html?highlight=getsysconfdir#accessing-data-file… explains Paths_*
2021-05-25 18:00:20 +0200Tomurb(~tom@158.194.92.121) (Ping timeout: 244 seconds)
2021-05-25 18:00:28 +0200 <c_wraith> Except within the package itself, I suppose. Ok, I understand what hpack was trying to do, but it did it weirdly.
2021-05-25 18:00:36 +0200 <monochrom> Ah, it is also supposed to be listed under other-modules and autogen-modules
2021-05-25 18:00:51 +0200lbseale__(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 264 seconds)
2021-05-25 18:01:27 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 264 seconds)
2021-05-25 18:01:35 +0200 <c_wraith> yeah, looks like autogen-modules prevents it from being included in the sdist
2021-05-25 18:01:35 +0200 <monochrom> Actually I don't know why it "must" be in other-modules. Then again in most use cases it is an implementation detail you don't normally export.
2021-05-25 18:01:50 +0200nerdy(znc@152.67.162.71) (Changing host)
2021-05-25 18:01:50 +0200nerdy(znc@user/nerdypepper)
2021-05-25 18:01:55 +0200 <trueboxguy> I use paths a lot, but I always get haddock complaining about Paths_* not being documented
2021-05-25 18:02:06 +0200brandonh(~brandonh@mi-18-24-205.service.infuturo.it) (Read error: Connection reset by peer)
2021-05-25 18:02:18 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-25 18:02:28 +0200 <monochrom> It is not supposed to be included in sdist though. Its content is supposed to change at build time.
2021-05-25 18:02:29 +0200 <xerox> so the Paths_<name> under library is instructing cabal to generate / expose that particular module, whereas the one under test-suite is making it possible for the test suite to access it?
2021-05-25 18:02:32 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Remote host closed the connection)
2021-05-25 18:03:21 +0200 <c_wraith> I don't understand why it would be in other-modules if you expect it to be used. other-modules is for things other packages can't import.
2021-05-25 18:03:47 +0200 <c_wraith> I guess the idea is you don't expect any other package to use your data files
2021-05-25 18:03:49 +0200ddellaco_(~ddellacos@89.46.62.112)
2021-05-25 18:04:00 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5)
2021-05-25 18:04:53 +0200 <c_wraith> but once again, the strip package has no data-files section, so it's a lot of dubious ceremony for nothing
2021-05-25 18:06:05 +0200 <xerox> oh it's *just* data files, it has nothing to do with modules
2021-05-25 18:06:23 +0200unyu(~pyon@user/pyon) (Quit: WeeChat 3.1)
2021-05-25 18:06:39 +0200brandonh(~brandonh@2a04:3542:1000:910:905f:f9ff:fe67:4d32)
2021-05-25 18:06:50 +0200ddellacosta(~ddellacos@86.106.121.79) (Ping timeout: 252 seconds)
2021-05-25 18:07:17 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 18:07:24 +0200nschoe(~quassel@178.251.84.79)
2021-05-25 18:09:11 +0200cdsmithus(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Ping timeout: 265 seconds)
2021-05-25 18:09:17 +0200cheater1__(~Username@user/cheater)
2021-05-25 18:09:25 +0200cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2021-05-25 18:09:28 +0200cheater1__cheater
2021-05-25 18:11:24 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-25 18:11:42 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 244 seconds)
2021-05-25 18:12:38 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-05-25 18:15:10 +0200kewa(~kewa@5.138.211.57) (Ping timeout: 264 seconds)
2021-05-25 18:16:37 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Remote host closed the connection)
2021-05-25 18:17:04 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5)
2021-05-25 18:18:34 +0200favonia(~favonia@user/favonia)
2021-05-25 18:18:46 +0200cheater(~Username@user/cheater) (Ping timeout: 264 seconds)
2021-05-25 18:18:48 +0200cheater1__(~Username@user/cheater)
2021-05-25 18:18:50 +0200cheater1__cheater
2021-05-25 18:21:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 18:22:40 +0200fiddlerwoaroof_fiddlerwoaroof
2021-05-25 18:23:35 +0200cheater(~Username@user/cheater) (Ping timeout: 244 seconds)
2021-05-25 18:26:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-05-25 18:26:41 +0200cheater(~Username@user/cheater)
2021-05-25 18:27:31 +0200horex539(~horex539@2a02:a03f:6aa5:a00:a0ab:6427:bbfe:e121)
2021-05-25 18:28:56 +0200pretty_dumm_guy(~trottel@185.244.212.222)
2021-05-25 18:29:10 +0200boxscape(~boxscape@user/boxscape) (Quit: Connection closed)
2021-05-25 18:34:08 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 18:34:56 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 18:35:12 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 18:36:12 +0200cnr(~cnr@user/cnr)
2021-05-25 18:37:08 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 18:37:17 +0200horex539(~horex539@2a02:a03f:6aa5:a00:a0ab:6427:bbfe:e121) (Ping timeout: 272 seconds)
2021-05-25 18:37:23 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: No route to host)
2021-05-25 18:38:13 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:caa:2c0d:7263:2825)
2021-05-25 18:39:35 +0200afnan(~textual@104.153.228.129)
2021-05-25 18:40:51 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 18:40:57 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 18:42:02 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 18:42:09 +0200cdsmithus(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net)
2021-05-25 18:42:42 +0200favonia(~favonia@user/favonia) (Ping timeout: 244 seconds)
2021-05-25 18:43:37 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.1)
2021-05-25 18:43:37 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 18:44:00 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2021-05-25 18:44:04 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 18:44:34 +0200atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 264 seconds)
2021-05-25 18:44:46 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 18:45:06 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 18:45:18 +0200space-shell(~space-she@88.98.247.38) (Quit: Connection closed)
2021-05-25 18:45:31 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 272 seconds)
2021-05-25 18:45:44 +0200favonia(~favonia@user/favonia)
2021-05-25 18:46:08 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-05-25 18:46:08 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-25 18:47:27 +0200ThatsWhatIDo(~whateverm@pool-108-54-183-148.nycmny.fios.verizon.net)
2021-05-25 18:49:43 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 18:49:49 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: No route to host)
2021-05-25 18:50:28 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 18:50:34 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 18:51:15 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 18:51:22 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 18:52:32 +0200acowley_acowley
2021-05-25 18:53:43 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Client Quit)
2021-05-25 18:54:36 +0200ixlun(~user@195.213.99.113) (Remote host closed the connection)
2021-05-25 18:57:07 +0200nschoe(~quassel@178.251.84.79) (Ping timeout: 272 seconds)
2021-05-25 18:57:34 +0200Guest11(~textual@146.212.240.255)
2021-05-25 18:57:41 +0200Franciman(~francesco@host-80-180-196-134.pool80180.interbusiness.it)
2021-05-25 18:58:22 +0200Guest11klemzi32
2021-05-25 18:58:23 +0200oxide(~lambda@user/oxide) (Read error: Connection reset by peer)
2021-05-25 18:59:36 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 18:59:58 +0200 <klemzi32> hi! i am looking for a place to ask beginner haskell questions. is this the right place?
2021-05-25 19:00:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 19:00:50 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 19:00:55 +0200 <monochrom> Yes!
2021-05-25 19:00:57 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 19:01:05 +0200 <joel135> Yes, or /join #haskell-beginners if you prefer, your choice
2021-05-25 19:01:23 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 19:01:49 +0200oxide(~lambda@user/oxide)
2021-05-25 19:02:03 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 19:02:41 +0200 <klemzi32> great! i'll join beginners chat as well.
2021-05-25 19:03:10 +0200favonia(~favonia@user/favonia) (Ping timeout: 264 seconds)
2021-05-25 19:03:39 +0200 <klemzi32> i am following the haskell book and struggling a bit with Applicative. here is my code for the specific example https://paste.tomsmeding.com/vRuyORpg
2021-05-25 19:04:23 +0200favonia(~favonia@user/favonia)
2021-05-25 19:05:28 +0200rbutler(uid5425@id-5425.highgate.irccloud.com)
2021-05-25 19:05:38 +0200 <klemzi32> I have updated the link with the error and code https://paste.tomsmeding.com/ZxlTBM8e
2021-05-25 19:06:18 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-25 19:06:19 +0200 <klemzi32> fmap works fine, also <> works, however i can't figure out why the <*> does not work
2021-05-25 19:06:56 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 19:07:34 +0200 <[exa]> klemzi32: you are combining, by types, `(Two (x->y) (z->w))` with `(Two a b)`
2021-05-25 19:08:16 +0200 <[exa]> klemzi32: instead, you should combine `Two a (b->c)` with `Two a b` to produce `Two a c`
2021-05-25 19:08:44 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: No route to host)
2021-05-25 19:08:51 +0200 <joel135> i.e. f1 is not a function!
2021-05-25 19:08:51 +0200nan`__(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 19:09:27 +0200nan`_(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: No route to host)
2021-05-25 19:10:16 +0200 <[exa]> klemzi32: semi-correct visual aid to get it right: the "Functor part" of the type, which is the whole (Two a), never changes. Imagine it as the "wrap", which stays the same. Only what's "inside" of it (ie. `b`) changes.
2021-05-25 19:11:35 +0200 <[exa]> for correct implementation just follow the types:
2021-05-25 19:11:36 +0200 <klemzi32> got it, i think it clicked now. basically the same as fmap where only b gets modified, however a stays the same. here it's the difference that the function is also wrapped in a structure
2021-05-25 19:11:49 +0200 <[exa]> yes
2021-05-25 19:12:03 +0200ddellacosta(~ddellacos@89.46.62.38)
2021-05-25 19:12:07 +0200eal(~eal@customer-46-39-107-10.stosn.net) (Quit: ZNC - http://znc.in)
2021-05-25 19:13:10 +0200 <[exa]> the obvious problem is what to do with two incoming a's when you only need to produce one, there are at least 4 sensible ways to do that. I recommend using one of the typeclasses you already have there.
2021-05-25 19:13:19 +0200 <klemzi32> so my implementation is wrong? or I am just passing wrong params?
2021-05-25 19:13:22 +0200ddellaco_(~ddellacos@89.46.62.112) (Ping timeout: 264 seconds)
2021-05-25 19:13:30 +0200nan`__(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds)
2021-05-25 19:13:51 +0200 <klemzi32> i checked on github the solutions and mine looks the same
2021-05-25 19:13:59 +0200 <monochrom> Passing wrong params.
2021-05-25 19:14:00 +0200 <[exa]> I might got a bit confused by the f1 f2, looked like functions
2021-05-25 19:14:10 +0200 <[exa]> actualy you're using f1 as the function
2021-05-25 19:14:20 +0200 <[exa]> s/function/monoid/
2021-05-25 19:14:20 +0200Tomurb(~tom@92-17.net.optinet.cz)
2021-05-25 19:14:22 +0200 <[exa]> which is right
2021-05-25 19:15:37 +0200boxscape(~boxscape@user/boxscape)
2021-05-25 19:16:41 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 19:16:45 +0200ddellacosta(~ddellacos@89.46.62.38) (Ping timeout: 272 seconds)
2021-05-25 19:18:17 +0200ddellacosta(~ddellacos@89.46.62.125)
2021-05-25 19:18:18 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-05-25 19:18:57 +0200 <[exa]> klemzi32: ok I finally found the link with the actual error. the first thing in Two needs to be a Monoid for <*> to work
2021-05-25 19:19:06 +0200 <[exa]> in your case, `4` is not a monoid
2021-05-25 19:19:13 +0200 <klemzi32> thanks! now i have figured it out. it works with for example Two "ab" (+5) <*> Two "cd" 10. it didn't work with Two 5 (+5) <*> Two 4 10 because 4<>5 does not work, it's not a monoid
2021-05-25 19:19:17 +0200 <[exa]> (but e.g. `Sum 4` is)
2021-05-25 19:19:25 +0200 <monochrom> Yes that's a better example.
2021-05-25 19:22:09 +0200 <klemzi32> thanks for the help! now it clicked
2021-05-25 19:22:15 +0200cheater1__(~Username@user/cheater)
2021-05-25 19:22:15 +0200cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2021-05-25 19:22:17 +0200cheater1__cheater
2021-05-25 19:23:28 +0200brandonh(~brandonh@2a04:3542:1000:910:905f:f9ff:fe67:4d32) (Quit: brandonh)
2021-05-25 19:27:46 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl)
2021-05-25 19:28:27 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 19:28:48 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 19:30:40 +0200agumonkey(~user@88.160.31.174)
2021-05-25 19:31:03 +0200eal(~eal@customer-46-39-107-10.stosn.net)
2021-05-25 19:34:03 +0200agumonkey(~user@88.160.31.174) (Remote host closed the connection)
2021-05-25 19:34:17 +0200argento(~argent0@168.227.96.51) (Ping timeout: 252 seconds)
2021-05-25 19:35:45 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 272 seconds)
2021-05-25 19:36:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-25 19:37:36 +0200pounce(~pounce@user/pounce) (Changing host)
2021-05-25 19:37:36 +0200pounce(~pounce@facebook/engineering/pounce)
2021-05-25 19:39:37 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-25 19:39:51 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 19:47:48 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-25 19:48:29 +0200TimWolla(~timwolla@chrono.xqk7.com) (Quit: Bye)
2021-05-25 19:48:32 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-25 19:48:45 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl)
2021-05-25 19:52:13 +0200TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667)
2021-05-25 19:54:48 +0200um(ak84ku0ger@user/um)
2021-05-25 19:55:11 +0200um(ak84ku0ger@user/um) ()
2021-05-25 19:55:14 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-25 19:55:38 +0200Techcable(~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
2021-05-25 19:56:21 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-25 19:56:51 +0200Techcable(~Techcable@168.235.93.147)
2021-05-25 19:57:07 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-25 19:59:11 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds)
2021-05-25 19:59:33 +0200allbery_bgeekosaur
2021-05-25 20:03:26 +0200pretty_dumm_guy(~trottel@185.244.212.222) (Ping timeout: 252 seconds)
2021-05-25 20:05:36 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-25 20:07:22 +0200xwx(~george@user/george) (Ping timeout: 264 seconds)
2021-05-25 20:07:28 +0200samhh(~samhh@90.252.103.244)
2021-05-25 20:07:36 +0200alx741(~alx741@186.178.108.78) (Quit: alx741)
2021-05-25 20:07:50 +0200sondre(~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 252 seconds)
2021-05-25 20:11:16 +0200 <dsal> > 4 <> 5 :: Sum Int
2021-05-25 20:11:17 +0200 <lambdabot> Sum {getSum = 9}
2021-05-25 20:11:55 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Remote host closed the connection)
2021-05-25 20:13:33 +0200xwx(~george@user/george)
2021-05-25 20:14:35 +0200 <boxscape> > 4 * 5 :: Sum Int
2021-05-25 20:14:36 +0200 <lambdabot> Sum {getSum = 20}
2021-05-25 20:14:43 +0200 <boxscape> didn't actually realize it had a Num instance
2021-05-25 20:16:21 +0200 <dsal> > fold [1, 2, 3, 4, 5] :: Sum Int
2021-05-25 20:16:22 +0200 <lambdabot> Sum {getSum = 15}
2021-05-25 20:16:23 +0200 <dsal> > fold [1, 2, 3, 4, 5] :: Product Int
2021-05-25 20:16:25 +0200 <lambdabot> Product {getProduct = 120}
2021-05-25 20:16:28 +0200 <dsal> It's kind of helpful sometimes.
2021-05-25 20:16:29 +0200ikex(~ash@user/ikex)
2021-05-25 20:17:16 +0200ryantrinkle(~ryan@24.229.199.25.res-cmts.sm.ptd.net) (Ping timeout: 265 seconds)
2021-05-25 20:17:56 +0200ryantrinkle(~ryan@24.229.199.25.res-cmts.sm.ptd.net)
2021-05-25 20:21:00 +0200 <boxscape> no Enum instance though :(
2021-05-25 20:21:08 +0200 <boxscape> > getProduct $ fold [1..5]
2021-05-25 20:21:09 +0200 <lambdabot> error:
2021-05-25 20:21:09 +0200 <lambdabot> • No instance for (Enum (Product Integer))
2021-05-25 20:21:09 +0200 <lambdabot> arising from a use of ‘e_115’
2021-05-25 20:21:34 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5)
2021-05-25 20:22:22 +0200 <boxscape> at least you can do
2021-05-25 20:22:23 +0200 <boxscape> > ala Product foldMap [1..5]
2021-05-25 20:22:24 +0200 <lambdabot> 120
2021-05-25 20:24:11 +0200 <tomsmeding> :t ala
2021-05-25 20:24:12 +0200 <lambdabot> (Functor f, Rewrapped s t, Rewrapped t s) => (Unwrapped s -> s) -> ((Unwrapped t -> t) -> f s) -> f (Unwrapped s)
2021-05-25 20:24:15 +0200samhh(~samhh@90.252.103.244) (Ping timeout: 264 seconds)
2021-05-25 20:25:47 +0200ikex(~ash@user/ikex) (Ping timeout: 272 seconds)
2021-05-25 20:26:04 +0200Franciman(~francesco@host-80-180-196-134.pool80180.interbusiness.it) (Quit: Leaving)
2021-05-25 20:28:17 +0200ru0mad(~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8)
2021-05-25 20:28:28 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-05-25 20:29:00 +0200argento(~argent0@168.227.96.51)
2021-05-25 20:29:04 +0200 <trueboxguy> Haha
2021-05-25 20:29:47 +0200ru0madruomad
2021-05-25 20:31:34 +0200 <tomsmeding> that type is so deceiving
2021-05-25 20:32:21 +0200 <tomsmeding> 1. 'class Wrapped s => Rewrapped s r' has no methods
2021-05-25 20:33:04 +0200 <tomsmeding> and 'Wrapped s' is just an isomorphism between s and Unwrapped s, where Unwrapped (Product s) = s
2021-05-25 20:33:27 +0200alx741(~alx741@186.178.108.78)
2021-05-25 20:33:32 +0200 <tomsmeding> 2. the (Unwrapped s -> s) argument is ignored; instead it uses the isomorphism from the instance
2021-05-25 20:34:17 +0200jiribenes_(~jiribenes@rosa.jiribenes.com)
2021-05-25 20:34:33 +0200jiribenes(~jiribenes@rosa.jiribenes.com) (Ping timeout: 272 seconds)
2021-05-25 20:36:36 +0200fart(~fart@user/actor)
2021-05-25 20:38:10 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-25 20:38:42 +0200ruomad(~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8) (Ping timeout: 264 seconds)
2021-05-25 20:40:21 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 272 seconds)
2021-05-25 20:40:31 +0200atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net)
2021-05-25 20:42:47 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl)
2021-05-25 20:43:18 +0200 <edwardk> tomsmeding: we use (#.) and (.#) all over lens too for much the same reason
2021-05-25 20:43:22 +0200slice(~slice@user/slice) (Ping timeout: 264 seconds)
2021-05-25 20:43:45 +0200 <edwardk> except there we get to exploit its just a coercion
2021-05-25 20:43:45 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-25 20:45:10 +0200atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 264 seconds)
2021-05-25 20:45:13 +0200Tomurb(~tom@92-17.net.optinet.cz) (Ping timeout: 272 seconds)
2021-05-25 20:45:42 +0200klemzi32(~textual@146.212.240.255) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-25 20:46:21 +0200Guest11(~textual@146.212.240.255)
2021-05-25 20:46:52 +0200ru0mad(~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8)
2021-05-25 20:47:14 +0200 <boxscape> edwardk does that mean ala couldn't be implemented with Coercible instead of Re-/Unwrapped?
2021-05-25 20:48:34 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-25 20:52:42 +0200ru0madruomad
2021-05-25 20:53:40 +0200ruomad(~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8) (Quit: Mutter: www.mutterirc.com)
2021-05-25 20:54:31 +0200ru0mad(~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8)
2021-05-25 20:54:56 +0200ru0mad(~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8) (Client Quit)
2021-05-25 20:55:37 +0200ruomad(~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8)
2021-05-25 20:55:56 +0200 <edwardk> :t au
2021-05-25 20:55:57 +0200 <lambdabot> Functor f => AnIso s t a b -> ((b -> t) -> f s) -> f a
2021-05-25 20:56:00 +0200 <edwardk> :t ala
2021-05-25 20:56:01 +0200 <lambdabot> (Functor f, Rewrapped s t, Rewrapped t s) => (Unwrapped s -> s) -> ((Unwrapped t -> t) -> f s) -> f (Unwrapped s)
2021-05-25 20:57:23 +0200 <edwardk> its currently set up to use ala Sum = au _Sum -- au/auf allow use of an arbitrary Iso. ala/alaf pick the iso via the same instances. there is a subtle problem with your proposal, which is that ala can change types. e.g. go in at Sum Int and come out at Sum Double
2021-05-25 20:57:29 +0200 <edwardk> and i can't model that with Coercible directtly
2021-05-25 20:57:31 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-25 20:57:54 +0200 <edwardk> er rather the current version can, and one that is based on just Coercible can't
2021-05-25 20:58:01 +0200 <boxscape> ah, I see
2021-05-25 20:59:07 +0200econo(uid147250@user/econo)
2021-05-25 20:59:52 +0200berberman(~berberman@user/berberman)
2021-05-25 21:01:03 +0200berberman_(~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-05-25 21:01:04 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) ()
2021-05-25 21:01:27 +0200fart(~fart@user/actor) (Ping timeout: 264 seconds)
2021-05-25 21:01:27 +0200xwx(~george@user/george) (Ping timeout: 264 seconds)
2021-05-25 21:02:08 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-25 21:02:40 +0200Mark_(uid14803@user/mark/x-9597255)
2021-05-25 21:02:52 +0200xwx(~george@user/george)
2021-05-25 21:03:40 +0200mikess(~sam@user/mikess)
2021-05-25 21:04:12 +0200fart(~fart@user/actor)
2021-05-25 21:05:02 +0200fart(~fart@user/actor) (Client Quit)
2021-05-25 21:06:58 +0200ruomad(~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8) (Quit: Mutter: www.mutterirc.com)
2021-05-25 21:09:26 +0200ruomad(~ruomad@82-64-17-144.subs.proxad.net)
2021-05-25 21:11:06 +0200 <maerwald> how do you find unused dependencies in your .cabal again?
2021-05-25 21:12:17 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Remote host closed the connection)
2021-05-25 21:13:08 +0200 <trueboxguy> If you had -Wunused-packages as a ghc option, would it work? I think cabal passes the packages used into ghc
2021-05-25 21:13:42 +0200ruomad(~ruomad@82-64-17-144.subs.proxad.net) (Remote host closed the connection)
2021-05-25 21:14:12 +0200favonia(~favonia@user/favonia) (Quit: Leaving)
2021-05-25 21:14:54 +0200Tomurb(~tom@92-17.net.optinet.cz)
2021-05-25 21:16:27 +0200favonia(~favonia@user/favonia)
2021-05-25 21:19:48 +0200argento(~argent0@168.227.96.51) (Quit: leaving)
2021-05-25 21:20:42 +0200xwx(~george@user/george) (Ping timeout: 264 seconds)
2021-05-25 21:21:06 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1)
2021-05-25 21:22:48 +0200omen_(~omen@user/omen) (Quit: Leaving)
2021-05-25 21:24:06 +0200kmein(~weechat@static.173.83.99.88.clients.your-server.de)
2021-05-25 21:25:03 +0200mikess(~sam@user/mikess) ()
2021-05-25 21:25:11 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com)
2021-05-25 21:26:26 +0200xwx(~george@user/george)
2021-05-25 21:26:47 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5)
2021-05-25 21:28:58 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-05-25 21:31:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 21:33:33 +0200Tomurb(~tom@92-17.net.optinet.cz) (Ping timeout: 272 seconds)
2021-05-25 21:34:30 +0200 <edwardk> trueboxguy: there's some stack driven tool that neil mitchell maintains, before that there used to be one from hvr that just used a cabal-driven workflow, but its a few ghc releases behind
2021-05-25 21:35:23 +0200 <Hecate> heya trueboxguy :)
2021-05-25 21:35:40 +0200 <trueboxguy> Hecate: hi, finally set up that bouncer
2021-05-25 21:37:17 +0200 <Hecate> :)
2021-05-25 21:39:16 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net)
2021-05-25 21:41:02 +0200atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net)
2021-05-25 21:41:27 +0200 <maerwald> TH compilation order seems to have changed in 9.0.1 again
2021-05-25 21:41:33 +0200Tomurb(~tom@92-17.net.optinet.cz)
2021-05-25 21:41:38 +0200 <maerwald> my json derivings are all broken
2021-05-25 21:45:20 +0200Deide1(~Deide@wire.desu.ga)
2021-05-25 21:47:46 +0200Deide2(~Deide@wire.desu.ga)
2021-05-25 21:47:55 +0200Deide(~Deide@user/deide) (Ping timeout: 272 seconds)
2021-05-25 21:49:58 +0200Deide1(~Deide@wire.desu.ga) (Ping timeout: 264 seconds)
2021-05-25 21:49:59 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-25 21:50:43 +0200 <dminuoso> Mmm, the cabal docs dont to the target selector algorithm justice..
2021-05-25 21:51:46 +0200atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 264 seconds)
2021-05-25 21:52:57 +0200eziotobi(~eziotobi@186.106.65.175)
2021-05-25 21:53:34 +0200Tomurb(~tom@92-17.net.optinet.cz) (Ping timeout: 264 seconds)
2021-05-25 21:54:48 +0200Chobbes_Chobbes
2021-05-25 21:59:56 +0200 <dminuoso> cabal-install fails to build on a nix machine with this linker error:
2021-05-25 21:59:58 +0200 <dminuoso> https://gist.github.com/dminuoso/fce1467405c045810438dc6425aa13b2
2021-05-25 22:00:18 +0200 <dminuoso> Oh hold on, just as I hit enter I realized my mistake
2021-05-25 22:01:08 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 252 seconds)
2021-05-25 22:01:59 +0200eziotobi_(~eziotobi@190.215.119.50)
2021-05-25 22:02:29 +0200minoru_shiraeesh(~shiraeesh@109.166.57.151)
2021-05-25 22:02:39 +0200xwx(~george@user/george) (Ping timeout: 264 seconds)
2021-05-25 22:04:35 +0200eziotobi(~eziotobi@186.106.65.175) (Ping timeout: 272 seconds)
2021-05-25 22:04:35 +0200m_shiraeeshi(~shiraeesh@46.34.207.100) (Ping timeout: 272 seconds)
2021-05-25 22:05:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-25 22:05:48 +0200paolino(~paolo@84.33.186.150)
2021-05-25 22:05:54 +0200paolinoZ(~paolo@84.33.186.150)
2021-05-25 22:06:11 +0200paolinoZ(~paolo@84.33.186.150) (Client Quit)
2021-05-25 22:06:46 +0200kubes(~kubes@188.120.84.109)
2021-05-25 22:07:13 +0200paolino(~paolo@84.33.186.150) (Remote host closed the connection)
2021-05-25 22:07:18 +0200xwx(~george@user/george)
2021-05-25 22:09:04 +0200kubes(~kubes@188.120.84.109) (Client Quit)
2021-05-25 22:09:15 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-25 22:11:30 +0200Wanderer(~wanderer@user/wanderer)
2021-05-25 22:15:15 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net)
2021-05-25 22:15:58 +0200atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net)
2021-05-25 22:18:43 +0200Deide(~Deide@wire.desu.ga)
2021-05-25 22:18:43 +0200Deide(~Deide@wire.desu.ga) (Changing host)
2021-05-25 22:18:43 +0200Deide(~Deide@user/deide)
2021-05-25 22:20:03 +0200 <dmwit> maerwald: https://hackage.haskell.org/package/packunused ?
2021-05-25 22:20:38 +0200 <maerwald> Cabal (==1.24.*)
2021-05-25 22:20:44 +0200 <maerwald> the dream...
2021-05-25 22:20:46 +0200bec(~bec@user/bec) (Quit: Connection closed)
2021-05-25 22:21:29 +0200Deide2(~Deide@wire.desu.ga) (Ping timeout: 252 seconds)
2021-05-25 22:23:13 +0200ejojo(~ejojo@89.107.3.51)
2021-05-25 22:23:29 +0200 <nova> What is the preferred method for installing haskell, ghc, cabal, xmonad on arch?
2021-05-25 22:23:46 +0200 <sclv> ghcup
2021-05-25 22:23:52 +0200ruomad(~ruomad@82-64-17-144.subs.proxad.net)
2021-05-25 22:23:54 +0200 <Rembane> nova: ghcup is a quite good experience
2021-05-25 22:23:55 +0200fendor_(~fendor@91.141.0.18.wireless.dyn.drei.com)
2021-05-25 22:24:23 +0200 <dmwit> maerwald: There is also https://hackage.haskell.org/package/prune-juice, which states "packunused is unmaintained since 2014" as a reason for existing, haha.
2021-05-25 22:24:26 +0200 <nova> I don't even know what it is, but I will spare the channel some spam and eggs and will promptly search it, and if I have any questions, I shall return.
2021-05-25 22:24:50 +0200 <dmwit> Only seems to work with stack though? Not sure.
2021-05-25 22:24:51 +0200kewa(~kewa@5.138.211.57)
2021-05-25 22:25:29 +0200 <nova> oh goody - it's one of those 07bash -c "$(curl http://totaly-not-hax.com)" type things. I mean, I trust it, but .. eh .. okey ..
2021-05-25 22:26:31 +0200 <dmwit> nova: You may be able to get it from your distro's package manager.
2021-05-25 22:26:34 +0200fendor(~fendor@178.165.131.25.wireless.dyn.drei.com) (Ping timeout: 264 seconds)
2021-05-25 22:27:01 +0200 <nova> aur/ghcup-hs-bin as it were, but idk
2021-05-25 22:27:27 +0200dmwitshrugs
2021-05-25 22:27:42 +0200 <dmwit> If you don't even trust your package manager, what proof of sanity *would* you accept?
2021-05-25 22:28:29 +0200 <sm> nova: we love those don't we. :) Just download and review before running
2021-05-25 22:28:48 +0200 <nova> that is what I am, indeed, doing q^u^p
2021-05-25 22:29:00 +0200 <tomsmeding> also, you're downloading an executable anyway :)
2021-05-25 22:29:07 +0200 <tomsmeding> but reviewing is always a good idea
2021-05-25 22:29:38 +0200ruomad(~ruomad@82-64-17-144.subs.proxad.net) (Remote host closed the connection)
2021-05-25 22:29:49 +0200Guest11(~textual@146.212.240.255) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-25 22:30:23 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-25 22:30:54 +0200 <nova> you're an executable 05#rekt - in all seriousness, after reviewing the executables and the link trail, I think I will try this, and if you don't hear back from me, then pretend I am your standard UNIX tool and all is well, and the return code is 0. Thanks again :-)
2021-05-25 22:31:26 +0200 <sm> the executable is hopefully coming from a more-official-totally-harder-to-hack locataion
2021-05-25 22:31:47 +0200 <nova> I agree with this, but you can't trust the back of your hand these days
2021-05-25 22:32:20 +0200 <sm> I'm coming in late here, but if security conscious why not build the thing
2021-05-25 22:32:45 +0200 <nova> I am not that worried. I just like to double check
2021-05-25 22:32:52 +0200ham2(~ham4@d8D8627D5.access.telenet.be)
2021-05-25 22:32:53 +0200xwx(~george@user/george) (Ping timeout: 272 seconds)
2021-05-25 22:33:15 +0200 <sm> ah, chicken and egg.. well install the most trustworthy old cabal/stack you can find from your distro I guess, then build the new one
2021-05-25 22:33:19 +0200 <sm> nod
2021-05-25 22:34:00 +0200 <boxscape> sm just write your own compiler in C so you can compile the compiler
2021-05-25 22:34:14 +0200 <tomsmeding> "trivial"
2021-05-25 22:34:31 +0200 <sm> but is that safe ? no!
2021-05-25 22:34:37 +0200 <Hafydd> Then you need to trust the C compiler you use.
2021-05-25 22:34:37 +0200 <sm> we're doomed
2021-05-25 22:34:52 +0200 <tomsmeding> we were doomed anyway :p
2021-05-25 22:35:51 +0200 <sm> work only on a strictly airgapped 80s home computer
2021-05-25 22:36:10 +0200ham(~ham4@user/ham) (Ping timeout: 272 seconds)
2021-05-25 22:36:12 +0200 <Rembane> Avoid compilers
2021-05-25 22:36:41 +0200 <sm> honestly, you can see what the Butlerian Jihadists were on about
2021-05-25 22:37:08 +0200 <tomsmeding> write an OS in haskell first
2021-05-25 22:37:31 +0200 <tomsmeding> then realise that you're not capable of doing that without introducing gaping security holes
2021-05-25 22:37:37 +0200 <tomsmeding> then join the Jihad
2021-05-25 22:38:11 +0200 <sm> https://en.wikipedia.org/wiki/Dune_(franchise)#The_Butlerian_Jihad
2021-05-25 22:38:43 +0200Tomurb(~tom@92-17.net.optinet.cz)
2021-05-25 22:38:59 +0200 <Rembane> The Butlerian Jihad makes Dune so much stranger.
2021-05-25 22:40:29 +0200lbseale_(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-25 22:41:19 +0200pretty_dumm_guy(~trottel@185.244.212.222)
2021-05-25 22:41:20 +0200ejojo(~ejojo@89.107.3.51) (Quit: Connection closed)
2021-05-25 22:41:32 +0200ejojo(~ejojo@89.107.3.51)
2021-05-25 22:43:33 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 22:43:58 +0200Tomurb(~tom@92-17.net.optinet.cz) (Ping timeout: 264 seconds)
2021-05-25 22:44:17 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 272 seconds)
2021-05-25 22:45:14 +0200ejojo(~ejojo@89.107.3.51) (Client Quit)
2021-05-25 22:53:17 +0200favonia(~favonia@user/favonia) (Ping timeout: 244 seconds)
2021-05-25 22:53:43 +0200favonia(~favonia@user/favonia)
2021-05-25 22:54:56 +0200Deide1(~Deide@wire.desu.ga)
2021-05-25 22:55:58 +0200Deide(~Deide@user/deide) (Ping timeout: 264 seconds)
2021-05-25 23:00:48 +0200hseg(~gesh@185.120.126.41)
2021-05-25 23:01:33 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-25 23:02:00 +0200 <Boarders> I am trying to run stylish-haskell but getting: stylish-haskell: dieVerbatim: user error (stylish-haskell: Failed parsing "/home/mcgill/Src/debugged/debugged.cabal".
2021-05-25 23:02:12 +0200 <Boarders> any ideas why it would do that, I don't even know why it is reading the cabal file?
2021-05-25 23:02:45 +0200 <hseg> hi. how do I add a git repo unavailable in stackage to my stack.yaml?
2021-05-25 23:03:01 +0200 <sclv> Very Carefully
2021-05-25 23:03:13 +0200 <hseg> *snort* ok...?
2021-05-25 23:05:46 +0200haskman(~haskman@171.61.140.35)
2021-05-25 23:05:54 +0200 <hseg> ok, checking the cardano repo, it seems i want to add packages of form {location: {git:, commit:}, extra-dep: true} to packages:
2021-05-25 23:05:59 +0200onadplusm(~arnau@32.red-2-137-54.dynamicip.rima-tde.net)
2021-05-25 23:06:14 +0200jiribenes_jiribenes
2021-05-25 23:06:34 +0200onadplusm(~arnau@32.red-2-137-54.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-05-25 23:08:41 +0200 <tapas> https://github.com/kadena-io/chainweb-node/blob/master/stack.yaml
2021-05-25 23:08:52 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr) (Quit: ran away)
2021-05-25 23:09:41 +0200 <tapas> you can add them in the extra-deps section. extra-deps: - { github: repo, commit: hash }
2021-05-25 23:12:07 +0200 <hseg> ooh, that helps
2021-05-25 23:13:02 +0200 <minoru_shiraeesh> I'm trying to play with an example from Haskell School of Expression
2021-05-25 23:13:32 +0200 <minoru_shiraeesh> I get a weird error:
2021-05-25 23:13:50 +0200 <minoru_shiraeesh> transformers-0.4.2.0 from stack configuration does not match >=0.3 && ==0.2.*
2021-05-25 23:14:28 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 244 seconds)
2021-05-25 23:14:37 +0200 <minoru_shiraeesh> those constraints seem impossible
2021-05-25 23:15:13 +0200 <minoru_shiraeesh> how can a version be greater than 0.3 and equal to 0.2.* at the same time?
2021-05-25 23:15:14 +0200 <starlord> What do I read to understand typing rules? I've been staring at this paper for I don't know how long but I just don't get it
2021-05-25 23:15:30 +0200 <dminuoso> starlord: Grab a copy of TaPL?
2021-05-25 23:15:44 +0200 <dminuoso> It gives a smooth introduction into the topic in the beginning.
2021-05-25 23:16:07 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-25 23:16:43 +0200 <hpc> minoru_shiraeesh: the set of version constraints can include both, it just becomes unresolvable - find where those are coming from and adjust things?
2021-05-25 23:16:57 +0200 <hpc> maybe something depends on an obsolete package?
2021-05-25 23:17:30 +0200 <starlord> dminuoso can you please expand that abbreviation? my google fu ain't that strong it seems
2021-05-25 23:17:35 +0200 <geekosaur> or you're using it with an old resolver?
2021-05-25 23:17:44 +0200 <geekosaur> starlord, Types and Programming Languages
2021-05-25 23:17:58 +0200 <boxscape> by Benjamin Pierce
2021-05-25 23:17:59 +0200 <dminuoso> starlord: At any rate, just to understand inference rules its probably overkill, but the book is a good read anyhow.
2021-05-25 23:18:06 +0200 <minoru_shiraeesh> hpc: it says the constraints come from transformers-compat-0.6.6
2021-05-25 23:18:11 +0200pflanze_(~pflanze@2001:1a88:19e:4500:24b7:a963:b85:697d)
2021-05-25 23:18:17 +0200 <dminuoso> starlord: They are just inference rules similar to logic systems.
2021-05-25 23:18:29 +0200polux7(~polux@51.15.169.172)
2021-05-25 23:18:37 +0200nshepperd2(~nshepperd@li364-218.members.linode.com) (Quit: Ping timeout (120 seconds))
2021-05-25 23:18:41 +0200agumonkey(~user@88.160.31.174)
2021-05-25 23:18:48 +0200nshepperd2(~nshepperd@li364-218.members.linode.com)
2021-05-25 23:19:04 +0200 <starlord> dminuoso I'm designing my own language so it's probably just what I need. I'm having a hard time implementing "extensible records with scoped labels" correctly because I don't understand the apaper
2021-05-25 23:19:13 +0200integral(sid296274@user/integral) (Ping timeout: 272 seconds)
2021-05-25 23:19:13 +0200grfn(sid449115@brockwell.irccloud.com) (Ping timeout: 272 seconds)
2021-05-25 23:19:20 +0200 <dminuoso> starlord: See https://en.wikipedia.org/wiki/Natural_deduction
2021-05-25 23:19:24 +0200tomsmeding_(~tomsmedin@2a03:b0c0:0:1010::767:3001)
2021-05-25 23:19:28 +0200 <dminuoso> Ah, yes. Grab TaPL definitely then.
2021-05-25 23:19:41 +0200Athas_(athas@2a01:7c8:aaac:1cf:f685:221c:33ac:efb6)
2021-05-25 23:19:45 +0200Philonous_(~Philonous@user/philonous)
2021-05-25 23:19:47 +0200maerwald_(~maerwald@mail.hasufell.de)
2021-05-25 23:19:49 +0200brown121407(~smarton@121407.xyz)
2021-05-25 23:20:05 +0200 <boxscape> tbf contexts and typing jugdments make typing rules slightly more confusing than vanilla natural deduction
2021-05-25 23:20:06 +0200 <starlord> oh god, natural deduction, how I wish I had this 3 months ago :D thank you, now I'll get to reading
2021-05-25 23:20:23 +0200grfn(sid449115@id-449115.brockwell.irccloud.com)
2021-05-25 23:20:27 +0200integral(sid296274@user/integral)
2021-05-25 23:20:30 +0200liskin(~liskin@ackle.nomi.cz) (Ping timeout: 272 seconds)
2021-05-25 23:20:41 +0200piele(~piele@tbonesteak.creativeserver.net) (Read error: Connection reset by peer)
2021-05-25 23:20:45 +0200polux(~polux@51.15.169.172) (Read error: Connection reset by peer)
2021-05-25 23:20:45 +0200tomsmeding(~tomsmedin@tomsmeding.com) (Read error: Connection reset by peer)
2021-05-25 23:20:45 +0200maerwald(~maerwald@user/maerwald) (Read error: Connection reset by peer)
2021-05-25 23:20:47 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2021-05-25 23:20:50 +0200liskin(~liskin@ackle.nomi.cz)
2021-05-25 23:20:55 +0200smarton(~smarton@121407.xyz) (Read error: Connection reset by peer)
2021-05-25 23:21:07 +0200pflanze(~pflanze@5-168-208-80-pool.fiber.fcom.ch) (Ping timeout: 272 seconds)
2021-05-25 23:21:08 +0200anoe(~anoe@delanoe.org) (Ping timeout: 272 seconds)
2021-05-25 23:21:08 +0200df(~ben@51.15.198.140) (Ping timeout: 272 seconds)
2021-05-25 23:21:08 +0200statusfailed(~statusfai@statusfailed.com) (Ping timeout: 272 seconds)
2021-05-25 23:21:08 +0200Hecate(~mariposa@user/hecate) (Ping timeout: 272 seconds)
2021-05-25 23:21:15 +0200Hecate(~mariposa@163.172.211.189)
2021-05-25 23:21:18 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 264 seconds)
2021-05-25 23:21:20 +0200df(~ben@51.15.198.140)
2021-05-25 23:21:21 +0200anoe(~anoe@delanoe.org)
2021-05-25 23:21:21 +0200statusfailed(~statusfai@statusfailed.com)
2021-05-25 23:21:21 +0200piele(~piele@tbonesteak.creativeserver.net)
2021-05-25 23:21:23 +0200illegal(~v@anomalous.eu)
2021-05-25 23:22:12 +0200lambdabot(~lambdabot@silicon.int-e.eu)
2021-05-25 23:22:12 +0200lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2021-05-25 23:22:12 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2021-05-25 23:22:13 +0200immae(~immae@static.233.10.9.176.clients.your-server.de) (Read error: Connection reset by peer)
2021-05-25 23:22:14 +0200xerox_(~edi@user/edi)
2021-05-25 23:22:17 +0200 <minoru_shiraeesh> geekosaur: yes, I tried building with the default resolver but got errors and then specified the older resolver
2021-05-25 23:22:19 +0200Athas(athas@sigkill.dk) (Read error: Connection reset by peer)
2021-05-25 23:22:21 +0200immae1(~immae@2a01:4f8:141:53e7::)
2021-05-25 23:22:24 +0200bcoppens(~bartcopp@user/bcoppens) (Ping timeout: 272 seconds)
2021-05-25 23:22:30 +0200xerox(~edi@user/edi) (Remote host closed the connection)
2021-05-25 23:22:32 +0200cjay(cjay@nerdbox.nerd2nerd.org) (Remote host closed the connection)
2021-05-25 23:22:42 +0200bcoppens(~bartcopp@vpn2.bartcoppens.be)
2021-05-25 23:22:43 +0200cjay(cjay@nerdbox.nerd2nerd.org)
2021-05-25 23:22:57 +0200ham2(~ham4@d8D8627D5.access.telenet.be) (Quit: Leaving)
2021-05-25 23:23:40 +0200Philonous(~Philonous@user/philonous) (Ping timeout: 272 seconds)
2021-05-25 23:24:03 +0200Hecate(~mariposa@163.172.211.189) (Client Quit)
2021-05-25 23:24:09 +0200Hecate(~mariposa@163.172.211.189)
2021-05-25 23:24:15 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 264 seconds)
2021-05-25 23:24:17 +0200V(~v@anomalous.eu) (Ping timeout: 272 seconds)
2021-05-25 23:24:47 +0200ham(~ham4@user/ham)
2021-05-25 23:25:12 +0200Hecate(~mariposa@163.172.211.189) (Changing host)
2021-05-25 23:25:12 +0200Hecate(~mariposa@user/hecate)
2021-05-25 23:26:18 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-25 23:27:09 +0200 <dminuoso> boxscape: Can you explain how typing judgements make typing rules slightly more confusing?
2021-05-25 23:27:16 +0200maerwald_(~maerwald@mail.hasufell.de) (Changing host)
2021-05-25 23:27:16 +0200maerwald_(~maerwald@user/maerwald)
2021-05-25 23:27:41 +0200maerwald_maerwald
2021-05-25 23:27:53 +0200 <boxscape> dminuoso it's not once your used to them, but at the beginning I think it's just one more thing to learn, and you have to grok the fixities of :, turnstile, etc
2021-05-25 23:27:59 +0200 <boxscape> s/your/you're
2021-05-25 23:28:43 +0200 <boxscape> s/fixities/precedences
2021-05-25 23:29:12 +0200boxscape71(~boxscape@user/boxscape)
2021-05-25 23:30:08 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-25 23:30:55 +0200 <monochrom> IMO natural deduction's |- is different enough from typing rules's |- such that natural deduction is a bad way to start reading typing rules.
2021-05-25 23:31:24 +0200 <monochrom> Approximately the only commonality is the horzontal line and the comma.
2021-05-25 23:31:47 +0200 <boxscape71> I wasn't aware of |- in natural deduction
2021-05-25 23:31:59 +0200 <monochrom> OK, and the implcit closed-world assumption.
2021-05-25 23:32:50 +0200 <boxscape71> Oh actually I take that back
2021-05-25 23:32:52 +0200immae1(~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 2.9)
2021-05-25 23:32:55 +0200 <monochrom> :)
2021-05-25 23:33:15 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 264 seconds)
2021-05-25 23:33:19 +0200immae(~immae@2a01:4f8:141:53e7::)
2021-05-25 23:34:37 +0200favonia(~favonia@user/favonia) (Ping timeout: 244 seconds)
2021-05-25 23:34:39 +0200boxscape71boxscape
2021-05-25 23:34:41 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Quit: Computer is sleeping. ZZZzzz…)
2021-05-25 23:35:14 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 23:36:18 +0200haskman(~haskman@171.61.140.35) (Quit: Going to sleep. ZZZzzz…)
2021-05-25 23:37:03 +0200favonia(~favonia@user/favonia)
2021-05-25 23:37:20 +0200Bartosz(~textual@50.35.220.89)
2021-05-25 23:37:30 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 23:37:34 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
2021-05-25 23:49:38 +0200michalz(~user@185.246.204.58) (Remote host closed the connection)
2021-05-25 23:55:25 +0200aeoui(~aeoui@mobile-166-171-122-171.mycingular.net)
2021-05-25 23:55:47 +0200aeoui(~aeoui@mobile-166-171-122-171.mycingular.net) (Read error: Connection reset by peer)
2021-05-25 23:56:05 +0200aeoui(~aeoui@ip72-194-54-201.sb.sd.cox.net)
2021-05-25 23:57:54 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity)