| 2024-07-12 00:01:31 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-07-12 00:08:50 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-07-12 00:12:29 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb04bdea48a2b5d04624.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-07-12 00:17:23 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 264 seconds) |
| 2024-07-12 00:17:37 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-12 00:21:20 +0200 | tromp | (~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 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 260 seconds) |
| 2024-07-12 00:32:32 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-12 00:37:15 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 2024-07-12 00:41:05 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3414-5ce3-8c75-1c54-1c60-8d6f.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-12 00:43:32 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-07-12 00:43:47 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 264 seconds) |
| 2024-07-12 00:46:01 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-12 00:47:51 +0200 | <davean> | yes |
| 2024-07-12 01:02:00 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-07-12 01:02:32 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-12 01:03:15 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
| 2024-07-12 01:04:47 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 264 seconds) |
| 2024-07-12 01:06:55 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-12 01:11:20 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Ping timeout: 252 seconds) |
| 2024-07-12 01:11:33 +0200 | dhil | (~dhil@2001:8e0:2014:3100:9682:f5f6:8de6:9692) (Ping timeout: 268 seconds) |
| 2024-07-12 01:13:24 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 268 seconds) |
| 2024-07-12 01:14:16 +0200 | Square2 | (~Square4@user/square) |
| 2024-07-12 01:17:07 +0200 | Square | (~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 +0200 | puke | (~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 +0200 | phma | (phma@2001:5b0:211b:f1a8:481d:33c:3867:23b1) (Read error: Connection reset by peer) |
| 2024-07-12 01:34:06 +0200 | phma | (~phma@host-67-44-208-89.hnremote.net) |
| 2024-07-12 01:45:31 +0200 | gmg | (~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 +0200 | xff0x | (~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 +0200 | xdminsy | (~xdminsy@117.147.70.227) (Quit: Konversation terminated!) |
| 2024-07-12 01:57:48 +0200 | waleee | (~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 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5) |
| 2024-07-12 02:04:17 +0200 | glguy | (g@libera/staff/glguy) (*.net *.split) |
| 2024-07-12 02:04:17 +0200 | mikess | (~mikess@user/mikess) (*.net *.split) |
| 2024-07-12 02:04:17 +0200 | sroso | (~sroso@user/SrOso) (*.net *.split) |
| 2024-07-12 02:04:17 +0200 | pavonia | (~user@user/siracusa) (*.net *.split) |
| 2024-07-12 02:04:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2024-07-12 02:04:17 +0200 | swistak | (~swistak@185.21.216.141) (*.net *.split) |
| 2024-07-12 02:04:17 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (*.net *.split) |
| 2024-07-12 02:04:17 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2024-07-12 02:04:17 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (*.net *.split) |
| 2024-07-12 02:04:17 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) (*.net *.split) |
| 2024-07-12 02:04:17 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (*.net *.split) |
| 2024-07-12 02:04:17 +0200 | mud | (~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 +0200 | sus | (1b7af6299f@user/zeromomentum) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | sm | (~znc@plaintextaccounting/sm) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | tinwood | (~tinwood@canonical/tinwood) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | xerox | (~edi@user/edi) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | tjbc | (~tjbc@user/fliife) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | catties | (~catties@user/meow/catties) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | dumptruckman | (~dumptruck@69-164-210-35.ip.linodeusercontent.com) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | titibandit | (e33ffbab65@user/titibandit) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | jakzale | (6291399afa@user/jakzale) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | pmk_ | (6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | dagi78319 | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | TMA | (tma@twin.jikos.cz) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2024-07-12 02:04:18 +0200 | She | (haveident@libera/staff/she/her) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | jrm | (~jrm@user/jrm) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | Teacup | (~teacup@user/teacup) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | jackdk | (sid373013@cssa/jackdk) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | systemfault | (sid267009@about/typescript/member/systemfault) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | mankyKitty | (sid31287@id-31287.helmsley.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | haasn | (sid579015@id-579015.hampstead.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | lbseale | (~quassel@user/ep1ctetus) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | rembo10 | (~rembo10@main.remulis.com) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | ell | (~ellie@user/ellie) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | vulpine | (xfnw@user/meow/xfnw) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | Hafydd | (~Hafydd@user/hafydd) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | apache2 | (apache2@anubis.0x90.dk) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | auri | (~auri@fsf/member/auri) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split) |
| 2024-07-12 02:04:19 +0200 | phma | (~phma@host-67-44-208-89.hnremote.net) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | sam113101 | (~sam@24.157.253.231) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | bliminse | (~bliminse@user/bliminse) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | mauke | (~mauke@user/mauke) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | Batzy | (~quassel@user/batzy) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | krei-se | (~krei-se@p5085d24b.dip0.t-ipconnect.de) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | leah2 | (~leah@vuxu.org) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | mrmr155334346 | (~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 +0200 | lewisje | (~lewisje@74.215.19.22) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (*.net *.split) |
| 2024-07-12 02:04:20 +0200 | raym | (~ray@user/raym) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | kimiamania | (~65804703@user/kimiamania) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | mzg | (mzg@abusers.hu) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | dunj3 | (~dunj3@kingdread.de) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | gawen | (~gawen@user/gawen) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | koz | (~koz@121.99.240.58) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | wagle | (~wagle@quassel.wagle.io) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | xelxebar | (~xelxebar@wilsonb.com) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | stefan-_ | (~cri@42dots.de) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | quintasan | (~quassel@quintasan.pl) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | tdammers_ | (~tdammers@41-138-178-143.ftth.glasoperator.nl) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | lockna_ | (~lockna@static.139.16.130.94.clients.your-server.de) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | joeyh_ | (~joeyh@kitenet.net) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | Dykam | (Dykam@dykam.nl) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | vgtw | (~vgtw@user/vgtw) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | spider | (spider@tilde.cafe) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | Square2 | (~Square4@user/square) (*.net *.split) |
| 2024-07-12 02:04:21 +0200 | sp1ff` | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | cheater | (~Username@user/cheater) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | duncan | (c6181279e3@user/meow/duncan) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | Xe | (~cadey@perl/impostor/xe) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | landonf | (landonf@mac68k.info) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | hiredman | (~hiredman@frontier1.downey.family) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | turlando | (~turlando@user/turlando) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | xacktm | (xacktm@user/xacktm) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | pierrot | (~pi@user/pierrot) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | tabemann__ | (~tabemann@2600:1700:7990:24e0:bdf5:2044:ddb4:b631) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (*.net *.split) |
| 2024-07-12 02:04:22 +0200 | petrichor | (~znc-user@user/petrichor) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | dy | (sid3438@user/dy) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | snek | (sid280155@id-280155.lymington.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | tok | (da65c7b04b@user/tok) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | Vq | (~vq@81-231-76-8-no600.tbcn.telia.com) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | df | (~ben@justworks.xyz) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | siers | (~ij@user/ij) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | motherfsck | (~motherfsc@user/motherfsck) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | hueso | (~root@user/hueso) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | juri_ | (~juri@implicitcad.org) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | ethantwardy | (user@user/ethantwardy) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (*.net *.split) |
| 2024-07-12 02:04:23 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | zmt01 | (~zmt00@user/zmt00) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | remmie | (~ian@tilde.team) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | m5zs7k | (aquares@web10.mydevil.net) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | tureba | (~tureba@tureba.org) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | nullie | (~nullie@2a01:4f8:c2c:6177::1) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | EvanR | (~EvanR@user/evanr) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | nitrix | (~nitrix@user/meow/nitrix) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | benjaminl | (~benjaminl@user/benjaminl) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | incertia | (~incertia@209.122.137.252) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | remexre | (~remexre@user/remexre) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | tv | (~tv@user/tv) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | cptaffe | (~cptaffe@user/cptaffe) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | bionade24 | (~quassel@2a03:4000:33:45b::1) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
| 2024-07-12 02:04:24 +0200 | geekosaur | (sid609282@xmonad/geekosaur) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | xal | (~xal@mx1.xal.systems) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | mmaruseacph2 | (~mihai@mihai.page) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | Angelz | (Angelz@user/angelz) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | deriamis_ | (deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | enikar | (~enikar@user/enikar) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | meejah | (~meejah@104.236.166.239) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | ario | (~ario@159.65.220.102) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | sweater | (~sweater@206.81.18.26) (*.net *.split) |
| 2024-07-12 02:04:25 +0200 | aws | (~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 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-07-12 02:06:25 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-07-12 02:06:37 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-07-12 02:07:05 +0200 | Square2 | (~Square4@user/square) |
| 2024-07-12 02:07:05 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-12 02:07:05 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-07-12 02:07:05 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-07-12 02:07:05 +0200 | hueso | (~root@user/hueso) |
| 2024-07-12 02:07:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-12 02:07:05 +0200 | swistak | (~swistak@185.21.216.141) |
| 2024-07-12 02:07:05 +0200 | sp1ff` | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-07-12 02:07:05 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-12 02:07:05 +0200 | juri_ | (~juri@implicitcad.org) |
| 2024-07-12 02:07:05 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-07-12 02:07:05 +0200 | cheater | (~Username@user/cheater) |
| 2024-07-12 02:07:05 +0200 | ethantwardy | (user@user/ethantwardy) |
| 2024-07-12 02:07:05 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2024-07-12 02:07:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-07-12 02:07:05 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 2024-07-12 02:07:05 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-12 02:07:05 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 2024-07-12 02:07:05 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) |
| 2024-07-12 02:07:05 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-12 02:07:05 +0200 | mud | (~mud@user/kadoban) |
| 2024-07-12 02:07:05 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-07-12 02:07:05 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-07-12 02:07:05 +0200 | duncan | (c6181279e3@user/meow/duncan) |
| 2024-07-12 02:07:05 +0200 | _0xa | (~user@user/0xa/x-3134607) |
| 2024-07-12 02:07:05 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
| 2024-07-12 02:07:05 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2024-07-12 02:07:05 +0200 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-07-12 02:07:05 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-07-12 02:07:05 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
| 2024-07-12 02:07:05 +0200 | Xe | (~cadey@perl/impostor/xe) |
| 2024-07-12 02:07:05 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2024-07-12 02:07:05 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-07-12 02:07:05 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2024-07-12 02:07:05 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2024-07-12 02:07:05 +0200 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) |
| 2024-07-12 02:07:05 +0200 | landonf | (landonf@mac68k.info) |
| 2024-07-12 02:07:05 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2024-07-12 02:07:05 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-07-12 02:07:05 +0200 | remmie | (~ian@tilde.team) |
| 2024-07-12 02:07:05 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2024-07-12 02:07:05 +0200 | sm | (~znc@plaintextaccounting/sm) |
| 2024-07-12 02:07:05 +0200 | turlando | (~turlando@user/turlando) |
| 2024-07-12 02:07:05 +0200 | tinwood | (~tinwood@canonical/tinwood) |
| 2024-07-12 02:07:05 +0200 | tureba | (~tureba@tureba.org) |
| 2024-07-12 02:07:05 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2024-07-12 02:07:05 +0200 | xacktm | (xacktm@user/xacktm) |
| 2024-07-12 02:07:05 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2024-07-12 02:07:05 +0200 | pierrot | (~pi@user/pierrot) |
| 2024-07-12 02:07:05 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-12 02:07:05 +0200 | Ekho | (~Ekho@user/ekho) |
| 2024-07-12 02:07:05 +0200 | nullie | (~nullie@2a01:4f8:c2c:6177::1) |
| 2024-07-12 02:07:05 +0200 | xerox | (~edi@user/edi) |
| 2024-07-12 02:07:05 +0200 | tjbc | (~tjbc@user/fliife) |
| 2024-07-12 02:07:05 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2024-07-12 02:07:05 +0200 | catties | (~catties@user/meow/catties) |
| 2024-07-12 02:07:05 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2024-07-12 02:07:05 +0200 | dumptruckman | (~dumptruck@69-164-210-35.ip.linodeusercontent.com) |
| 2024-07-12 02:07:05 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-07-12 02:07:05 +0200 | jakzale | (6291399afa@user/jakzale) |
| 2024-07-12 02:07:05 +0200 | titibandit | (e33ffbab65@user/titibandit) |
| 2024-07-12 02:07:05 +0200 | pmk_ | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-07-12 02:07:05 +0200 | dagi78319 | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2024-07-12 02:07:05 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-07-12 02:07:05 +0200 | TMA | (tma@twin.jikos.cz) |
| 2024-07-12 02:07:05 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-07-12 02:07:05 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2024-07-12 02:07:05 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-07-12 02:07:05 +0200 | nitrix | (~nitrix@user/meow/nitrix) |
| 2024-07-12 02:07:05 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-07-12 02:07:05 +0200 | tabemann__ | (~tabemann@2600:1700:7990:24e0:bdf5:2044:ddb4:b631) |
| 2024-07-12 02:07:05 +0200 | incertia | (~incertia@209.122.137.252) |
| 2024-07-12 02:07:05 +0200 | remexre | (~remexre@user/remexre) |
| 2024-07-12 02:07:05 +0200 | glguy | (g@libera/staff/glguy) |
| 2024-07-12 02:07:05 +0200 | tv | (~tv@user/tv) |
| 2024-07-12 02:07:05 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-07-12 02:07:05 +0200 | She | (haveident@libera/staff/she/her) |
| 2024-07-12 02:07:05 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-07-12 02:07:05 +0200 | cptaffe | (~cptaffe@user/cptaffe) |
| 2024-07-12 02:07:05 +0200 | jrm | (~jrm@user/jrm) |
| 2024-07-12 02:07:05 +0200 | bionade24 | (~quassel@2a03:4000:33:45b::1) |
| 2024-07-12 02:07:05 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2024-07-12 02:07:05 +0200 | Teacup | (~teacup@user/teacup) |
| 2024-07-12 02:07:05 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2024-07-12 02:07:05 +0200 | geekosaur | (sid609282@xmonad/geekosaur) |
| 2024-07-12 02:07:05 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | jackdk | (sid373013@cssa/jackdk) |
| 2024-07-12 02:07:05 +0200 | systemfault | (sid267009@about/typescript/member/systemfault) |
| 2024-07-12 02:07:05 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | dy | (sid3438@user/dy) |
| 2024-07-12 02:07:05 +0200 | snek | (sid280155@id-280155.lymington.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | mankyKitty | (sid31287@id-31287.helmsley.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | haasn | (sid579015@id-579015.hampstead.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | aspen | (sid449115@id-449115.helmsley.irccloud.com) |
| 2024-07-12 02:07:05 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-07-12 02:07:05 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2024-07-12 02:07:05 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2024-07-12 02:07:05 +0200 | tok | (da65c7b04b@user/tok) |
| 2024-07-12 02:07:05 +0200 | davean | (~davean@davean.sciesnet.net) |
| 2024-07-12 02:07:05 +0200 | c_wraith | (~c_wraith@adjoint.us) |
| 2024-07-12 02:07:05 +0200 | mmaruseacph2 | (~mihai@mihai.page) |
| 2024-07-12 02:07:05 +0200 | Angelz | (Angelz@user/angelz) |
| 2024-07-12 02:07:05 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2024-07-12 02:07:05 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2024-07-12 02:07:05 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-07-12 02:07:05 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2024-07-12 02:07:05 +0200 | ell | (~ellie@user/ellie) |
| 2024-07-12 02:07:05 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-07-12 02:07:05 +0200 | vulpine | (xfnw@user/meow/xfnw) |
| 2024-07-12 02:07:05 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2024-07-12 02:07:05 +0200 | Hafydd | (~Hafydd@user/hafydd) |
| 2024-07-12 02:07:05 +0200 | apache2 | (apache2@anubis.0x90.dk) |
| 2024-07-12 02:07:05 +0200 | carbolymer | (~carbolyme@dropacid.net) |
| 2024-07-12 02:07:05 +0200 | Vq | (~vq@81-231-76-8-no600.tbcn.telia.com) |
| 2024-07-12 02:07:05 +0200 | auri | (~auri@fsf/member/auri) |
| 2024-07-12 02:07:05 +0200 | Philonous | (~Philonous@user/philonous) |
| 2024-07-12 02:07:05 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2024-07-12 02:07:05 +0200 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
| 2024-07-12 02:07:05 +0200 | df | (~ben@justworks.xyz) |
| 2024-07-12 02:07:05 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2024-07-12 02:07:05 +0200 | deriamis_ | (deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) |
| 2024-07-12 02:07:05 +0200 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2024-07-12 02:07:05 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2024-07-12 02:07:05 +0200 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) |
| 2024-07-12 02:07:05 +0200 | siers | (~ij@user/ij) |
| 2024-07-12 02:07:05 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2024-07-12 02:07:05 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2024-07-12 02:07:05 +0200 | enikar | (~enikar@user/enikar) |
| 2024-07-12 02:07:05 +0200 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) |
| 2024-07-12 02:07:05 +0200 | aws | (~alews@user/aws) |
| 2024-07-12 02:07:05 +0200 | sweater | (~sweater@206.81.18.26) |
| 2024-07-12 02:07:05 +0200 | ario | (~ario@159.65.220.102) |
| 2024-07-12 02:07:05 +0200 | meejah | (~meejah@104.236.166.239) |
| 2024-07-12 02:07:07 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-07-12 02:07:48 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-12 02:07:50 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-12 02:07:50 +0200 | ChanServ | +v haskellbridge |
| 2024-07-12 02:07:55 +0200 | Ekho | (~Ekho@user/ekho) (Max SendQ exceeded) |
| 2024-07-12 02:07:55 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Max SendQ exceeded) |
| 2024-07-12 02:08:13 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2024-07-12 02:09:03 +0200 | phma | (~phma@host-67-44-208-89.hnremote.net) |
| 2024-07-12 02:09:49 +0200 | 029ABLN24 | (~phma@host-67-44-208-89.hnremote.net) |
| 2024-07-12 02:09:49 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-12 02:09:49 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) |
| 2024-07-12 02:09:49 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2024-07-12 02:09:49 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2024-07-12 02:09:49 +0200 | mauke | (~mauke@user/mauke) |
| 2024-07-12 02:09:49 +0200 | Batzy | (~quassel@user/batzy) |
| 2024-07-12 02:09:49 +0200 | peutri | (~peutri@bobo.desast.re) |
| 2024-07-12 02:09:49 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 2024-07-12 02:09:49 +0200 | krei-se | (~krei-se@p5085d24b.dip0.t-ipconnect.de) |
| 2024-07-12 02:09:49 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-07-12 02:09:49 +0200 | leah2 | (~leah@vuxu.org) |
| 2024-07-12 02:09:49 +0200 | mrmr155334346 | (~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 +0200 | lewisje | (~lewisje@74.215.19.22) |
| 2024-07-12 02:09:49 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2024-07-12 02:09:49 +0200 | raym | (~ray@user/raym) |
| 2024-07-12 02:09:49 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2024-07-12 02:09:49 +0200 | kimiamania | (~65804703@user/kimiamania) |
| 2024-07-12 02:09:49 +0200 | mzg | (mzg@abusers.hu) |
| 2024-07-12 02:09:49 +0200 | dunj3 | (~dunj3@kingdread.de) |
| 2024-07-12 02:09:49 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-07-12 02:09:49 +0200 | gawen | (~gawen@user/gawen) |
| 2024-07-12 02:09:49 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-07-12 02:09:49 +0200 | koz | (~koz@121.99.240.58) |
| 2024-07-12 02:09:49 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2024-07-12 02:09:49 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2024-07-12 02:09:49 +0200 | xelxebar | (~xelxebar@wilsonb.com) |
| 2024-07-12 02:09:49 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-07-12 02:09:49 +0200 | stefan-_ | (~cri@42dots.de) |
| 2024-07-12 02:09:49 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-07-12 02:09:49 +0200 | quintasan | (~quassel@quintasan.pl) |
| 2024-07-12 02:09:49 +0200 | tdammers_ | (~tdammers@41-138-178-143.ftth.glasoperator.nl) |
| 2024-07-12 02:09:49 +0200 | lockna_ | (~lockna@static.139.16.130.94.clients.your-server.de) |
| 2024-07-12 02:09:49 +0200 | joeyh_ | (~joeyh@kitenet.net) |
| 2024-07-12 02:09:49 +0200 | Dykam | (Dykam@dykam.nl) |
| 2024-07-12 02:09:49 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2024-07-12 02:09:49 +0200 | spider | (spider@tilde.cafe) |
| 2024-07-12 02:09:49 +0200 | iridium.libera.chat | +v yahb2 |
| 2024-07-12 02:09:52 +0200 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) |
| 2024-07-12 02:10:32 +0200 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) (Client Quit) |
| 2024-07-12 02:11:11 +0200 | sa | (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 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2024-07-12 02:15:35 +0200 | 029ABLN24 | (~phma@host-67-44-208-89.hnremote.net) (Ping timeout: 250 seconds) |
| 2024-07-12 02:18:59 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-12 02:20:45 +0200 | Ekho | (~Ekho@user/ekho) |
| 2024-07-12 02:23:21 +0200 | zhuberty | (~zhuberty@user/zhuberty) |
| 2024-07-12 02:27:01 +0200 | foul_owl | (~kerry@185.219.141.162) (Ping timeout: 256 seconds) |
| 2024-07-12 02:41:16 +0200 | foul_owl | (~kerry@174-21-147-232.tukw.qwest.net) |
| 2024-07-12 02:44:27 +0200 | peterbecich | (~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 +0200 | poscat0x04 | (~poscat@user/poscat) |
| 2024-07-12 02:48:22 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 268 seconds) |
| 2024-07-12 02:55:58 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-07-12 03:00:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5) (Ping timeout: 256 seconds) |
| 2024-07-12 03:06:46 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-07-12 03:07:07 +0200 | xff0x | (~xff0x@2405:6580:b080:900:cb48:b50f:16dd:ff64) |
| 2024-07-12 03:15:49 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2024-07-12 03:23:57 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-12 03:32:28 +0200 | jpyamamoto | (~jpyamamot@user/jpyamamoto) |
| 2024-07-12 03:43:58 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-07-12 03:44:23 +0200 | Inst | (~Inst@user/Inst) |
| 2024-07-12 03:50:06 +0200 | aforemny | (~aforemny@2001:9e8:6ce2:b100:2ae8:9df1:3efc:f7d5) |
| 2024-07-12 03:51:37 +0200 | aforemny_ | (~aforemny@i59F516D8.versanet.de) (Ping timeout: 272 seconds) |
| 2024-07-12 03:55:16 +0200 | peterbecich | (~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 +0200 | xff0x | (~xff0x@2405:6580:b080:900:cb48:b50f:16dd:ff64) (Ping timeout: 240 seconds) |
| 2024-07-12 04:16:08 +0200 | Pozyomka | (~pyon@user/pyon) |
| 2024-07-12 04:22:36 +0200 | jpyamamoto | (~jpyamamot@user/jpyamamoto) (Remote host closed the connection) |
| 2024-07-12 04:29:53 +0200 | td_ | (~td@i5387092C.versanet.de) (Ping timeout: 252 seconds) |
| 2024-07-12 04:31:28 +0200 | td_ | (~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 +0200 | troydm | (~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 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-12 05:19:56 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2024-07-12 05:21:39 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-12 05:26:51 +0200 | aforemny_ | (~aforemny@2001:9e8:6ceb:9800:f0b2:9010:cc:b689) |
| 2024-07-12 05:28:07 +0200 | aforemny | (~aforemny@2001:9e8:6ce2:b100:2ae8:9df1:3efc:f7d5) (Ping timeout: 260 seconds) |
| 2024-07-12 05:33:20 +0200 | dfg | (~dfg@user/dfg) (Server closed connection) |
| 2024-07-12 05:33:35 +0200 | dfg | (~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 +0200 | yin | gasps |
| 2024-07-12 05:38:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2024-07-12 05:40:43 +0200 | troydm | (~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 +0200 | peterbecich | (~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 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-12 05:53:19 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2024-07-12 05:55:39 +0200 | poscat | (~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 +0200 | peterbecich | (~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 +0200 | Fijxu | (~Fijxu@user/fijxu) (Server closed connection) |
| 2024-07-12 06:09:38 +0200 | Fijxu | (~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 +0200 | rosco | (~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 +0200 | YoungFrog | (~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 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:e986:8b08:7baa:1e2a) |
| 2024-07-12 06:30:52 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2024-07-12 06:31:46 +0200 | yin | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-07-12 06:33:38 +0200 | meritamen | (~user@user/meritamen) |
| 2024-07-12 06:34:20 +0200 | meritamen | (~user@user/meritamen) (Remote host closed the connection) |
| 2024-07-12 06:52:34 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-07-12 06:55:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-12 06:55:57 +0200 | foul_owl | (~kerry@174-21-147-232.tukw.qwest.net) (Ping timeout: 268 seconds) |
| 2024-07-12 06:58:57 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-12 06:59:09 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-12 07:08:09 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-12 07:08:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-12 07:09:09 +0200 | foul_owl | (~kerry@185.216.231.179) |
| 2024-07-12 07:09:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-12 07:10:01 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-12 07:18:44 +0200 | img | (~img@user/img) (Server closed connection) |
| 2024-07-12 07:19:02 +0200 | img | (~img@user/img) |
| 2024-07-12 07:25:44 +0200 | acidjnk_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 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Server closed connection) |
| 2024-07-12 07:28:15 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2024-07-12 07:30:24 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-12 07:32:13 +0200 | danse-nr3 | (~danse-nr3@151.57.171.215) |
| 2024-07-12 07:41:41 +0200 | danse-nr3 | (~danse-nr3@151.57.171.215) (Remote host closed the connection) |
| 2024-07-12 07:42:03 +0200 | danse-nr3 | (~danse-nr3@151.57.171.215) |
| 2024-07-12 07:46:56 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-07-12 07:52:47 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-07-12 07:59:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-12 08:03:41 +0200 | nek0 | (~nek0@user/nek0) (Server closed connection) |
| 2024-07-12 08:03:57 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2024-07-12 08:03:57 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Changing host) |
| 2024-07-12 08:03:57 +0200 | nek0 | (~nek0@user/nek0) |
| 2024-07-12 08:05:17 +0200 | Square | (~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 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-07-12 08:21:58 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-07-12 08:27:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-12 08:29:11 +0200 | czy | (~user@fortigate.wolfson.cam.ac.uk) |
| 2024-07-12 08:35:29 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-12 08:38:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-12 08:39:01 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2024-07-12 08:39:33 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2024-07-12 08:40:30 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-07-12 08:40:53 +0200 | noctuks | (IEHAXjvqp6@user/noctux) (Server closed connection) |
| 2024-07-12 08:41:11 +0200 | noctuks | (jNrZ4rwLcI@user/noctux) |
| 2024-07-12 08:42:57 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-07-12 08:58:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-12 09:07:39 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 2024-07-12 09:07:55 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-07-12 09:08:25 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-12 09:12:00 +0200 | euleritian | (~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) |
| 2024-07-12 09:12:48 +0200 | euleritian | (~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-12 09:16:43 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-12 09:17:28 +0200 | barodo | (~barodo@149.50.189.151) |
| 2024-07-12 09:18:25 +0200 | barodo | (~barodo@149.50.189.151) (Client Quit) |
| 2024-07-12 09:26:46 +0200 | kenran | (~user@user/kenran) |
| 2024-07-12 09:40:34 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2024-07-12 09:47:32 +0200 | dhil | (~dhil@2001:8e0:2014:3100:a85b:6416:b5a0:a3a6) |
| 2024-07-12 09:49:26 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-07-12 09:49:53 +0200 | euleritian | (~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) |
| 2024-07-12 09:52:16 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-12 09:53:44 +0200 | dminuoso | (~weechat@user/dminuoso) (Server closed connection) |
| 2024-07-12 09:54:10 +0200 | weechat2 | (~weechat@user/dminuoso) |
| 2024-07-12 09:55:02 +0200 | simendsjo | (~user@31-209-41-23.cust.bredband2.com) |
| 2024-07-12 09:58:23 +0200 | Typedfern | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) (Server closed connection) |
| 2024-07-12 09:58:46 +0200 | Typedfern | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) |
| 2024-07-12 10:00:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-12 10:00:52 +0200 | kenran | (~user@user/kenran) |
| 2024-07-12 10:05:35 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (Ping timeout: 256 seconds) |
| 2024-07-12 10:07:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-12 10:07:43 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2024-07-12 10:09:50 +0200 | euleritian | (~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-12 10:10:07 +0200 | poscat | (~poscat@user/poscat) |
| 2024-07-12 10:10:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-12 10:17:58 +0200 | czy | (~user@fortigate.wolfson.cam.ac.uk) (Remote host closed the connection) |
| 2024-07-12 10:19:37 +0200 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-07-12 10:24:29 +0200 | michalz | (~michalz@185.246.207.218) |
| 2024-07-12 10:25:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-07-12 10:26:09 +0200 | danse-nr3 | (~danse-nr3@151.57.171.215) (Quit: Leaving) |
| 2024-07-12 10:26:46 +0200 | euleritian | (~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) |
| 2024-07-12 10:27:41 +0200 | euleritian | (~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-12 10:27:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-12 10:33:06 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-12 10:33:54 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb326c97883dc2703faf.dip0.t-ipconnect.de) |
| 2024-07-12 10:36:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-07-12 10:36:57 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 272 seconds) |
| 2024-07-12 10:37:41 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb32118c9e6089f03830.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-07-12 10:39:13 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:bee8:7ef6:2b1b:f311) (Ping timeout: 246 seconds) |
| 2024-07-12 10:41:43 +0200 | euleritian | (~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) |
| 2024-07-12 10:49:47 +0200 | raym | (~ray@user/raym) (Ping timeout: 264 seconds) |
| 2024-07-12 10:51:26 +0200 | ghodawalaaman | (~thelounge@user/thelounge8234) (Quit: Ping timeout (120 seconds)) |
| 2024-07-12 10:51:34 +0200 | raym | (~ray@user/raym) |
| 2024-07-12 10:51:51 +0200 | ghodawalaaman | (~thelounge@194-195-113-248.ip.linodeusercontent.com) |
| 2024-07-12 10:52:09 +0200 | ghodawalaaman | Guest857 |
| 2024-07-12 10:57:44 +0200 | danse-nr3 | (~danse-nr3@151.57.150.40) |
| 2024-07-12 10:59:27 +0200 | Guest857 | (~thelounge@194-195-113-248.ip.linodeusercontent.com) (Changing host) |
| 2024-07-12 10:59:27 +0200 | Guest857 | (~thelounge@user/thelounge8234) |
| 2024-07-12 11:00:54 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2024-07-12 11:01:16 +0200 | euleritian | (~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-07-12 11:01:35 +0200 | euleritian | (~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) |
| 2024-07-12 11:05:18 +0200 | Guest857 | ghodawalaaman |
| 2024-07-12 11:05:30 +0200 | CiaoSen | (~Jura@2a05:5800:2b4:7a00:e6b9:7aff:fe80:3d03) |
| 2024-07-12 11:08:53 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds) |
| 2024-07-12 11:12:18 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-12 11:13:29 +0200 | simendsjo | (~user@31-209-41-23.cust.bredband2.com) (Remote host closed the connection) |
| 2024-07-12 11:14:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-12 11:17:36 +0200 | chele | (~chele@user/chele) |
| 2024-07-12 11:22:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-12 11:25:01 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-12 11:28:05 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-12 11:28:18 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-12 11:28:43 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-07-12 11:31:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-12 11:35:01 +0200 | simendsjo | (~user@31-209-41-68.cust.bredband2.com) |
| 2024-07-12 11:36:04 +0200 | michalz | (~michalz@185.246.207.218) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-07-12 11:37:15 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2024-07-12 11:41:56 +0200 | killer | (~killer@2603:c021:8004:5ddd:9f39:b2ed:a098:162f) |
| 2024-07-12 11:42:53 +0200 | killer | (~killer@2603:c021:8004:5ddd:9f39:b2ed:a098:162f) (Client Quit) |
| 2024-07-12 11:44:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-07-12 11:46:33 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-12 11:47:26 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-07-12 11:51:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-12 11:55:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-12 12:00:05 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 240 seconds) |
| 2024-07-12 12:01:09 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-07-12 12:02:21 +0200 | califax | (~califax@user/califx) |
| 2024-07-12 12:07:11 +0200 | xff0x | (~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 +0200 | euleritian | (~euleritia@dynamic-176-006-187-089.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-07-12 12:19:15 +0200 | CiaoSen | (~Jura@2a05:5800:2b4:7a00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-07-12 12:19:15 +0200 | euleritian | (~euleritia@dynamic-176-006-192-149.176.6.pool.telefonica.de) |
| 2024-07-12 12:19:43 +0200 | alexherbo2 | (~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net) |
| 2024-07-12 12:23:26 +0200 | euleritian | (~euleritia@dynamic-176-006-192-149.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-07-12 12:29:29 +0200 | alexherbo2 | (~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-12 12:29:50 +0200 | alexherbo2 | (~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net) |
| 2024-07-12 12:36:14 +0200 | czy | (~user@fortigate.wolfson.cam.ac.uk) |
| 2024-07-12 12:36:35 +0200 | simendsjo | (~user@31-209-41-68.cust.bredband2.com) (Ping timeout: 264 seconds) |
| 2024-07-12 12:38:15 +0200 | cheater | (~Username@user/cheater) |
| 2024-07-12 12:39:24 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2024-07-12 12:40:10 +0200 | cheater | (~Username@user/cheater) |
| 2024-07-12 12:41:56 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Quit: WeeChat 4.3.2) |
| 2024-07-12 12:42:14 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) |
| 2024-07-12 13:01:35 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bf0c:5535:de21:7813) |
| 2024-07-12 13:05:02 +0200 | dhil | (~dhil@2001:8e0:2014:3100:a85b:6416:b5a0:a3a6) (Ping timeout: 268 seconds) |
| 2024-07-12 13:05:33 +0200 | yin | (~yin@user/zero) |
| 2024-07-12 13:08:05 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-07-12 13:08:05 +0200 | kenran | (~user@user/kenran) |
| 2024-07-12 13:10:36 +0200 | nullobject | (~josh@user/nullobject) |
| 2024-07-12 13:11:10 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-12 13:14:34 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2024-07-12 13:18:01 +0200 | nullobject | (~josh@user/nullobject) |
| 2024-07-12 13:22:39 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2024-07-12 13:24:15 +0200 | nullobject | (~josh@user/nullobject) (Quit: WeeChat 3.5) |
| 2024-07-12 13:26:26 +0200 | weechat2 | dminuoso |
| 2024-07-12 13:31:04 +0200 | nullobject | (~nullobjec@user/nullobject) |
| 2024-07-12 13:32:10 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-07-12 13:34:34 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-07-12 13:35:15 +0200 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2024-07-12 13:35:46 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2024-07-12 13:37:34 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2024-07-12 13:37:34 +0200 | haritz | (~hrtz@user/haritz) |
| 2024-07-12 13:48:13 +0200 | nullobject | (~nullobjec@user/nullobject) (Ping timeout: 246 seconds) |
| 2024-07-12 13:54:37 +0200 | alexherbo2 | (~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-12 13:54:57 +0200 | alexherbo2 | (~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net) |
| 2024-07-12 14:07:56 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-07-12 14:08:10 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-12 14:11:11 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2024-07-12 14:13:55 +0200 | CiaoSen | (~Jura@2a05:5800:2b4:7a00:e6b9:7aff:fe80:3d03) |
| 2024-07-12 14:16:01 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-07-12 14:17:08 +0200 | califax | (~califax@user/califx) |
| 2024-07-12 14:22:23 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-07-12 14:25:11 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-07-12 14:25:39 +0200 | danse-nr3 | (~danse-nr3@151.57.150.40) (Quit: Leaving) |
| 2024-07-12 14:25:50 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-07-12 14:26:22 +0200 | califax | (~califax@user/califx) |
| 2024-07-12 14:26:44 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-07-12 14:27:23 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2024-07-12 14:27:37 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-12 14:29:55 +0200 | ph88 | (~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 +0200 | rvalue- | rvalue |
| 2024-07-12 14:35:27 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-07-12 14:36:58 +0200 | califax | (~califax@user/califx) |
| 2024-07-12 14:38:43 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2024-07-12 14:38:57 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-12 14:39:11 +0200 | califax | (~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 +0200 | califax | (~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 +0200 | ubert | (~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 +0200 | euleritian | (~euleritia@dynamic-176-006-193-058.176.6.pool.telefonica.de) |
| 2024-07-12 14:50:27 +0200 | JuanDaugherty | (~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 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-12 15:01:52 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-07-12 15:02:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-07-12 15:19:37 +0200 | danse-nr3 | (~danse-nr3@151.43.98.142) |
| 2024-07-12 15:19:52 +0200 | danse-nr3 | (~danse-nr3@151.43.98.142) (Remote host closed the connection) |
| 2024-07-12 15:20:17 +0200 | danse-nr3 | (~danse-nr3@151.43.98.142) |
| 2024-07-12 15:20:53 +0200 | euleritian | (~euleritia@dynamic-176-006-193-058.176.6.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2024-07-12 15:21:42 +0200 | euleritian | (~euleritia@dynamic-176-001-218-022.176.1.pool.telefonica.de) |
| 2024-07-12 15:26:23 +0200 | xdminsy | (~xdminsy@117.147.70.227) |
| 2024-07-12 15:32:52 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-12 15:35:28 +0200 | ystael | (~ystael@user/ystael) |
| 2024-07-12 15:36:01 +0200 | euleritian | (~euleritia@dynamic-176-001-218-022.176.1.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-07-12 15:54:28 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2024-07-12 15:54:42 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-12 15:58:20 +0200 | alexherbo2 | (~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-12 15:58:39 +0200 | alexherbo2 | (~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 +0200 | alexherbo2 | (~alexherbo@2a02-8440-311a-ab9d-102a-b36a-de33-8b22.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-12 16:11:05 +0200 | Sgeo | (~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 +0200 | JuanDaugherty | (~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 +0200 | alexherbo2 | (~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 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2024-07-12 16:25:11 +0200 | pavonia | (~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 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 264 seconds) |
| 2024-07-12 16:30:12 +0200 | dhil | (~dhil@2001:8e0:2014:3100:6d7c:ff84:7411:4b4e) |
| 2024-07-12 16:30:16 +0200 | CiaoSen | (~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 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-07-12 16:32:32 +0200 | czy | (~user@fortigate.wolfson.cam.ac.uk) (Ping timeout: 268 seconds) |
| 2024-07-12 16:34:09 +0200 | euleritian | (~euleritia@dynamic-176-003-089-142.176.3.pool.telefonica.de) |
| 2024-07-12 16:34:12 +0200 | CrunchyFlakes | (~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 +0200 | m1dnight | (~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 +0200 | m1dnight | (~christoph@82.146.125.185) |
| 2024-07-12 16:44:26 +0200 | CiaoSen | (~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 +0200 | cpressey | (~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 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 240 seconds) |
| 2024-07-12 17:04:12 +0200 | TMA | (tma@twin.jikos.cz) |
| 2024-07-12 17:06:22 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-12 17:07:54 +0200 | ubert1 | (~Thunderbi@p200300ecdf24f17cdfae8dfb94d1c609.dip0.t-ipconnect.de) |
| 2024-07-12 17:08:53 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 240 seconds) |
| 2024-07-12 17:08:53 +0200 | ubert | (~Thunderbi@p200300ecdf24f18b8c1e05593c61bd0b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-07-12 17:08:53 +0200 | ubert1 | ubert |
| 2024-07-12 17:15:35 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2024-07-12 17:16:38 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-12 17:21:22 +0200 | TMA | (tma@twin.jikos.cz) |
| 2024-07-12 17:21:51 +0200 | forell | (~forell@user/forell) |
| 2024-07-12 17:34:40 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2024-07-12 17:37:45 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
| 2024-07-12 17:41:37 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-07-12 17:44:18 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-12 17:48:59 +0200 | cfricke | (~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 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-12 18:05:41 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-07-12 18:09:58 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 268 seconds) |
| 2024-07-12 18:10:00 +0200 | CiaoSen | (~Jura@2a05:5800:2b4:7a00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 2024-07-12 18:10:13 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-12 18:12:47 +0200 | danse-nr3 | (~danse-nr3@151.43.98.142) (Quit: Leaving) |
| 2024-07-12 18:24:03 +0200 | CrunchyFlakes | (~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 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-07-12 18:30:19 +0200 | dhil | (~dhil@2001:8e0:2014:3100:6d7c:ff84:7411:4b4e) (Ping timeout: 246 seconds) |
| 2024-07-12 18:39:34 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 268 seconds) |
| 2024-07-12 18:44:23 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-07-12 18:44:49 +0200 | srk | (~sorki@user/srk) (Ping timeout: 268 seconds) |
| 2024-07-12 18:45:05 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2024-07-12 18:45:34 +0200 | srk | (~sorki@user/srk) |
| 2024-07-12 18:47:03 +0200 | ystael | (~ystael@user/ystael) |
| 2024-07-12 18:51:25 +0200 | alexherbo2 | (~alexherbo@30.151.22.93.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-12 19:03:10 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-07-12 19:08:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-12 19:15:08 +0200 | Jackneill | (~Jackneill@217-197-184-151.pool.digikabel.hu) |
| 2024-07-12 19:20:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-12 19:21:35 +0200 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2024-07-12 19:22:46 +0200 | hueso | (~root@user/hueso) |
| 2024-07-12 19:25:52 +0200 | yin | (~yin@user/zero) |
| 2024-07-12 19:28:01 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-07-12 19:35:47 +0200 | ash3en | (~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) |
| 2024-07-12 19:41:32 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-12 19:45:21 +0200 | ash3en | ultima12 |
| 2024-07-12 19:48:28 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-07-12 19:53:38 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-07-12 19:56:48 +0200 | tzh | (~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 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-12 20:23:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2024-07-12 20:23:43 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-07-12 20:26:05 +0200 | cheater_ | (~Username@user/cheater) |
| 2024-07-12 20:27:36 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-07-12 20:28:47 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2024-07-12 20:28:51 +0200 | cheater_ | cheater |
| 2024-07-12 20:34:47 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-07-12 20:37:21 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-07-12 20:41:07 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2024-07-12 20:44:05 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-12 20:50:01 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-07-12 20:58:54 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2024-07-12 20:59:08 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-12 21:00:40 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-12 21:01:28 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-12 21:03:19 +0200 | ultima12 | (~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) (Ping timeout: 250 seconds) |
| 2024-07-12 21:04:57 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-12 21:06:36 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-12 21:09:14 +0200 | xdminsy | (~xdminsy@117.147.70.227) (Quit: Konversation terminated!) |
| 2024-07-12 21:09:14 +0200 | christiaanb | (uid84827@id-84827.lymington.irccloud.com) |
| 2024-07-12 21:11:00 +0200 | alexherbo2 | (~alexherbo@2a02-8440-311a-ab9d-bd9d-bb5a-6bfa-4981.rev.sfr.net) |
| 2024-07-12 21:16:20 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-12 21:16:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-12 21:16:49 +0200 | incertia | (~incertia@209.122.137.252) (Ping timeout: 268 seconds) |
| 2024-07-12 21:18:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-12 21:23:06 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-12 21:33:42 +0200 | incertia | (~incertia@209.122.137.252) |
| 2024-07-12 21:33:57 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split) |
| 2024-07-12 21:34:18 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 2024-07-12 21:35:23 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-12 21:35:38 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2024-07-12 21:35:53 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-12 21:36:35 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 264 seconds) |
| 2024-07-12 21:42:25 +0200 | ash3en | (~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) |
| 2024-07-12 21:45:31 +0200 | destituion | (~destituio@ti0185q160-0175.bb.online.no) |
| 2024-07-12 21:50:07 +0200 | catties | Catty |
| 2024-07-12 21:50:07 +0200 | ash3en | (~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) (Ping timeout: 250 seconds) |
| 2024-07-12 21:50:31 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-12 21:51:25 +0200 | hugo- | (hugo@quicksilver.lysator.liu.se) |
| 2024-07-12 21:52:29 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection) |
| 2024-07-12 21:52:47 +0200 | ash3en | (~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) |
| 2024-07-12 21:53:15 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-07-12 21:54:26 +0200 | Square | (~Square@user/square) |
| 2024-07-12 21:56:46 +0200 | mniip_ | (mniip@libera/staff/mniip) (*.net *.split) |
| 2024-07-12 21:56:53 +0200 | mniip | (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 +0200 | ash3en | (~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 +0200 | ash3en | (~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 +0200 | cpressey | (~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 +0200 | cpressey | (~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 +0200 | alexherbo2 | (~alexherbo@2a02-8440-311a-ab9d-bd9d-bb5a-6bfa-4981.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-12 22:40:13 +0200 | alexherbo2 | (~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 +0200 | cpressey | (~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 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-12 22:49:58 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-12 22:58:11 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-07-12 22:59:43 +0200 | ash3en | (~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) (Remote host closed the connection) |
| 2024-07-12 23:01:23 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-07-12 23:01:44 +0200 | kimiamania | (~65804703@user/kimiamania) |
| 2024-07-12 23:07:46 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 264 seconds) |
| 2024-07-12 23:12:59 +0200 | AlexZenon | (~alzenon@5.139.233.228) (Ping timeout: 252 seconds) |
| 2024-07-12 23:14:58 +0200 | ultima12 | (~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) |
| 2024-07-12 23:26:24 +0200 | AlexZenon | (~alzenon@5.139.233.228) |
| 2024-07-12 23:26:54 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-07-12 23:26:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-12 23:28:20 +0200 | ultima12 | (~ash3en@2a01:c22:8c1d:e900:34c:3f3:8550:afd8) (Remote host closed the connection) |
| 2024-07-12 23:29:30 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-12 23:33:32 +0200 | pavonia | (~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 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-12 23:41:22 +0200 | AlexZenon | (~alzenon@5.139.233.228) (Ping timeout: 264 seconds) |
| 2024-07-12 23:42:18 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-07-12 23:43:30 +0200 | <geekosaur> | unsafeCoerce is the "believe me!" |
| 2024-07-12 23:46:06 +0200 | motherfsck | (~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 +0200 | motherfsck | (~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 +0200 | motherfsck | (~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 +0200 | target_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 +0200 | AlexZenon | (~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 |