2024/07/12

2024-07-12 00:01:31 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
2024-07-12 00:08:50 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2024-07-12 00:12:29 +0200acidjnk_new(~acidjnk@p200300d6e72cfb04bdea48a2b5d04624.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-07-12 00:17:23 +0200tomku(~tomku@user/tomku) (Ping timeout: 264 seconds)
2024-07-12 00:17:37 +0200tomku(~tomku@user/tomku)
2024-07-12 00:21:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-12 00:26:49 +0200 <nitrix> Do people target Haskell2010 or GHC2021 nowadays in their cabal?
2024-07-12 00:30:23 +0200mikess(~mikess@user/mikess) (Ping timeout: 260 seconds)
2024-07-12 00:32:32 +0200mikess(~mikess@user/mikess)
2024-07-12 00:37:15 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving)
2024-07-12 00:41:05 +0200alexherbo2(~alexherbo@2a02-8440-3414-5ce3-8c75-1c54-1c60-8d6f.rev.sfr.net) (Remote host closed the connection)
2024-07-12 00:43:32 +0200Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-07-12 00:43:47 +0200mikess(~mikess@user/mikess) (Ping timeout: 264 seconds)
2024-07-12 00:46:01 +0200mikess(~mikess@user/mikess)
2024-07-12 00:47:51 +0200 <davean> yes
2024-07-12 01:02:00 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-07-12 01:02:32 +0200rvalue(~rvalue@user/rvalue)
2024-07-12 01:03:15 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de)
2024-07-12 01:04:47 +0200mikess(~mikess@user/mikess) (Ping timeout: 264 seconds)
2024-07-12 01:06:55 +0200mikess(~mikess@user/mikess)
2024-07-12 01:11:20 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Ping timeout: 252 seconds)
2024-07-12 01:11:33 +0200dhil(~dhil@2001:8e0:2014:3100:9682:f5f6:8de6:9692) (Ping timeout: 268 seconds)
2024-07-12 01:13:24 +0200ystael(~ystael@user/ystael) (Ping timeout: 268 seconds)
2024-07-12 01:14:16 +0200Square2(~Square4@user/square)
2024-07-12 01:17:07 +0200Square(~Square@user/square) (Ping timeout: 246 seconds)
2024-07-12 01:19:08 +0200 <probie> Unless I've got a reason not to (e.g. I want to support a version of GHC that predates it), I go with GHC2021
2024-07-12 01:23:17 +0200puke(~puke@user/puke) (Ping timeout: 240 seconds)
2024-07-12 01:24:10 +0200 <jackdk> and GHC2021 is from 9.2, which has been around for a bit
2024-07-12 01:24:59 +0200 <c_wraith> after using it a bunch, I kind of prefer to not take GHC2021. I'd rather list most of those extensions explicitly when needed.
2024-07-12 01:33:26 +0200phma(phma@2001:5b0:211b:f1a8:481d:33c:3867:23b1) (Read error: Connection reset by peer)
2024-07-12 01:34:06 +0200phma(~phma@host-67-44-208-89.hnremote.net)
2024-07-12 01:45:31 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-07-12 01:46:20 +0200 <probie> New idea for a language; the null+ language. The only construct of the language is enabling extensions
2024-07-12 01:47:20 +0200 <davean> call with c_wraith
2024-07-12 01:47:27 +0200 <davean> *I fall
2024-07-12 01:50:44 +0200 <probie> I guess what I really want "on by default" is just multi-param type classes, rank n types, flexible instances and flexible contexts. I think of those as part of "modern Haskell"
2024-07-12 01:51:17 +0200xff0x(~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5) (Ping timeout: 272 seconds)
2024-07-12 01:51:21 +0200 <geekosaur> I'm reasonably sure that everyone has their own definition of "modern Haskell"
2024-07-12 01:51:51 +0200 <geekosaur> I could live with yours, aside from rank-n types; but I'd also want LambdaCase
2024-07-12 01:54:29 +0200 <probie> Actually, by the time I've picked a "common" library like mtl, I've already gone outside my "modern Haskell". Perhaps I should add fundeps to my list?
2024-07-12 01:56:10 +0200xdminsy(~xdminsy@117.147.70.227) (Quit: Konversation terminated!)
2024-07-12 01:57:48 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-07-12 01:58:44 +0200 <jle`> i like tuple sections
2024-07-12 01:59:35 +0200 <jle`> but i think making such a list is probably not going to be too fruitful
2024-07-12 01:59:59 +0200 <jle`> ViewPatterns have been standard-ish for decades too even though it's not super common
2024-07-12 02:01:00 +0200 <probie> LambdaCase and TupleSections are not really extensions I care about in this context. They don't leak out of libraries
2024-07-12 02:03:08 +0200 <probie> If use LambdaCase or TupleSections, no-one but those actually touching my code care. If I use multi-param type classes or rank-n types, perhaps I'm scaring someone off?
2024-07-12 02:03:59 +0200xff0x(~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5)
2024-07-12 02:04:17 +0200glguy(g@libera/staff/glguy) (*.net *.split)
2024-07-12 02:04:17 +0200mikess(~mikess@user/mikess) (*.net *.split)
2024-07-12 02:04:17 +0200sroso(~sroso@user/SrOso) (*.net *.split)
2024-07-12 02:04:17 +0200pavonia(~user@user/siracusa) (*.net *.split)
2024-07-12 02:04:17 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (*.net *.split)
2024-07-12 02:04:17 +0200swistak(~swistak@185.21.216.141) (*.net *.split)
2024-07-12 02:04:17 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (*.net *.split)
2024-07-12 02:04:17 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (*.net *.split)
2024-07-12 02:04:17 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (*.net *.split)
2024-07-12 02:04:17 +0200fun-safe-math(~fun-safe-@24.21.106.247) (*.net *.split)
2024-07-12 02:04:17 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (*.net *.split)
2024-07-12 02:04:17 +0200mud(~mud@user/kadoban) (*.net *.split)
2024-07-12 02:04:17 +0200_0xa(~user@user/0xa/x-3134607) (*.net *.split)
2024-07-12 02:04:17 +0200sus(1b7af6299f@user/zeromomentum) (*.net *.split)
2024-07-12 02:04:18 +0200jmcantrell(644f1bed9a@user/jmcantrell) (*.net *.split)
2024-07-12 02:04:18 +0200sm(~znc@plaintextaccounting/sm) (*.net *.split)
2024-07-12 02:04:18 +0200tinwood(~tinwood@canonical/tinwood) (*.net *.split)
2024-07-12 02:04:18 +0200xerox(~edi@user/edi) (*.net *.split)
2024-07-12 02:04:18 +0200tjbc(~tjbc@user/fliife) (*.net *.split)
2024-07-12 02:04:18 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
2024-07-12 02:04:18 +0200catties(~catties@user/meow/catties) (*.net *.split)
2024-07-12 02:04:18 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
2024-07-12 02:04:18 +0200dumptruckman(~dumptruck@69-164-210-35.ip.linodeusercontent.com) (*.net *.split)
2024-07-12 02:04:18 +0200ursa-major(114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split)
2024-07-12 02:04:18 +0200titibandit(e33ffbab65@user/titibandit) (*.net *.split)
2024-07-12 02:04:18 +0200jakzale(6291399afa@user/jakzale) (*.net *.split)
2024-07-12 02:04:18 +0200pmk_(6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split)
2024-07-12 02:04:18 +0200dagi78319(~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (*.net *.split)
2024-07-12 02:04:18 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (*.net *.split)
2024-07-12 02:04:18 +0200TMA(tma@twin.jikos.cz) (*.net *.split)
2024-07-12 02:04:18 +0200tomboy64(~tomboy64@user/tomboy64) (*.net *.split)
2024-07-12 02:04:18 +0200She(haveident@libera/staff/she/her) (*.net *.split)
2024-07-12 02:04:19 +0200jrm(~jrm@user/jrm) (*.net *.split)
2024-07-12 02:04:19 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split)
2024-07-12 02:04:19 +0200Teacup(~teacup@user/teacup) (*.net *.split)
2024-07-12 02:04:19 +0200jackdk(sid373013@cssa/jackdk) (*.net *.split)
2024-07-12 02:04:19 +0200systemfault(sid267009@about/typescript/member/systemfault) (*.net *.split)
2024-07-12 02:04:19 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200chessai(sid225296@id-225296.lymington.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200caasih(sid13241@id-13241.ilkley.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200lexi-lambda(sid92601@id-92601.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200mankyKitty(sid31287@id-31287.helmsley.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200haasn(sid579015@id-579015.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200aspen(sid449115@id-449115.helmsley.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200piele(~piele@tbonesteak.creativeserver.net) (*.net *.split)
2024-07-12 02:04:19 +0200lbseale(~quassel@user/ep1ctetus) (*.net *.split)
2024-07-12 02:04:19 +0200rembo10(~rembo10@main.remulis.com) (*.net *.split)
2024-07-12 02:04:19 +0200ell(~ellie@user/ellie) (*.net *.split)
2024-07-12 02:04:19 +0200dibblego(~dibblego@haskell/developer/dibblego) (*.net *.split)
2024-07-12 02:04:19 +0200vulpine(xfnw@user/meow/xfnw) (*.net *.split)
2024-07-12 02:04:19 +0200Hafydd(~Hafydd@user/hafydd) (*.net *.split)
2024-07-12 02:04:19 +0200apache2(apache2@anubis.0x90.dk) (*.net *.split)
2024-07-12 02:04:19 +0200carbolymer(~carbolyme@dropacid.net) (*.net *.split)
2024-07-12 02:04:19 +0200auri(~auri@fsf/member/auri) (*.net *.split)
2024-07-12 02:04:19 +0200Philonous(~Philonous@user/philonous) (*.net *.split)
2024-07-12 02:04:19 +0200dfordvm(~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split)
2024-07-12 02:04:19 +0200phma(~phma@host-67-44-208-89.hnremote.net) (*.net *.split)
2024-07-12 02:04:20 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split)
2024-07-12 02:04:20 +0200sam113101(~sam@24.157.253.231) (*.net *.split)
2024-07-12 02:04:20 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (*.net *.split)
2024-07-12 02:04:20 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split)
2024-07-12 02:04:20 +0200bliminse(~bliminse@user/bliminse) (*.net *.split)
2024-07-12 02:04:20 +0200kritzefitz(~kritzefit@debian/kritzefitz) (*.net *.split)
2024-07-12 02:04:20 +0200mauke(~mauke@user/mauke) (*.net *.split)
2024-07-12 02:04:20 +0200Batzy(~quassel@user/batzy) (*.net *.split)
2024-07-12 02:04:20 +0200peutri(~peutri@bobo.desast.re) (*.net *.split)
2024-07-12 02:04:20 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (*.net *.split)
2024-07-12 02:04:20 +0200krei-se(~krei-se@p5085d24b.dip0.t-ipconnect.de) (*.net *.split)
2024-07-12 02:04:20 +0200migas97(~migas@static.140.65.63.178.clients.your-server.de) (*.net *.split)
2024-07-12 02:04:20 +0200leah2(~leah@vuxu.org) (*.net *.split)
2024-07-12 02:04:20 +0200mrmr155334346(~mrmr@user/mrmr) (*.net *.split)
2024-07-12 02:04:20 +0200_xor(~xor@ip-208-102-243-175.dynamic.fuse.net) (*.net *.split)
2024-07-12 02:04:20 +0200lewisje(~lewisje@74.215.19.22) (*.net *.split)
2024-07-12 02:04:20 +0200xsarnik(xsarnik@lounge.fi.muni.cz) (*.net *.split)
2024-07-12 02:04:20 +0200raym(~ray@user/raym) (*.net *.split)
2024-07-12 02:04:21 +0200tolt(~weechat-h@li219-154.members.linode.com) (*.net *.split)
2024-07-12 02:04:21 +0200kimiamania(~65804703@user/kimiamania) (*.net *.split)
2024-07-12 02:04:21 +0200mzg(mzg@abusers.hu) (*.net *.split)
2024-07-12 02:04:21 +0200dunj3(~dunj3@kingdread.de) (*.net *.split)
2024-07-12 02:04:21 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split)
2024-07-12 02:04:21 +0200gawen(~gawen@user/gawen) (*.net *.split)
2024-07-12 02:04:21 +0200it_(~quassel@v2202212189510211193.supersrv.de) (*.net *.split)
2024-07-12 02:04:21 +0200koz(~koz@121.99.240.58) (*.net *.split)
2024-07-12 02:04:21 +0200wagle(~wagle@quassel.wagle.io) (*.net *.split)
2024-07-12 02:04:21 +0200mjacob(~mjacob@adrastea.uberspace.de) (*.net *.split)
2024-07-12 02:04:21 +0200xelxebar(~xelxebar@wilsonb.com) (*.net *.split)
2024-07-12 02:04:21 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) (*.net *.split)
2024-07-12 02:04:21 +0200stefan-_(~cri@42dots.de) (*.net *.split)
2024-07-12 02:04:21 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split)
2024-07-12 02:04:21 +0200quintasan(~quassel@quintasan.pl) (*.net *.split)
2024-07-12 02:04:21 +0200tdammers_(~tdammers@41-138-178-143.ftth.glasoperator.nl) (*.net *.split)
2024-07-12 02:04:21 +0200lockna_(~lockna@static.139.16.130.94.clients.your-server.de) (*.net *.split)
2024-07-12 02:04:21 +0200joeyh_(~joeyh@kitenet.net) (*.net *.split)
2024-07-12 02:04:21 +0200Dykam(Dykam@dykam.nl) (*.net *.split)
2024-07-12 02:04:21 +0200vgtw(~vgtw@user/vgtw) (*.net *.split)
2024-07-12 02:04:21 +0200spider(spider@tilde.cafe) (*.net *.split)
2024-07-12 02:04:21 +0200Axman6(~Axman6@user/axman6) (*.net *.split)
2024-07-12 02:04:21 +0200Square2(~Square4@user/square) (*.net *.split)
2024-07-12 02:04:21 +0200sp1ff`(~user@c-73-11-70-111.hsd1.wa.comcast.net) (*.net *.split)
2024-07-12 02:04:22 +0200oo_miguel(~Thunderbi@78.10.207.46) (*.net *.split)
2024-07-12 02:04:22 +0200cheater(~Username@user/cheater) (*.net *.split)
2024-07-12 02:04:22 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (*.net *.split)
2024-07-12 02:04:22 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:22 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp) (*.net *.split)
2024-07-12 02:04:22 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net) (*.net *.split)
2024-07-12 02:04:22 +0200duncan(c6181279e3@user/meow/duncan) (*.net *.split)
2024-07-12 02:04:22 +0200Xe(~cadey@perl/impostor/xe) (*.net *.split)
2024-07-12 02:04:22 +0200opqdonut(opqdonut@pseudo.fixme.fi) (*.net *.split)
2024-07-12 02:04:22 +0200kronicmage(~kronicmag@neotame.csclub.uwaterloo.ca) (*.net *.split)
2024-07-12 02:04:22 +0200landonf(landonf@mac68k.info) (*.net *.split)
2024-07-12 02:04:22 +0200hiredman(~hiredman@frontier1.downey.family) (*.net *.split)
2024-07-12 02:04:22 +0200turlando(~turlando@user/turlando) (*.net *.split)
2024-07-12 02:04:22 +0200xacktm(xacktm@user/xacktm) (*.net *.split)
2024-07-12 02:04:22 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (*.net *.split)
2024-07-12 02:04:22 +0200pierrot(~pi@user/pierrot) (*.net *.split)
2024-07-12 02:04:22 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (*.net *.split)
2024-07-12 02:04:22 +0200tabemann__(~tabemann@2600:1700:7990:24e0:bdf5:2044:ddb4:b631) (*.net *.split)
2024-07-12 02:04:22 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt) (*.net *.split)
2024-07-12 02:04:22 +0200petrichor(~znc-user@user/petrichor) (*.net *.split)
2024-07-12 02:04:23 +0200dy(sid3438@user/dy) (*.net *.split)
2024-07-12 02:04:23 +0200snek(sid280155@id-280155.lymington.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200Fangs(sid141280@id-141280.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200sa(sid1055@id-1055.tinside.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200tok(da65c7b04b@user/tok) (*.net *.split)
2024-07-12 02:04:23 +0200davean(~davean@davean.sciesnet.net) (*.net *.split)
2024-07-12 02:04:23 +0200dostoyevsky2(~sck@user/dostoyevsky2) (*.net *.split)
2024-07-12 02:04:23 +0200earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split)
2024-07-12 02:04:23 +0200Vq(~vq@81-231-76-8-no600.tbcn.telia.com) (*.net *.split)
2024-07-12 02:04:23 +0200df(~ben@justworks.xyz) (*.net *.split)
2024-07-12 02:04:23 +0200Aleksejs(~Aleksejs@107.170.21.106) (*.net *.split)
2024-07-12 02:04:23 +0200xnyhps(~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split)
2024-07-12 02:04:23 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2024-07-12 02:04:23 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split)
2024-07-12 02:04:23 +0200siers(~ij@user/ij) (*.net *.split)
2024-07-12 02:04:23 +0200wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (*.net *.split)
2024-07-12 02:04:23 +0200motherfsck(~motherfsc@user/motherfsck) (*.net *.split)
2024-07-12 02:04:23 +0200hueso(~root@user/hueso) (*.net *.split)
2024-07-12 02:04:23 +0200juri_(~juri@implicitcad.org) (*.net *.split)
2024-07-12 02:04:23 +0200ethantwardy(user@user/ethantwardy) (*.net *.split)
2024-07-12 02:04:23 +0200lockywolf(~lockywolf@public.lockywolf.net) (*.net *.split)
2024-07-12 02:04:23 +0200YuutaW(~YuutaW@mail.yuuta.moe) (*.net *.split)
2024-07-12 02:04:24 +0200arcadewise(52968ed80d@2a03:6000:1812:100::3df) (*.net *.split)
2024-07-12 02:04:24 +0200jleightcap(7bc4014b62@user/jleightcap) (*.net *.split)
2024-07-12 02:04:24 +0200whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split)
2024-07-12 02:04:24 +0200zmt01(~zmt00@user/zmt00) (*.net *.split)
2024-07-12 02:04:24 +0200filwisher(2e6936c793@2a03:6000:1812:100::170) (*.net *.split)
2024-07-12 02:04:24 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split)
2024-07-12 02:04:24 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (*.net *.split)
2024-07-12 02:04:24 +0200remmie(~ian@tilde.team) (*.net *.split)
2024-07-12 02:04:24 +0200m5zs7k(aquares@web10.mydevil.net) (*.net *.split)
2024-07-12 02:04:24 +0200tureba(~tureba@tureba.org) (*.net *.split)
2024-07-12 02:04:24 +0200mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (*.net *.split)
2024-07-12 02:04:24 +0200Ekho(~Ekho@user/ekho) (*.net *.split)
2024-07-12 02:04:24 +0200nullie(~nullie@2a01:4f8:c2c:6177::1) (*.net *.split)
2024-07-12 02:04:24 +0200pie_(~pie_bnc@user/pie/x-2818909) (*.net *.split)
2024-07-12 02:04:24 +0200EvanR(~EvanR@user/evanr) (*.net *.split)
2024-07-12 02:04:24 +0200nitrix(~nitrix@user/meow/nitrix) (*.net *.split)
2024-07-12 02:04:24 +0200benjaminl(~benjaminl@user/benjaminl) (*.net *.split)
2024-07-12 02:04:24 +0200incertia(~incertia@209.122.137.252) (*.net *.split)
2024-07-12 02:04:24 +0200remexre(~remexre@user/remexre) (*.net *.split)
2024-07-12 02:04:24 +0200tv(~tv@user/tv) (*.net *.split)
2024-07-12 02:04:24 +0200cptaffe(~cptaffe@user/cptaffe) (*.net *.split)
2024-07-12 02:04:24 +0200bionade24(~quassel@2a03:4000:33:45b::1) (*.net *.split)
2024-07-12 02:04:24 +0200eL_Bart0(eL_Bart0@dietunichtguten.org) (*.net *.split)
2024-07-12 02:04:24 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:24 +0200geekosaur(sid609282@xmonad/geekosaur) (*.net *.split)
2024-07-12 02:04:25 +0200xal(~xal@mx1.xal.systems) (*.net *.split)
2024-07-12 02:04:25 +0200c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2024-07-12 02:04:25 +0200mmaruseacph2(~mihai@mihai.page) (*.net *.split)
2024-07-12 02:04:25 +0200Angelz(Angelz@user/angelz) (*.net *.split)
2024-07-12 02:04:25 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (*.net *.split)
2024-07-12 02:04:25 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split)
2024-07-12 02:04:25 +0200deriamis_(deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) (*.net *.split)
2024-07-12 02:04:25 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split)
2024-07-12 02:04:25 +0200enikar(~enikar@user/enikar) (*.net *.split)
2024-07-12 02:04:25 +0200bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (*.net *.split)
2024-07-12 02:04:25 +0200meejah(~meejah@104.236.166.239) (*.net *.split)
2024-07-12 02:04:25 +0200ario(~ario@159.65.220.102) (*.net *.split)
2024-07-12 02:04:25 +0200sweater(~sweater@206.81.18.26) (*.net *.split)
2024-07-12 02:04:25 +0200aws(~alews@user/aws) (*.net *.split)
2024-07-12 02:04:46 +0200 <haskellbridge> <geekosaur> rank-n types, possibly yes. MPTC/fundeps are pretty much unavoidable and have been for at least 20 years
2024-07-12 02:06:11 +0200Pixi(~Pixi@user/pixi)
2024-07-12 02:06:25 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-07-12 02:06:37 +0200sam113101(~sam@24.157.253.231)
2024-07-12 02:07:05 +0200Square2(~Square4@user/square)
2024-07-12 02:07:05 +0200mikess(~mikess@user/mikess)
2024-07-12 02:07:05 +0200sroso(~sroso@user/SrOso)
2024-07-12 02:07:05 +0200motherfsck(~motherfsc@user/motherfsck)
2024-07-12 02:07:05 +0200hueso(~root@user/hueso)
2024-07-12 02:07:05 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-07-12 02:07:05 +0200swistak(~swistak@185.21.216.141)
2024-07-12 02:07:05 +0200sp1ff`(~user@c-73-11-70-111.hsd1.wa.comcast.net)
2024-07-12 02:07:05 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-07-12 02:07:05 +0200juri_(~juri@implicitcad.org)
2024-07-12 02:07:05 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net)
2024-07-12 02:07:05 +0200cheater(~Username@user/cheater)
2024-07-12 02:07:05 +0200ethantwardy(user@user/ethantwardy)
2024-07-12 02:07:05 +0200lockywolf(~lockywolf@public.lockywolf.net)
2024-07-12 02:07:05 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-07-12 02:07:05 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net)
2024-07-12 02:07:05 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-07-12 02:07:05 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp)
2024-07-12 02:07:05 +0200fun-safe-math(~fun-safe-@24.21.106.247)
2024-07-12 02:07:05 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-07-12 02:07:05 +0200mud(~mud@user/kadoban)
2024-07-12 02:07:05 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2024-07-12 02:07:05 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net)
2024-07-12 02:07:05 +0200duncan(c6181279e3@user/meow/duncan)
2024-07-12 02:07:05 +0200_0xa(~user@user/0xa/x-3134607)
2024-07-12 02:07:05 +0200arcadewise(52968ed80d@2a03:6000:1812:100::3df)
2024-07-12 02:07:05 +0200jleightcap(7bc4014b62@user/jleightcap)
2024-07-12 02:07:05 +0200sus(1b7af6299f@user/zeromomentum)
2024-07-12 02:07:05 +0200jmcantrell(644f1bed9a@user/jmcantrell)
2024-07-12 02:07:05 +0200whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4)
2024-07-12 02:07:05 +0200Xe(~cadey@perl/impostor/xe)
2024-07-12 02:07:05 +0200zmt01(~zmt00@user/zmt00)
2024-07-12 02:07:05 +0200filwisher(2e6936c793@2a03:6000:1812:100::170)
2024-07-12 02:07:05 +0200opqdonut(opqdonut@pseudo.fixme.fi)
2024-07-12 02:07:05 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
2024-07-12 02:07:05 +0200kronicmage(~kronicmag@neotame.csclub.uwaterloo.ca)
2024-07-12 02:07:05 +0200landonf(landonf@mac68k.info)
2024-07-12 02:07:05 +0200hiredman(~hiredman@frontier1.downey.family)
2024-07-12 02:07:05 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-07-12 02:07:05 +0200remmie(~ian@tilde.team)
2024-07-12 02:07:05 +0200m5zs7k(aquares@web10.mydevil.net)
2024-07-12 02:07:05 +0200sm(~znc@plaintextaccounting/sm)
2024-07-12 02:07:05 +0200turlando(~turlando@user/turlando)
2024-07-12 02:07:05 +0200tinwood(~tinwood@canonical/tinwood)
2024-07-12 02:07:05 +0200tureba(~tureba@tureba.org)
2024-07-12 02:07:05 +0200mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5)
2024-07-12 02:07:05 +0200xacktm(xacktm@user/xacktm)
2024-07-12 02:07:05 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2024-07-12 02:07:05 +0200pierrot(~pi@user/pierrot)
2024-07-12 02:07:05 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-07-12 02:07:05 +0200Ekho(~Ekho@user/ekho)
2024-07-12 02:07:05 +0200nullie(~nullie@2a01:4f8:c2c:6177::1)
2024-07-12 02:07:05 +0200xerox(~edi@user/edi)
2024-07-12 02:07:05 +0200tjbc(~tjbc@user/fliife)
2024-07-12 02:07:05 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
2024-07-12 02:07:05 +0200catties(~catties@user/meow/catties)
2024-07-12 02:07:05 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2024-07-12 02:07:05 +0200dumptruckman(~dumptruck@69-164-210-35.ip.linodeusercontent.com)
2024-07-12 02:07:05 +0200ursa-major(114efe6c39@2a03:6000:1812:100::11f3)
2024-07-12 02:07:05 +0200jakzale(6291399afa@user/jakzale)
2024-07-12 02:07:05 +0200titibandit(e33ffbab65@user/titibandit)
2024-07-12 02:07:05 +0200pmk_(6afe4476a1@2a03:6000:1812:100::26d)
2024-07-12 02:07:05 +0200dagi78319(~dagit@2001:558:6025:38:71c6:9d58:7252:8976)
2024-07-12 02:07:05 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2024-07-12 02:07:05 +0200TMA(tma@twin.jikos.cz)
2024-07-12 02:07:05 +0200tomboy64(~tomboy64@user/tomboy64)
2024-07-12 02:07:05 +0200pie_(~pie_bnc@user/pie/x-2818909)
2024-07-12 02:07:05 +0200EvanR(~EvanR@user/evanr)
2024-07-12 02:07:05 +0200nitrix(~nitrix@user/meow/nitrix)
2024-07-12 02:07:05 +0200benjaminl(~benjaminl@user/benjaminl)
2024-07-12 02:07:05 +0200tabemann__(~tabemann@2600:1700:7990:24e0:bdf5:2044:ddb4:b631)
2024-07-12 02:07:05 +0200incertia(~incertia@209.122.137.252)
2024-07-12 02:07:05 +0200remexre(~remexre@user/remexre)
2024-07-12 02:07:05 +0200glguy(g@libera/staff/glguy)
2024-07-12 02:07:05 +0200tv(~tv@user/tv)
2024-07-12 02:07:05 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt)
2024-07-12 02:07:05 +0200She(haveident@libera/staff/she/her)
2024-07-12 02:07:05 +0200petrichor(~znc-user@user/petrichor)
2024-07-12 02:07:05 +0200cptaffe(~cptaffe@user/cptaffe)
2024-07-12 02:07:05 +0200jrm(~jrm@user/jrm)
2024-07-12 02:07:05 +0200bionade24(~quassel@2a03:4000:33:45b::1)
2024-07-12 02:07:05 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es)
2024-07-12 02:07:05 +0200Teacup(~teacup@user/teacup)
2024-07-12 02:07:05 +0200eL_Bart0(eL_Bart0@dietunichtguten.org)
2024-07-12 02:07:05 +0200geekosaur(sid609282@xmonad/geekosaur)
2024-07-12 02:07:05 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200jackdk(sid373013@cssa/jackdk)
2024-07-12 02:07:05 +0200systemfault(sid267009@about/typescript/member/systemfault)
2024-07-12 02:07:05 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2024-07-12 02:07:05 +0200chessai(sid225296@id-225296.lymington.irccloud.com)
2024-07-12 02:07:05 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com)
2024-07-12 02:07:05 +0200caasih(sid13241@id-13241.ilkley.irccloud.com)
2024-07-12 02:07:05 +0200lexi-lambda(sid92601@id-92601.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com)
2024-07-12 02:07:05 +0200dy(sid3438@user/dy)
2024-07-12 02:07:05 +0200snek(sid280155@id-280155.lymington.irccloud.com)
2024-07-12 02:07:05 +0200mankyKitty(sid31287@id-31287.helmsley.irccloud.com)
2024-07-12 02:07:05 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200sa(sid1055@id-1055.tinside.irccloud.com)
2024-07-12 02:07:05 +0200Fangs(sid141280@id-141280.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com)
2024-07-12 02:07:05 +0200haasn(sid579015@id-579015.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200aspen(sid449115@id-449115.helmsley.irccloud.com)
2024-07-12 02:07:05 +0200xal(~xal@mx1.xal.systems)
2024-07-12 02:07:05 +0200piele(~piele@tbonesteak.creativeserver.net)
2024-07-12 02:07:05 +0200lbseale(~quassel@user/ep1ctetus)
2024-07-12 02:07:05 +0200tok(da65c7b04b@user/tok)
2024-07-12 02:07:05 +0200davean(~davean@davean.sciesnet.net)
2024-07-12 02:07:05 +0200c_wraith(~c_wraith@adjoint.us)
2024-07-12 02:07:05 +0200mmaruseacph2(~mihai@mihai.page)
2024-07-12 02:07:05 +0200Angelz(Angelz@user/angelz)
2024-07-12 02:07:05 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com)
2024-07-12 02:07:05 +0200Axman6(~Axman6@user/axman6)
2024-07-12 02:07:05 +0200dostoyevsky2(~sck@user/dostoyevsky2)
2024-07-12 02:07:05 +0200rembo10(~rembo10@main.remulis.com)
2024-07-12 02:07:05 +0200ell(~ellie@user/ellie)
2024-07-12 02:07:05 +0200dibblego(~dibblego@haskell/developer/dibblego)
2024-07-12 02:07:05 +0200vulpine(xfnw@user/meow/xfnw)
2024-07-12 02:07:05 +0200earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net)
2024-07-12 02:07:05 +0200Hafydd(~Hafydd@user/hafydd)
2024-07-12 02:07:05 +0200apache2(apache2@anubis.0x90.dk)
2024-07-12 02:07:05 +0200carbolymer(~carbolyme@dropacid.net)
2024-07-12 02:07:05 +0200Vq(~vq@81-231-76-8-no600.tbcn.telia.com)
2024-07-12 02:07:05 +0200auri(~auri@fsf/member/auri)
2024-07-12 02:07:05 +0200Philonous(~Philonous@user/philonous)
2024-07-12 02:07:05 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2024-07-12 02:07:05 +0200dfordvm(~dfordivam@160.16.87.223.v6.sakura.ne.jp)
2024-07-12 02:07:05 +0200df(~ben@justworks.xyz)
2024-07-12 02:07:05 +0200Aleksejs(~Aleksejs@107.170.21.106)
2024-07-12 02:07:05 +0200deriamis_(deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com)
2024-07-12 02:07:05 +0200xnyhps(~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288)
2024-07-12 02:07:05 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc)
2024-07-12 02:07:05 +0200wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1)
2024-07-12 02:07:05 +0200siers(~ij@user/ij)
2024-07-12 02:07:05 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com)
2024-07-12 02:07:05 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2024-07-12 02:07:05 +0200enikar(~enikar@user/enikar)
2024-07-12 02:07:05 +0200bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10)
2024-07-12 02:07:05 +0200aws(~alews@user/aws)
2024-07-12 02:07:05 +0200sweater(~sweater@206.81.18.26)
2024-07-12 02:07:05 +0200ario(~ario@159.65.220.102)
2024-07-12 02:07:05 +0200meejah(~meejah@104.236.166.239)
2024-07-12 02:07:07 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-07-12 02:07:48 +0200pavonia(~user@user/siracusa)
2024-07-12 02:07:50 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-07-12 02:07:50 +0200ChanServ+v haskellbridge
2024-07-12 02:07:55 +0200Ekho(~Ekho@user/ekho) (Max SendQ exceeded)
2024-07-12 02:07:55 +0200m5zs7k(aquares@web10.mydevil.net) (Max SendQ exceeded)
2024-07-12 02:08:13 +0200m5zs7k(aquares@web10.mydevil.net)
2024-07-12 02:09:03 +0200phma(~phma@host-67-44-208-89.hnremote.net)
2024-07-12 02:09:49 +0200029ABLN24(~phma@host-67-44-208-89.hnremote.net)
2024-07-12 02:09:49 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-07-12 02:09:49 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2)
2024-07-12 02:09:49 +0200bliminse(~bliminse@user/bliminse)
2024-07-12 02:09:49 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2024-07-12 02:09:49 +0200mauke(~mauke@user/mauke)
2024-07-12 02:09:49 +0200Batzy(~quassel@user/batzy)
2024-07-12 02:09:49 +0200peutri(~peutri@bobo.desast.re)
2024-07-12 02:09:49 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com)
2024-07-12 02:09:49 +0200krei-se(~krei-se@p5085d24b.dip0.t-ipconnect.de)
2024-07-12 02:09:49 +0200migas97(~migas@static.140.65.63.178.clients.your-server.de)
2024-07-12 02:09:49 +0200leah2(~leah@vuxu.org)
2024-07-12 02:09:49 +0200mrmr155334346(~mrmr@user/mrmr)
2024-07-12 02:09:49 +0200_xor(~xor@ip-208-102-243-175.dynamic.fuse.net)
2024-07-12 02:09:49 +0200lewisje(~lewisje@74.215.19.22)
2024-07-12 02:09:49 +0200xsarnik(xsarnik@lounge.fi.muni.cz)
2024-07-12 02:09:49 +0200raym(~ray@user/raym)
2024-07-12 02:09:49 +0200tolt(~weechat-h@li219-154.members.linode.com)
2024-07-12 02:09:49 +0200kimiamania(~65804703@user/kimiamania)
2024-07-12 02:09:49 +0200mzg(mzg@abusers.hu)
2024-07-12 02:09:49 +0200dunj3(~dunj3@kingdread.de)
2024-07-12 02:09:49 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2024-07-12 02:09:49 +0200gawen(~gawen@user/gawen)
2024-07-12 02:09:49 +0200it_(~quassel@v2202212189510211193.supersrv.de)
2024-07-12 02:09:49 +0200koz(~koz@121.99.240.58)
2024-07-12 02:09:49 +0200wagle(~wagle@quassel.wagle.io)
2024-07-12 02:09:49 +0200mjacob(~mjacob@adrastea.uberspace.de)
2024-07-12 02:09:49 +0200xelxebar(~xelxebar@wilsonb.com)
2024-07-12 02:09:49 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt)
2024-07-12 02:09:49 +0200stefan-_(~cri@42dots.de)
2024-07-12 02:09:49 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2024-07-12 02:09:49 +0200quintasan(~quassel@quintasan.pl)
2024-07-12 02:09:49 +0200tdammers_(~tdammers@41-138-178-143.ftth.glasoperator.nl)
2024-07-12 02:09:49 +0200lockna_(~lockna@static.139.16.130.94.clients.your-server.de)
2024-07-12 02:09:49 +0200joeyh_(~joeyh@kitenet.net)
2024-07-12 02:09:49 +0200Dykam(Dykam@dykam.nl)
2024-07-12 02:09:49 +0200vgtw(~vgtw@user/vgtw)
2024-07-12 02:09:49 +0200spider(spider@tilde.cafe)
2024-07-12 02:09:49 +0200iridium.libera.chat+v yahb2
2024-07-12 02:09:52 +0200eviltwin_b(~eviltwin_@xmonad/geekosaur)
2024-07-12 02:10:32 +0200eviltwin_b(~eviltwin_@xmonad/geekosaur) (Client Quit)
2024-07-12 02:11:11 +0200sa(sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 262 seconds)
2024-07-12 02:11:15 +0200 <geekosaur> (dunn if this survived the netsplit) rank-n types, possibly yes. MPTC/fundeps are pretty much unavoidable and have been for at least 20 years
2024-07-12 02:12:50 +0200sa(sid1055@id-1055.tinside.irccloud.com)
2024-07-12 02:15:35 +0200029ABLN24(~phma@host-67-44-208-89.hnremote.net) (Ping timeout: 250 seconds)
2024-07-12 02:18:59 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-07-12 02:20:45 +0200Ekho(~Ekho@user/ekho)
2024-07-12 02:23:21 +0200zhuberty(~zhuberty@user/zhuberty)
2024-07-12 02:27:01 +0200foul_owl(~kerry@185.219.141.162) (Ping timeout: 256 seconds)
2024-07-12 02:41:16 +0200foul_owl(~kerry@174-21-147-232.tukw.qwest.net)
2024-07-12 02:44:27 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-12 02:45:26 +0200 <davean> I like lambdacase but its DEFINATELY an extension, not fixing a problem.
2024-07-12 02:48:17 +0200poscat0x04(~poscat@user/poscat)
2024-07-12 02:48:22 +0200poscat(~poscat@user/poscat) (Ping timeout: 268 seconds)
2024-07-12 02:55:58 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com)
2024-07-12 03:00:30 +0200xff0x(~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5) (Ping timeout: 256 seconds)
2024-07-12 03:06:46 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-07-12 03:07:07 +0200xff0x(~xff0x@2405:6580:b080:900:cb48:b50f:16dd:ff64)
2024-07-12 03:15:49 +0200Pozyomka(~pyon@user/pyon) (Quit: brb)
2024-07-12 03:23:57 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-07-12 03:32:28 +0200jpyamamoto(~jpyamamot@user/jpyamamoto)
2024-07-12 03:43:58 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-07-12 03:44:23 +0200Inst(~Inst@user/Inst)
2024-07-12 03:50:06 +0200aforemny(~aforemny@2001:9e8:6ce2:b100:2ae8:9df1:3efc:f7d5)
2024-07-12 03:51:37 +0200aforemny_(~aforemny@i59F516D8.versanet.de) (Ping timeout: 272 seconds)
2024-07-12 03:55:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-07-12 04:10:55 +0200 <monochrom> I don't have my idea of "modern haskell", but I have my idea of "not-annoying haskell", and it includes LambdaCase, BlockArguments, ScopedTypeVariables. :)
2024-07-12 04:11:25 +0200 <bsima> +1
2024-07-12 04:14:05 +0200xff0x(~xff0x@2405:6580:b080:900:cb48:b50f:16dd:ff64) (Ping timeout: 240 seconds)
2024-07-12 04:16:08 +0200Pozyomka(~pyon@user/pyon)
2024-07-12 04:22:36 +0200jpyamamoto(~jpyamamot@user/jpyamamoto) (Remote host closed the connection)
2024-07-12 04:29:53 +0200td_(~td@i5387092C.versanet.de) (Ping timeout: 252 seconds)
2024-07-12 04:31:28 +0200td_(~td@i53870910.versanet.de)
2024-07-12 04:31:58 +0200 <yin> fyi TupleSections and ScopedTypeVariables are part of GHC2021+ and LambdaCase is part of GHC2024
2024-07-12 04:32:13 +0200 <yin> https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/control.html#extension-GHC2024
2024-07-12 04:48:59 +0200troydm(~troydm@user/troydm)
2024-07-12 04:54:59 +0200 <davean> ScopedTypeVariables is part of non-broken Haskell.
2024-07-12 04:55:22 +0200 <davean> I'd argue TupleSections is too, because it removes the one special case. That said, I'm less sure of that one.
2024-07-12 05:01:04 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-07-12 05:19:56 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
2024-07-12 05:21:39 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-07-12 05:26:51 +0200aforemny_(~aforemny@2001:9e8:6ceb:9800:f0b2:9010:cc:b689)
2024-07-12 05:28:07 +0200aforemny(~aforemny@2001:9e8:6ce2:b100:2ae8:9df1:3efc:f7d5) (Ping timeout: 260 seconds)
2024-07-12 05:33:20 +0200dfg(~dfg@user/dfg) (Server closed connection)
2024-07-12 05:33:35 +0200dfg(~dfg@user/dfg)
2024-07-12 05:33:55 +0200 <mauke> :t (, "f", ,)
2024-07-12 05:33:56 +0200 <lambdabot> t1 -> t2 -> t3 -> (t1, [Char], t2, t3)
2024-07-12 05:36:58 +0200yingasps
2024-07-12 05:38:09 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Remote host closed the connection)
2024-07-12 05:40:43 +0200troydm(~troydm@user/troydm) (Ping timeout: 268 seconds)
2024-07-12 05:41:41 +0200 <jle`> i have been rethinking tuple sections a bit lately. a lot of modern languages allow trailing commas in these sort of things, but tuplesections make this impossible
2024-07-12 05:42:05 +0200 <jle`> after programming in different languages for a while it seems like trailing commas is sort of a modern given
2024-07-12 05:42:39 +0200 <mauke> :t [, "f", ,]
2024-07-12 05:42:40 +0200 <lambdabot> error: parse error on input ‘,’
2024-07-12 05:44:04 +0200 <dibblego> @type \p -> over p . cons
2024-07-12 05:44:05 +0200 <lambdabot> Cons b b a a => ASetter s t b b -> a -> s -> t
2024-07-12 05:44:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-12 05:49:35 +0200 <dolio> It sounds very modern to cache in a nice feature to instead have a mediocre solution to non-problems created by bad tools. :þ
2024-07-12 05:49:45 +0200 <dolio> Cash in, I guess.
2024-07-12 05:50:56 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-07-12 05:53:19 +0200poscat0x04(~poscat@user/poscat) (Ping timeout: 260 seconds)
2024-07-12 05:55:39 +0200poscat(~poscat@user/poscat)
2024-07-12 05:57:25 +0200 <monochrom> I am more extreme. I want both leading commas and trailing commas! [, 1, 2, 3,]. But I get your point, my desire is only driven by bad tools.
2024-07-12 05:58:45 +0200 <yin> i want no commas
2024-07-12 05:58:49 +0200 <yin> lisp <3
2024-07-12 05:59:33 +0200 <monochrom> :(
2024-07-12 05:59:35 +0200 <monochrom> :D
2024-07-12 06:06:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-07-12 06:07:30 +0200 <haskellbridge> <maerwald> Get out
2024-07-12 06:08:59 +0200Fijxu(~Fijxu@user/fijxu) (Server closed connection)
2024-07-12 06:09:38 +0200Fijxu(~Fijxu@user/fijxu)
2024-07-12 06:10:11 +0200 <probie> monochrom: Clojure has leading and trailing commas and commas wherever else you want them because they're just treated as whitespace characters. It's also the same for GraphQL (albeit it's not a programming language)
2024-07-12 06:13:11 +0200 <haskellbridge> <maerwald> Clojure is trash
2024-07-12 06:14:36 +0200rosco(~rosco@175.136.155.137)
2024-07-12 06:17:58 +0200 <probie> I'm not exactly going to go out of my way to write Clojure, but it's certainly not at the bottom of my hierarchy of tolerable languages. All other things being equal, I'd take it over JavaScript (although probably not TypeScript)
2024-07-12 06:27:34 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2024-07-12 06:27:55 +0200YoungFrog(~youngfrog@2a02:a03f:c9db:fc00:e986:8b08:7baa:1e2a)
2024-07-12 06:30:52 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2024-07-12 06:31:46 +0200yin(~yin@user/zero) (Ping timeout: 246 seconds)
2024-07-12 06:33:38 +0200meritamen(~user@user/meritamen)
2024-07-12 06:34:20 +0200meritamen(~user@user/meritamen) (Remote host closed the connection)
2024-07-12 06:52:34 +0200rosco(~rosco@175.136.155.137) (Quit: Lost terminal)
2024-07-12 06:55:02 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-12 06:55:57 +0200foul_owl(~kerry@174-21-147-232.tukw.qwest.net) (Ping timeout: 268 seconds)
2024-07-12 06:58:57 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-07-12 06:59:09 +0200euleritian(~euleritia@77.22.252.56)
2024-07-12 07:08:09 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-07-12 07:08:29 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-12 07:09:09 +0200foul_owl(~kerry@185.216.231.179)
2024-07-12 07:09:09 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-12 07:10:01 +0200euleritian(~euleritia@77.22.252.56)
2024-07-12 07:18:44 +0200img(~img@user/img) (Server closed connection)
2024-07-12 07:19:02 +0200img(~img@user/img)
2024-07-12 07:25:44 +0200acidjnk_new(~acidjnk@p200300d6e72cfb32118c9e6089f03830.dip0.t-ipconnect.de)
2024-07-12 07:26:16 +0200 <jackdk> Nixlang has space-separated lists and space-separated function application, which is a perennial source of entertainment^Wbugs. Lisp can get away with no commas because it has parens for function application. I wish more languages used sexps as syntax, they're delightful to edit and lay out
2024-07-12 07:26:29 +0200Hobbyboy(Hobbyboy@hobbyboy.co.uk) (Server closed connection)
2024-07-12 07:28:15 +0200Hobbyboy(Hobbyboy@hobbyboy.co.uk)
2024-07-12 07:30:24 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-07-12 07:32:13 +0200danse-nr3(~danse-nr3@151.57.171.215)
2024-07-12 07:41:41 +0200danse-nr3(~danse-nr3@151.57.171.215) (Remote host closed the connection)
2024-07-12 07:42:03 +0200danse-nr3(~danse-nr3@151.57.171.215)
2024-07-12 07:46:56 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-07-12 07:52:47 +0200Square2(~Square4@user/square) (Ping timeout: 260 seconds)
2024-07-12 07:59:23 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-07-12 08:03:41 +0200nek0(~nek0@user/nek0) (Server closed connection)
2024-07-12 08:03:57 +0200nek0(~nek0@2a01:4f8:222:2b41::12)
2024-07-12 08:03:57 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Changing host)
2024-07-12 08:03:57 +0200nek0(~nek0@user/nek0)
2024-07-12 08:05:17 +0200Square(~Square@user/square)
2024-07-12 08:08:16 +0200 <haskellbridge> <sm> https://discourse.haskell.org/t/information-about-my-programming-language-project-lemma/9937 is interesting. Commas or newlines are equivalent
2024-07-12 08:19:58 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-07-12 08:21:58 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-07-12 08:27:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-12 08:29:11 +0200czy(~user@fortigate.wolfson.cam.ac.uk)
2024-07-12 08:35:29 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving)
2024-07-12 08:38:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-12 08:39:01 +0200echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2024-07-12 08:39:33 +0200echoreply(~echoreply@45.32.163.16)
2024-07-12 08:40:30 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
2024-07-12 08:40:53 +0200noctuks(IEHAXjvqp6@user/noctux) (Server closed connection)
2024-07-12 08:41:11 +0200noctuks(jNrZ4rwLcI@user/noctux)
2024-07-12 08:42:57 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-07-12 08:58:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-07-12 09:07:39 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 256 seconds)
2024-07-12 09:07:55 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-07-12 09:08:25 +0200rvalue(~rvalue@user/rvalue)
2024-07-12 09:12:00 +0200euleritian(~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de)
2024-07-12 09:12:48 +0200euleritian(~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-12 09:16:43 +0200euleritian(~euleritia@77.22.252.56)
2024-07-12 09:17:28 +0200barodo(~barodo@149.50.189.151)
2024-07-12 09:18:25 +0200barodo(~barodo@149.50.189.151) (Client Quit)
2024-07-12 09:26:46 +0200kenran(~user@user/kenran)
2024-07-12 09:40:34 +0200kenran(~user@user/kenran) (Remote host closed the connection)
2024-07-12 09:47:32 +0200dhil(~dhil@2001:8e0:2014:3100:a85b:6416:b5a0:a3a6)
2024-07-12 09:49:26 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 252 seconds)
2024-07-12 09:49:53 +0200euleritian(~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de)
2024-07-12 09:52:16 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-12 09:53:44 +0200dminuoso(~weechat@user/dminuoso) (Server closed connection)
2024-07-12 09:54:10 +0200weechat2(~weechat@user/dminuoso)
2024-07-12 09:55:02 +0200simendsjo(~user@31-209-41-23.cust.bredband2.com)
2024-07-12 09:58:23 +0200Typedfern(~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) (Server closed connection)
2024-07-12 09:58:46 +0200Typedfern(~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net)
2024-07-12 10:00:52 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-12 10:00:52 +0200kenran(~user@user/kenran)
2024-07-12 10:05:35 +0200Franciman(~Franciman@mx1.fracta.dev) (Ping timeout: 256 seconds)
2024-07-12 10:07:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-12 10:07:43 +0200poscat(~poscat@user/poscat) (Ping timeout: 256 seconds)
2024-07-12 10:09:50 +0200euleritian(~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-12 10:10:07 +0200poscat(~poscat@user/poscat)
2024-07-12 10:10:09 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-12 10:17:58 +0200czy(~user@fortigate.wolfson.cam.ac.uk) (Remote host closed the connection)
2024-07-12 10:19:37 +0200Square(~Square@user/square) (Ping timeout: 256 seconds)
2024-07-12 10:24:29 +0200michalz(~michalz@185.246.207.218)
2024-07-12 10:25:51 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-07-12 10:26:09 +0200danse-nr3(~danse-nr3@151.57.171.215) (Quit: Leaving)
2024-07-12 10:26:46 +0200euleritian(~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de)
2024-07-12 10:27:41 +0200euleritian(~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-07-12 10:27:59 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-12 10:33:06 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-07-12 10:33:54 +0200acidjnk_new3(~acidjnk@p200300d6e72cfb326c97883dc2703faf.dip0.t-ipconnect.de)
2024-07-12 10:36:35 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-07-12 10:36:57 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 272 seconds)
2024-07-12 10:37:41 +0200acidjnk_new(~acidjnk@p200300d6e72cfb32118c9e6089f03830.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-07-12 10:39:13 +0200TactfulCitrus(~al@2a02:8012:87a6:0:bee8:7ef6:2b1b:f311) (Ping timeout: 246 seconds)
2024-07-12 10:41:43 +0200euleritian(~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de)
2024-07-12 10:49:47 +0200raym(~ray@user/raym) (Ping timeout: 264 seconds)
2024-07-12 10:51:26 +0200ghodawalaaman(~thelounge@user/thelounge8234) (Quit: Ping timeout (120 seconds))
2024-07-12 10:51:34 +0200raym(~ray@user/raym)
2024-07-12 10:51:51 +0200ghodawalaaman(~thelounge@194-195-113-248.ip.linodeusercontent.com)
2024-07-12 10:52:09 +0200ghodawalaamanGuest857
2024-07-12 10:57:44 +0200danse-nr3(~danse-nr3@151.57.150.40)
2024-07-12 10:59:27 +0200Guest857(~thelounge@194-195-113-248.ip.linodeusercontent.com) (Changing host)
2024-07-12 10:59:27 +0200Guest857(~thelounge@user/thelounge8234)
2024-07-12 11:00:54 +0200kenran(~user@user/kenran) (Remote host closed the connection)
2024-07-12 11:01:16 +0200euleritian(~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) (Ping timeout: 246 seconds)
2024-07-12 11:01:35 +0200euleritian(~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de)
2024-07-12 11:05:18 +0200Guest857ghodawalaaman
2024-07-12 11:05:30 +0200CiaoSen(~Jura@2a05:5800:2b4:7a00:e6b9:7aff:fe80:3d03)
2024-07-12 11:08:53 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds)
2024-07-12 11:12:18 +0200cfricke(~cfricke@user/cfricke)
2024-07-12 11:13:29 +0200simendsjo(~user@31-209-41-23.cust.bredband2.com) (Remote host closed the connection)
2024-07-12 11:14:29 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-07-12 11:17:36 +0200chele(~chele@user/chele)
2024-07-12 11:22:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-12 11:25:01 +0200misterfish(~misterfis@87.215.131.102)
2024-07-12 11:28:05 +0200driib3(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-07-12 11:28:18 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-07-12 11:28:43 +0200driib3(~driib@vmi931078.contaboserver.net)
2024-07-12 11:31:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-12 11:35:01 +0200simendsjo(~user@31-209-41-68.cust.bredband2.com)
2024-07-12 11:36:04 +0200michalz(~michalz@185.246.207.218) (Quit: ZNC 1.9.0 - https://znc.in)
2024-07-12 11:37:15 +0200cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2024-07-12 11:41:56 +0200killer(~killer@2603:c021:8004:5ddd:9f39:b2ed:a098:162f)
2024-07-12 11:42:53 +0200killer(~killer@2603:c021:8004:5ddd:9f39:b2ed:a098:162f) (Client Quit)
2024-07-12 11:44:27 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-07-12 11:46:33 +0200gmg(~user@user/gehmehgeh)
2024-07-12 11:47:26 +0200infinity0(~infinity0@pwned.gg)
2024-07-12 11:51:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-12 11:55:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-12 12:00:05 +0200mikess(~mikess@user/mikess) (Ping timeout: 240 seconds)
2024-07-12 12:01:09 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-07-12 12:02:21 +0200califax(~califax@user/califx)
2024-07-12 12:07:11 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds)
2024-07-12 12:17:27 +0200 <danse-nr3> i like this dev's style cs-syd.eu/posts/2024-07-08_announcing-opt-env-conf
2024-07-12 12:17:51 +0200euleritian(~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) (Ping timeout: 268 seconds)
2024-07-12 12:19:15 +0200CiaoSen(~Jura@2a05:5800:2b4:7a00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds)
2024-07-12 12:19:15 +0200euleritian(~euleritia@dynamic-176-006-192-149.176.6.pool.telefonica.de)
2024-07-12 12:19:43 +0200alexherbo2(~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net)
2024-07-12 12:23:26 +0200euleritian(~euleritia@dynamic-176-006-192-149.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-07-12 12:29:29 +0200alexherbo2(~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net) (Remote host closed the connection)
2024-07-12 12:29:50 +0200alexherbo2(~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net)
2024-07-12 12:36:14 +0200czy(~user@fortigate.wolfson.cam.ac.uk)
2024-07-12 12:36:35 +0200simendsjo(~user@31-209-41-68.cust.bredband2.com) (Ping timeout: 264 seconds)
2024-07-12 12:38:15 +0200cheater(~Username@user/cheater)
2024-07-12 12:39:24 +0200cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2024-07-12 12:40:10 +0200cheater(~Username@user/cheater)
2024-07-12 12:41:56 +0200ridcully(~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Quit: WeeChat 4.3.2)
2024-07-12 12:42:14 +0200ridcully(~ridcully@p508ac2b4.dip0.t-ipconnect.de)
2024-07-12 13:01:35 +0200xff0x(~xff0x@2405:6580:b080:900:bf0c:5535:de21:7813)
2024-07-12 13:05:02 +0200dhil(~dhil@2001:8e0:2014:3100:a85b:6416:b5a0:a3a6) (Ping timeout: 268 seconds)
2024-07-12 13:05:33 +0200yin(~yin@user/zero)
2024-07-12 13:08:05 +0200sroso(~sroso@user/SrOso) (Quit: Leaving :))
2024-07-12 13:08:05 +0200kenran(~user@user/kenran)
2024-07-12 13:10:36 +0200nullobject(~josh@user/nullobject)
2024-07-12 13:11:10 +0200__monty__(~toonn@user/toonn)
2024-07-12 13:14:34 +0200nullobject(~josh@user/nullobject) (Client Quit)
2024-07-12 13:18:01 +0200nullobject(~josh@user/nullobject)
2024-07-12 13:22:39 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 256 seconds)
2024-07-12 13:24:15 +0200nullobject(~josh@user/nullobject) (Quit: WeeChat 3.5)
2024-07-12 13:26:26 +0200weechat2dminuoso
2024-07-12 13:31:04 +0200nullobject(~nullobjec@user/nullobject)
2024-07-12 13:32:10 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds)
2024-07-12 13:34:34 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-07-12 13:35:15 +0200haritz(~hrtz@user/haritz) (Remote host closed the connection)
2024-07-12 13:35:46 +0200haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk)
2024-07-12 13:37:34 +0200haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host)
2024-07-12 13:37:34 +0200haritz(~hrtz@user/haritz)
2024-07-12 13:48:13 +0200nullobject(~nullobjec@user/nullobject) (Ping timeout: 246 seconds)
2024-07-12 13:54:37 +0200alexherbo2(~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net) (Remote host closed the connection)
2024-07-12 13:54:57 +0200alexherbo2(~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net)
2024-07-12 14:07:56 +0200tomku(~tomku@user/tomku) (Ping timeout: 252 seconds)
2024-07-12 14:08:10 +0200tomku(~tomku@user/tomku)
2024-07-12 14:11:11 +0200kenran(~user@user/kenran) (Remote host closed the connection)
2024-07-12 14:13:55 +0200CiaoSen(~Jura@2a05:5800:2b4:7a00:e6b9:7aff:fe80:3d03)
2024-07-12 14:16:01 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-07-12 14:17:08 +0200califax(~califax@user/califx)
2024-07-12 14:22:23 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-07-12 14:25:11 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-07-12 14:25:39 +0200danse-nr3(~danse-nr3@151.57.150.40) (Quit: Leaving)
2024-07-12 14:25:50 +0200rvalue-(~rvalue@user/rvalue)
2024-07-12 14:26:22 +0200califax(~califax@user/califx)
2024-07-12 14:26:44 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 268 seconds)
2024-07-12 14:27:23 +0200tomku(~tomku@user/tomku) (Remote host closed the connection)
2024-07-12 14:27:37 +0200tomku(~tomku@user/tomku)
2024-07-12 14:29:55 +0200ph88(~ph88@2a02:8109:9e26:c800:d825:8718:98d7:1cb9)
2024-07-12 14:30:03 +0200 <ph88> hi all !
2024-07-12 14:30:27 +0200 <ph88> How can i define that k must be a type in this type signature? https://bpa.st/PA7Q
2024-07-12 14:32:28 +0200 <mauke> :t 1 :: (Int :: *)
2024-07-12 14:32:29 +0200 <lambdabot> Int
2024-07-12 14:33:26 +0200 <mauke> I wonder if you could just say ... (response :: Type) in that type signature
2024-07-12 14:33:42 +0200rvalue-rvalue
2024-07-12 14:35:27 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-07-12 14:36:58 +0200califax(~califax@user/califx)
2024-07-12 14:38:43 +0200tomku(~tomku@user/tomku) (Remote host closed the connection)
2024-07-12 14:38:57 +0200tomku(~tomku@user/tomku)
2024-07-12 14:39:11 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-07-12 14:39:44 +0200 <ph88> Not in scope: type constructor or class ‘Type’
2024-07-12 14:40:16 +0200califax(~califax@user/califx)
2024-07-12 14:40:37 +0200 <mauke> Data.Kind? or where was it defined
2024-07-12 14:41:16 +0200 <ph88> mauke, i tried with star, not sure where i should put the signature https://bpa.st/3TNA
2024-07-12 14:42:58 +0200ubert(~Thunderbi@p200300ecdf24f18b8c1e05593c61bd0b.dip0.t-ipconnect.de)
2024-07-12 14:43:05 +0200 <mauke> (response :: *)
2024-07-12 14:44:04 +0200 <mauke> wait, that still doesn't make sense
2024-07-12 14:46:24 +0200 <mauke> if "k must be a type", then response would be a value, so what is it doing in a type signature?
2024-07-12 14:47:21 +0200euleritian(~euleritia@dynamic-176-006-193-058.176.6.pool.telefonica.de)
2024-07-12 14:50:27 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-07-12 14:54:38 +0200 <ph88> hmm let me think about this for a bit
2024-07-12 14:56:30 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-07-12 15:01:52 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-07-12 15:02:22 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-07-12 15:19:37 +0200danse-nr3(~danse-nr3@151.43.98.142)
2024-07-12 15:19:52 +0200danse-nr3(~danse-nr3@151.43.98.142) (Remote host closed the connection)
2024-07-12 15:20:17 +0200danse-nr3(~danse-nr3@151.43.98.142)
2024-07-12 15:20:53 +0200euleritian(~euleritia@dynamic-176-006-193-058.176.6.pool.telefonica.de) (Ping timeout: 240 seconds)
2024-07-12 15:21:42 +0200euleritian(~euleritia@dynamic-176-001-218-022.176.1.pool.telefonica.de)
2024-07-12 15:26:23 +0200xdminsy(~xdminsy@117.147.70.227)
2024-07-12 15:32:52 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-07-12 15:35:28 +0200ystael(~ystael@user/ystael)
2024-07-12 15:36:01 +0200euleritian(~euleritia@dynamic-176-001-218-022.176.1.pool.telefonica.de) (Ping timeout: 246 seconds)
2024-07-12 15:54:28 +0200tomku(~tomku@user/tomku) (Remote host closed the connection)
2024-07-12 15:54:42 +0200tomku(~tomku@user/tomku)
2024-07-12 15:58:20 +0200alexherbo2(~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net) (Remote host closed the connection)
2024-07-12 15:58:39 +0200alexherbo2(~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net)
2024-07-12 16:08:23 +0200 <yin> > (7 :: (Num k => k :: (Type :: Type)))
2024-07-12 16:08:24 +0200 <lambdabot> error:
2024-07-12 16:08:25 +0200 <lambdabot> Not in scope: type constructor or class ‘Type’error:
2024-07-12 16:08:25 +0200 <lambdabot> Not in scope: type constructor or class ‘Type’
2024-07-12 16:08:40 +0200 <yin> > (7 :: (Num k => k :: (Data.Kind.Type :: Data.Kind.Type)))
2024-07-12 16:08:41 +0200 <lambdabot> error:
2024-07-12 16:08:42 +0200 <lambdabot> Not in scope: type constructor or class ‘Data.Kind.Type’
2024-07-12 16:08:42 +0200 <lambdabot> No module named ‘Data.Kind’ is imported.error:
2024-07-12 16:08:47 +0200 <yin> damn it
2024-07-12 16:08:47 +0200 <danse-nr3> hoogle Type
2024-07-12 16:08:52 +0200 <danse-nr3> @hoogle Type
2024-07-12 16:08:52 +0200 <lambdabot> Data.Kind type Type = Type
2024-07-12 16:08:52 +0200 <lambdabot> module GHC.Exception.Type
2024-07-12 16:08:52 +0200 <lambdabot> GHC.Exts data TYPE (a :: RuntimeRep)
2024-07-12 16:09:01 +0200 <yin> > (7 :: (Num k => k :: (* :: *)))
2024-07-12 16:09:02 +0200 <lambdabot> 7
2024-07-12 16:09:02 +0200 <danse-nr3> > import Data.Kind
2024-07-12 16:09:04 +0200 <lambdabot> <hint>:1:1: error: parse error on input ‘import’
2024-07-12 16:09:27 +0200 <yin> > (7 :: (Num k => k :: (* :: (* :: *)))) -- this is my point
2024-07-12 16:09:27 +0200 <danse-nr3> % import Data.Kind
2024-07-12 16:09:27 +0200 <yahb2> <no output>
2024-07-12 16:09:28 +0200 <lambdabot> 7
2024-07-12 16:10:01 +0200 <danse-nr3> % (7 :: (Num k => k :: (Type :: Type)))
2024-07-12 16:10:01 +0200 <yahb2> 7
2024-07-12 16:10:10 +0200 <yin> mauke: ph88: this^
2024-07-12 16:10:26 +0200alexherbo2(~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net) (Remote host closed the connection)
2024-07-12 16:11:05 +0200Sgeo(~Sgeo@user/sgeo)
2024-07-12 16:11:19 +0200 <haskellbridge> <mauke> @let import Data.Kind
2024-07-12 16:11:51 +0200 <danse-nr3> @let import Data.Kind
2024-07-12 16:11:52 +0200 <lambdabot> Defined.
2024-07-12 16:12:05 +0200 <danse-nr3> hmm... not sure that's what you wanted
2024-07-12 16:13:55 +0200 <yin> kinds have metakinds which in turn have metametakinds ad infinitum (actually i think there's a limit in haskell but whatever)
2024-07-12 16:14:36 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-07-12 16:14:46 +0200 <haskellbridge> <mauke> Now Type should exist in lambdabot
2024-07-12 16:15:23 +0200 <yin> > (7 :: (Num k => k :: (Type :: (Type :: Type))))
2024-07-12 16:15:24 +0200 <lambdabot> 7
2024-07-12 16:15:28 +0200alexherbo2(~alexherbo@30.151.22.93.rev.sfr.net)
2024-07-12 16:15:29 +0200 <danse-nr3> i thought you wanted that, but the `Defined` reply confused me
2024-07-12 16:15:37 +0200 <yin> > (7 :: (Num k => k :: (Type :: (Type :: (Type :: Type)))))
2024-07-12 16:15:38 +0200 <lambdabot> 7
2024-07-12 16:15:47 +0200 <yin> > (7 :: (Num k => k :: (Type :: (Type :: (Type :: (Type :: Type))))))
2024-07-12 16:15:48 +0200 <lambdabot> 7
2024-07-12 16:15:50 +0200 <yin> etc...
2024-07-12 16:18:28 +0200 <yin> not that related, but this reminded me of something i learned not long ago about how the derivation hierarchy goes in physics: position, velocity, acceleration, jerk, snap/jounce, crackle and pop
2024-07-12 16:20:36 +0200 <Leary> The original error was "Expected a type, but ‘response’ has kind ‘k’". That means /response/ should be a Type, not k---TypeInType is moot.
2024-07-12 16:22:51 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 260 seconds)
2024-07-12 16:25:11 +0200pavonia(~user@user/siracusa)
2024-07-12 16:27:02 +0200 <kuribas> I guess the confusing is between "k is a type" and "k is Type"
2024-07-12 16:27:14 +0200 <kuribas> One is (k :: *), the other (k ~ *)
2024-07-12 16:28:39 +0200 <yin> exactly
2024-07-12 16:29:07 +0200 <kuribas> It's something that can be confusing at first when dealing with dependent types.
2024-07-12 16:29:55 +0200 <yin> imo haskell should do something about this, but i'm happy enough that we moved away from *
2024-07-12 16:29:59 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 264 seconds)
2024-07-12 16:30:12 +0200dhil(~dhil@2001:8e0:2014:3100:6d7c:ff84:7411:4b4e)
2024-07-12 16:30:16 +0200CiaoSen(~Jura@2a05:5800:2b4:7a00:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds)
2024-07-12 16:30:58 +0200 <yin> our type system needs a type system goddammit
2024-07-12 16:31:13 +0200 <kuribas> -XDependentTypes :)
2024-07-12 16:31:43 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer)
2024-07-12 16:32:32 +0200czy(~user@fortigate.wolfson.cam.ac.uk) (Ping timeout: 268 seconds)
2024-07-12 16:34:09 +0200euleritian(~euleritia@dynamic-176-003-089-142.176.3.pool.telefonica.de)
2024-07-12 16:34:12 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-12 16:34:45 +0200 <kuribas> Our type system has a type system, it's called Kinds.
2024-07-12 16:35:05 +0200 <kuribas> it used to be simple: kind = * | kind -> kind
2024-07-12 16:35:13 +0200 <srk> yin: it also goes the other way around https://en.wikipedia.org/wiki/Absement#Higher_integrals :D
2024-07-12 16:35:28 +0200 <kuribas> But then we allowed lifting values in types, "constraint kinds", etc...
2024-07-12 16:36:23 +0200 <kuribas> All of this to hide the fact that haskell isn't really dependently typed, and type level programming is not what makes haskell great.
2024-07-12 16:39:54 +0200 <yin> srk: "abserk"
2024-07-12 16:41:05 +0200 <EvanR> abasement
2024-07-12 16:41:16 +0200 <EvanR> apenthouse
2024-07-12 16:42:00 +0200 <yin> what's abs+pop ?
2024-07-12 16:42:50 +0200m1dnight(~christoph@82.146.125.185) (Quit: WeeChat 4.2.2)
2024-07-12 16:43:06 +0200 <yin> kuribas: :)
2024-07-12 16:43:16 +0200m1dnight(~christoph@82.146.125.185)
2024-07-12 16:44:26 +0200CiaoSen(~Jura@2a05:5800:2b4:7a00:e6b9:7aff:fe80:3d03)
2024-07-12 16:47:34 +0200 <srk> yin: seems to only go up to absounce :(
2024-07-12 16:47:36 +0200cpressey(~weechat@176.254.71.203)
2024-07-12 16:48:14 +0200 <yin> srk: absounce sounds like something you're low in on mondays
2024-07-12 16:49:53 +0200 <yin> my absounce is constant on mondays
2024-07-12 16:50:33 +0200 <yin> need to angle it up
2024-07-12 16:50:52 +0200 <yin> and then you feel the weight of all its derivatives
2024-07-12 16:51:38 +0200 <yin> until you get a litte movement
2024-07-12 16:51:55 +0200 <srk> :))
2024-07-12 17:00:05 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 240 seconds)
2024-07-12 17:04:12 +0200TMA(tma@twin.jikos.cz)
2024-07-12 17:06:22 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-07-12 17:07:54 +0200ubert1(~Thunderbi@p200300ecdf24f17cdfae8dfb94d1c609.dip0.t-ipconnect.de)
2024-07-12 17:08:53 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 240 seconds)
2024-07-12 17:08:53 +0200ubert(~Thunderbi@p200300ecdf24f18b8c1e05593c61bd0b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-07-12 17:08:53 +0200ubert1ubert
2024-07-12 17:15:35 +0200yin(~yin@user/zero) (Ping timeout: 260 seconds)
2024-07-12 17:16:38 +0200cfricke(~cfricke@user/cfricke)
2024-07-12 17:21:22 +0200TMA(tma@twin.jikos.cz)
2024-07-12 17:21:51 +0200forell(~forell@user/forell)
2024-07-12 17:34:40 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 246 seconds)
2024-07-12 17:37:45 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de)
2024-07-12 17:41:37 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-07-12 17:44:18 +0200mikess(~mikess@user/mikess)
2024-07-12 17:48:59 +0200cfricke(~cfricke@user/cfricke)
2024-07-12 18:00:46 +0200 <Leary> Is there a nice way to convince haddock to break up long types line by line? Putting a one-space comment ("-- ^ ") on one argument works, but looking at it is giving me rabies.
2024-07-12 18:02:12 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-07-12 18:05:41 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-07-12 18:09:58 +0200tomku(~tomku@user/tomku) (Ping timeout: 268 seconds)
2024-07-12 18:10:00 +0200CiaoSen(~Jura@2a05:5800:2b4:7a00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds)
2024-07-12 18:10:13 +0200tomku(~tomku@user/tomku)
2024-07-12 18:12:47 +0200danse-nr3(~danse-nr3@151.43.98.142) (Quit: Leaving)
2024-07-12 18:24:03 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-12 18:25:36 +0200 <Leary> Marginal improvement: use {- | -} or {- ^ -}. At least they're symmetric, and absent of trailing spaces? It's enough to keep rabies at bay, but I might still get a flu.
2024-07-12 18:26:35 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-07-12 18:30:19 +0200dhil(~dhil@2001:8e0:2014:3100:6d7c:ff84:7411:4b4e) (Ping timeout: 246 seconds)
2024-07-12 18:39:34 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 268 seconds)
2024-07-12 18:44:23 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-07-12 18:44:49 +0200srk(~sorki@user/srk) (Ping timeout: 268 seconds)
2024-07-12 18:45:05 +0200ystael(~ystael@user/ystael) (Ping timeout: 256 seconds)
2024-07-12 18:45:34 +0200srk(~sorki@user/srk)
2024-07-12 18:47:03 +0200ystael(~ystael@user/ystael)
2024-07-12 18:51:25 +0200alexherbo2(~alexherbo@30.151.22.93.rev.sfr.net) (Remote host closed the connection)
2024-07-12 19:03:10 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-07-12 19:08:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-12 19:15:08 +0200Jackneill(~Jackneill@217-197-184-151.pool.digikabel.hu)
2024-07-12 19:20:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-12 19:21:35 +0200hueso(~root@user/hueso) (Quit: No Ping reply in 180 seconds.)
2024-07-12 19:22:46 +0200hueso(~root@user/hueso)
2024-07-12 19:25:52 +0200yin(~yin@user/zero)
2024-07-12 19:28:01 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-07-12 19:35:47 +0200ash3en(~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8)
2024-07-12 19:41:32 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-07-12 19:45:21 +0200ash3enultima12
2024-07-12 19:48:28 +0200motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2024-07-12 19:53:38 +0200Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-07-12 19:56:48 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-07-12 20:14:16 +0200_________(~nobody@user/noodly) (Ping timeout: 246 seconds)
2024-07-12 20:15:32 +0200_________(~nobody@user/noodly)
2024-07-12 20:22:22 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-07-12 20:23:17 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2024-07-12 20:23:43 +0200Lord_of_Life_Lord_of_Life
2024-07-12 20:26:05 +0200cheater_(~Username@user/cheater)
2024-07-12 20:27:36 +0200Pixi(~Pixi@user/pixi)
2024-07-12 20:28:47 +0200cheater(~Username@user/cheater) (Ping timeout: 264 seconds)
2024-07-12 20:28:51 +0200cheater_cheater
2024-07-12 20:34:47 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer)
2024-07-12 20:37:21 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-07-12 20:41:07 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Remote host closed the connection)
2024-07-12 20:44:05 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-07-12 20:50:01 +0200motherfsck(~motherfsc@user/motherfsck)
2024-07-12 20:58:54 +0200tomku(~tomku@user/tomku) (Remote host closed the connection)
2024-07-12 20:59:08 +0200tomku(~tomku@user/tomku)
2024-07-12 21:00:40 +0200misterfish(~misterfis@84.53.85.146)
2024-07-12 21:01:28 +0200target_i(~target_i@user/target-i/x-6023099)
2024-07-12 21:03:19 +0200ultima12(~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) (Ping timeout: 250 seconds)
2024-07-12 21:04:57 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-07-12 21:06:36 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-12 21:09:14 +0200xdminsy(~xdminsy@117.147.70.227) (Quit: Konversation terminated!)
2024-07-12 21:09:14 +0200christiaanb(uid84827@id-84827.lymington.irccloud.com)
2024-07-12 21:11:00 +0200alexherbo2(~alexherbo@2a02-8440-311a-ab9d-bd9d-bb5a-6bfa-4981.rev.sfr.net)
2024-07-12 21:16:20 +0200euphores(~SASL_euph@user/euphores)
2024-07-12 21:16:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-12 21:16:49 +0200incertia(~incertia@209.122.137.252) (Ping timeout: 268 seconds)
2024-07-12 21:18:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-12 21:23:06 +0200cpressey(~weechat@176.254.71.203)
2024-07-12 21:33:42 +0200incertia(~incertia@209.122.137.252)
2024-07-12 21:33:57 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split)
2024-07-12 21:34:18 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net)
2024-07-12 21:35:23 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-07-12 21:35:38 +0200tomku(~tomku@user/tomku) (Remote host closed the connection)
2024-07-12 21:35:53 +0200tomku(~tomku@user/tomku)
2024-07-12 21:36:35 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 264 seconds)
2024-07-12 21:42:25 +0200ash3en(~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8)
2024-07-12 21:45:31 +0200destituion(~destituio@ti0185q160-0175.bb.online.no)
2024-07-12 21:50:07 +0200cattiesCatty
2024-07-12 21:50:07 +0200ash3en(~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) (Ping timeout: 250 seconds)
2024-07-12 21:50:31 +0200cpressey(~weechat@176.254.71.203)
2024-07-12 21:51:25 +0200hugo-(hugo@quicksilver.lysator.liu.se)
2024-07-12 21:52:29 +0200hgolden_(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection)
2024-07-12 21:52:47 +0200ash3en(~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8)
2024-07-12 21:53:15 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9)
2024-07-12 21:54:26 +0200Square(~Square@user/square)
2024-07-12 21:56:46 +0200mniip_(mniip@libera/staff/mniip) (*.net *.split)
2024-07-12 21:56:53 +0200mniip(mniip@libera/staff/mniip)
2024-07-12 22:03:51 +0200 <ph88> i tried to make a piece of code abstract while working with typeclasses, after that code is done i want to get back the concrete type, i can do it with unsafeCoerce. Is there another way? Perhaps i can match case on all the possible instances of the typeclass?
2024-07-12 22:04:10 +0200 <ph88> or is there perhaps a better design pattern ?
2024-07-12 22:06:35 +0200ash3en(~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) (Ping timeout: 250 seconds)
2024-07-12 22:07:59 +0200 <tomsmeding> ph88: type classes are open (anyone can add an additional instance), so you cannot case match on the types of a type class
2024-07-12 22:08:08 +0200 <tomsmeding> what would that even mean for MultiParamTypeClasses?
2024-07-12 22:09:03 +0200 <tomsmeding> at the place where you passed the value (of concrete type) to a function that expects some abstracted type, you remember that it's actually the concrete type
2024-07-12 22:09:07 +0200 <tomsmeding> so there you can "convert back", i.e. do nothing
2024-07-12 22:14:34 +0200ash3en(~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8)
2024-07-12 22:16:36 +0200 <Leary> I rather suspect we're dealing with an existential, not a universal. ph88? If it's so, you need to wrap up something like a `Typeable` constraint with the value and use `cast`.
2024-07-12 22:17:01 +0200 <tomsmeding> possibly, but in that case I would suggest not using an existential if possible
2024-07-12 22:17:06 +0200 <ph88> i have put all of those types that implement the type class into a single list wrapped in this type https://bpa.st/7ZYQ they need to be in a single list because the abstract code works like that. The abstract code will change the values through the typeclass. Afterwards i need to put them back together in their original shape.
2024-07-12 22:17:12 +0200 <ph88> yes existential
2024-07-12 22:17:34 +0200 <tomsmeding> as in, if you currently have a function that takes an (exists a. C a => a), rewrite it to take an 'a' and give it a 'C a' constraint
2024-07-12 22:18:17 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 256 seconds)
2024-07-12 22:18:24 +0200 <tomsmeding> what about a HList with the All constraint on its type-level list?
2024-07-12 22:18:31 +0200 <tomsmeding> then the type of the HList reflects what's inside
2024-07-12 22:18:44 +0200 <tomsmeding> so if you know what that type-level list is, you can get them back out in a type-safe manner
2024-07-12 22:19:21 +0200cpressey(~weechat@176.254.71.203)
2024-07-12 22:19:30 +0200 <ph88> the abstract code can not know what the types are inside the existential .. otherwise my code won't be modular (i want to split that part out into a library later)
2024-07-12 22:19:52 +0200 <tomsmeding> if a function takes any 'a', then it certainly doesn't know what that 'a' is
2024-07-12 22:21:08 +0200 <ph88> true, just at the moment it can operate on it through the typeclass
2024-07-12 22:21:14 +0200 <tomsmeding> indeed
2024-07-12 22:21:22 +0200 <tomsmeding> no need for an existential to achieve modularity ;)
2024-07-12 22:22:07 +0200 <ph88> existential was needed to put all of the types into some kind of key-value data structure where i get the key through the typeclass and is further agnostic about the relation between the different values
2024-07-12 22:22:49 +0200 <tomsmeding> can the key-value data structure be a DMap instead? https://hackage.haskell.org/package/dependent-map-0.4.0.0/docs/Data-Dependent-Map.html
2024-07-12 22:23:15 +0200 <tomsmeding> (the type of its 'lookup' method is instructive as to what it does)
2024-07-12 22:23:39 +0200 <ph88> basically i'm going from an object graph (as in database objects) .. to key-value .. then query to add second keys to objects, then i want to ask on the old object what it's relations where with first key, and then look for that object with the first key and get the refreshed second key
2024-07-12 22:23:46 +0200 <tomsmeding> (click through to GCompare and GOrdering to see _how_ it does that)
2024-07-12 22:25:00 +0200 <tomsmeding> I'm having trouble following that without more specifics :)
2024-07-12 22:25:27 +0200 <tomsmeding> as I understand it, you have a bunch of objects with associated keys, and the objects are different types
2024-07-12 22:25:35 +0200 <tomsmeding> but the key and the object are related somehow
2024-07-12 22:26:00 +0200 <tomsmeding> you want to put the objects in a Map-like thing where you can retrieve them given their key, and operate on them knowing that the objects implement a certain type class
2024-07-12 22:26:23 +0200 <tomsmeding> and yet you somehow want to not lose the type information of those objects
2024-07-12 22:26:46 +0200 <tomsmeding> can the keys be of type 'Key a' for an object of type 'Object a'?
2024-07-12 22:26:57 +0200 <tomsmeding> (could be 'newtype Object a = Object a', for example, if you so desire)
2024-07-12 22:27:03 +0200 <ph88> so what's the difference between Map and DMap ? With DMap you can use a GADT for key and with Map you can't ?
2024-07-12 22:27:25 +0200 <tomsmeding> yes, with DMap you can have a _type-indexed_ key, and you type-safely get a type-indexed object back
2024-07-12 22:27:40 +0200 <tomsmeding> so with my Key and Object, if you find a value for a 'Key Int', you'll get an 'Object Int' back
2024-07-12 22:27:57 +0200 <tomsmeding> you can put the typeclass info in Object if you want
2024-07-12 22:28:28 +0200 <ph88> that's nice
2024-07-12 22:29:01 +0200 <tomsmeding> then the code that works with the DMap needs to know about Object enough that it can get the typeclass info out of it
2024-07-12 22:29:22 +0200 <ph88> i will put this in my notes for a to look at once i want to shell this out to a library, i think practically to make progress Typeable + cast will get me there a bit faster
2024-07-12 22:29:35 +0200 <tomsmeding> that may well be true :)
2024-07-12 22:29:58 +0200 <tomsmeding> but moooooore type safety
2024-07-12 22:30:13 +0200 <ph88> ye i like that :)
2024-07-12 22:31:52 +0200 <tomsmeding> the thing with DMap, though, is that from comparison of the keys you should be able to get equality info on the _types_
2024-07-12 22:32:12 +0200 <tomsmeding> i.e. if you get a 'Key a' and a 'Key b', and you want them to compare equal, you should be able to conjure up evidence that 'a ~ b'
2024-07-12 22:32:35 +0200 <tomsmeding> this typically means that Key contains, or looks like, a singleton for 'a'
2024-07-12 22:32:49 +0200 <tomsmeding> or it doesn't and you unsafeCoerce up that evidence
2024-07-12 22:33:07 +0200 <tomsmeding> which, if you encapsulate things well enough, could be a not-too-bad way to go about things
2024-07-12 22:33:26 +0200 <tomsmeding> (i.e. if you can manage that no-one who is not yourself can create a Key with bad values inside)
2024-07-12 22:35:31 +0200 <ph88> Well i imagine when i have Key Int and Key String than both types can give me back a bunch of values, like a filter ?
2024-07-12 22:36:07 +0200 <tomsmeding> a Key Int and a Key String should never be able to compare equal
2024-07-12 22:36:15 +0200 <tomsmeding> because surely they're keys for different objects!
2024-07-12 22:36:21 +0200 <tomsmeding> (the objects are even different types!)
2024-07-12 22:37:03 +0200 <tomsmeding> so if you have stored an object o1 :: Object Int under key k1 :: Key Int, then you'll definitely never retrieve o1 when you do a lookup for key k2 :: Key String
2024-07-12 22:37:22 +0200 <Leary> You can have them map to a list or set of targets, however.
2024-07-12 22:37:30 +0200 <tomsmeding> (well, unless you unsafeCoerce'd your GCompare instance of Key and you messed it up :D)
2024-07-12 22:37:46 +0200 <tomsmeding> of course, it's just a Map, you can put lists in there
2024-07-12 22:37:57 +0200 <tomsmeding> it will have to be a list that takes an additional type variable though
2024-07-12 22:38:14 +0200 <tomsmeding> data List1 a t = List1 [a t]
2024-07-12 22:38:36 +0200 <ph88> i meant to ask can i get all the keys and objects back if i specific a type Key Int ... and do the same again for Key String ... then i expect to have two results of different objects
2024-07-12 22:38:56 +0200 <tomsmeding> DMap is just a Map with stronger typing
2024-07-12 22:38:59 +0200 <tomsmeding> think of it as a Map
2024-07-12 22:39:53 +0200alexherbo2(~alexherbo@2a02-8440-311a-ab9d-bd9d-bb5a-6bfa-4981.rev.sfr.net) (Remote host closed the connection)
2024-07-12 22:40:13 +0200alexherbo2(~alexherbo@2a02-8440-311a-ab9d-bd9d-bb5a-6bfa-4981.rev.sfr.net)
2024-07-12 22:40:15 +0200 <tomsmeding> it's really mundane, in a way
2024-07-12 22:40:34 +0200 <ph88> ok
2024-07-12 22:41:30 +0200 <tomsmeding> Map.insert :: k -> v -> Map k v -> Map k v
2024-07-12 22:41:32 +0200 <tomsmeding> DMap.insert :: k a -> v a -> DMap k v -> DMap k v
2024-07-12 22:41:54 +0200 <tomsmeding> Map.lookup :: k -> Map k v -> Maybe v
2024-07-12 22:41:56 +0200 <tomsmeding> DMap.lookup :: k a -> DMap k v -> Maybe (v a)
2024-07-12 22:43:08 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 256 seconds)
2024-07-12 22:43:21 +0200 <tomsmeding> the point of this all is that 1. you can put objects with different types in the same container, and 2. they retain their types
2024-07-12 22:43:57 +0200 <tomsmeding> it may take a little bit of thinking to shape it all in a way that it fits this particular API
2024-07-12 22:44:36 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-12 22:49:58 +0200cpressey(~weechat@176.254.71.203)
2024-07-12 22:58:11 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
2024-07-12 22:59:43 +0200ash3en(~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) (Remote host closed the connection)
2024-07-12 23:01:23 +0200kimiamania(~65804703@user/kimiamania) (Quit: PegeLinux)
2024-07-12 23:01:44 +0200kimiamania(~65804703@user/kimiamania)
2024-07-12 23:07:46 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 264 seconds)
2024-07-12 23:12:59 +0200AlexZenon(~alzenon@5.139.233.228) (Ping timeout: 252 seconds)
2024-07-12 23:14:58 +0200ultima12(~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8)
2024-07-12 23:26:24 +0200AlexZenon(~alzenon@5.139.233.228)
2024-07-12 23:26:54 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer)
2024-07-12 23:26:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-07-12 23:28:20 +0200ultima12(~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) (Remote host closed the connection)
2024-07-12 23:29:30 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-12 23:33:32 +0200pavonia(~user@user/siracusa)
2024-07-12 23:37:17 +0200 <EvanR> those types are an example where the logic is infallible but haskell's type system can actually do it
2024-07-12 23:37:20 +0200 <EvanR> can't*
2024-07-12 23:37:46 +0200 <EvanR> behind the scenes there is a cornerstone "believe-me" undefined or something
2024-07-12 23:38:02 +0200 <EvanR> or unsafeCoerce
2024-07-12 23:38:28 +0200 <EvanR> haskell is unsound and incomplete!
2024-07-12 23:38:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-12 23:41:22 +0200AlexZenon(~alzenon@5.139.233.228) (Ping timeout: 264 seconds)
2024-07-12 23:42:18 +0200motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2024-07-12 23:43:30 +0200 <geekosaur> unsafeCoerce is the "believe me!"
2024-07-12 23:46:06 +0200motherfsck(~motherfsc@user/motherfsck)
2024-07-12 23:47:21 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-07-12 23:47:42 +0200 <tomsmeding> EvanR: there isn't
2024-07-12 23:47:50 +0200 <tomsmeding> the magic is in the GCompare instance for the key
2024-07-12 23:48:09 +0200 <tomsmeding> I lied, Map.lookup has an additional Ord k constraint, and DMap.lookup has a GCompare k constraint
2024-07-12 23:48:23 +0200 <EvanR> GCompare...
2024-07-12 23:48:29 +0200 <tomsmeding> https://hackage.haskell.org/package/some-1.0.1/docs/Data-GADT-Compare.html#t:GCompare
2024-07-12 23:48:36 +0200 <tomsmeding> see the typing of GEQ
2024-07-12 23:48:53 +0200 <tomsmeding> you'll need to create type equality information from an equality comparison on the keys
2024-07-12 23:49:02 +0200motherfsck(~motherfsc@user/motherfsck) (Client Quit)
2024-07-12 23:49:03 +0200 <tomsmeding> which then allows DMap to do things safely
2024-07-12 23:49:38 +0200 <EvanR> I see gcompare, but how is that implemented for the keys
2024-07-12 23:49:40 +0200 <tomsmeding> now how _you_ are going to create that type equality is up to you; you could compare singletons, which is safe, or you could believe that whatever ID system you cooked up is sound and 'unsafeCoerce Refl' your way out of it
2024-07-12 23:49:47 +0200 <tomsmeding> EvanR: you implement it
2024-07-12 23:49:52 +0200 <tomsmeding> GCompare is to DMap as Ord is to Map
2024-07-12 23:49:52 +0200 <EvanR> with unsafeCoerce
2024-07-12 23:49:55 +0200 <tomsmeding> no
2024-07-12 23:49:59 +0200 <tomsmeding> you put a proper singleton in your keys
2024-07-12 23:50:09 +0200 <tomsmeding> so that you can compare the singletons and get a type equality out
2024-07-12 23:50:27 +0200motherfsck(~motherfsc@user/motherfsck)
2024-07-12 23:50:43 +0200 <EvanR> one singleton type for every `a' in the usage of DMap ?
2024-07-12 23:51:00 +0200 <tomsmeding> what do you mean with a "singleton type"?
2024-07-12 23:51:07 +0200 <tomsmeding> every _key_ has a singleton in it
2024-07-12 23:51:09 +0200 <c_wraith> Or just have your key type be a GADT where comparing the constructors is sufficient to prove type equality
2024-07-12 23:51:21 +0200 <tomsmeding> which is essentially a DIY singleton
2024-07-12 23:51:36 +0200 <c_wraith> Except without all the machinery which isn't needed for this case :)
2024-07-12 23:52:20 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-07-12 23:52:22 +0200 <c_wraith> in general, DMap seems optimized to work with GADTs
2024-07-12 23:53:05 +0200 <tomsmeding> yeah, I have never actually used the 'singletons' library
2024-07-12 23:53:07 +0200 <tomsmeding> I roll my own GADTs
2024-07-12 23:53:17 +0200 <EvanR> ok if you only are planning to work with specific a, you can implement a GADT k which has correct GCompare powers by construction
2024-07-12 23:53:43 +0200 <EvanR> DMap got more sophisticated since last I checked
2024-07-12 23:53:49 +0200 <tomsmeding> you'll need to describe the family of a's that you're going to use
2024-07-12 23:54:03 +0200 <tomsmeding> remember that GADTs are data types and hence can be recursive :)
2024-07-12 23:54:11 +0200 <tomsmeding> so you can describe a whole recursive family of types just with a few constructors
2024-07-12 23:54:34 +0200 <EvanR> sounds like a blast
2024-07-12 23:57:22 +0200 <EvanR> this is all a lot of machinery to basically pull off what elixir people do, use the "map" structure to implement records
2024-07-12 23:58:53 +0200AlexZenon(~alzenon@5.139.233.228)
2024-07-12 23:59:41 +0200 <tomsmeding> the record can be dynamic, though
2024-07-12 23:59:56 +0200 <EvanR> dynamic?
2024-07-12 23:59:59 +0200 <tomsmeding> I once used a DMap to store metadata about every AST node in a compiler