2024/03/29

Newest at the top

2024-03-29 11:44:53 +0100hiredman(~hiredman@frontier1.downey.family)
2024-03-29 11:42:30 +0100myxos(~myxos@065-028-251-121.inf.spectrum.com)
2024-03-29 11:41:28 +0100 <cheater> hmm right
2024-03-29 11:38:15 +0100myxokephale(~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection)
2024-03-29 11:37:42 +0100mei(~mei@user/mei) (Ping timeout: 268 seconds)
2024-03-29 11:35:32 +0100 <c_wraith> Honestly, I don't really understand the use case for HList. vinyl at least names the fields so that they can be order-independent
2024-03-29 11:34:49 +0100 <lyxia> a lot of the libraries that "solve" the record problem are some opinionated API on top of hlists.
2024-03-29 11:33:38 +0100 <lyxia> There's Hlist, vinyl, and a lot of the effect libraries also roll their own variant of it.
2024-03-29 11:32:48 +0100 <lyxia> it's a widely known concept but there is no standard implementation because there are so many trade offs
2024-03-29 11:28:29 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-03-29 11:24:23 +0100hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 260 seconds)
2024-03-29 11:23:47 +0100 <cheater> does it come in some package?
2024-03-29 11:23:44 +0100 <cheater> is HList like a widely used thing?
2024-03-29 11:23:23 +0100 <cheater> thanks
2024-03-29 11:23:20 +0100 <cheater> ok, i guess this makes sense
2024-03-29 11:23:02 +0100 <cheater> hmm
2024-03-29 11:21:44 +0100 <cheater> i'll need a few stiff shots before i can understand that
2024-03-29 11:17:07 +0100 <yahb2> Proxy @Int :~ Proxy @Char :~ Nil ; :: (c Int, c Char) => HList c Proxy '[Int, Char]
2024-03-29 11:17:07 +0100 <[Leary]> % :t Proxy @Int :~ Proxy @Char :~ Nil
2024-03-29 11:17:02 +0100 <yahb2> <no output>
2024-03-29 11:17:02 +0100 <[Leary]> % data HList c f xs where { Nil :: HList c f '[]; (:~) :: c x => f x -> HList c f xs -> HList c f (x:xs) }; infixr 6 :~
2024-03-29 11:13:23 +0100 <cheater> would like to figure out how..
2024-03-29 11:13:13 +0100 <cheater> guess not
2024-03-29 11:11:17 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-03-29 11:09:18 +0100EvanR(~EvanR@user/evanr)
2024-03-29 11:09:03 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2024-03-29 11:09:01 +0100 <cheater> can i have a list that has multiple different proxies inside? like [Proxy @Type1, Proxy @Type2, ...]
2024-03-29 11:07:35 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds)
2024-03-29 11:07:01 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-03-29 11:06:50 +0100mmhat(~mmh@p200300f1c706a268ee086bfffe095315.dip0.t-ipconnect.de)
2024-03-29 10:59:37 +0100 <phma> I have 16 GB in that directory.
2024-03-29 10:59:34 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-29 10:56:04 +0100akegalj(~akegalj@141-136-184-96.dsl.iskon.hr) (Quit: leaving)
2024-03-29 10:55:24 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-29 10:54:35 +0100 <phma> Is there a stack command that gets rid of old versions of GHC in ~/.stack/programs/?
2024-03-29 10:53:23 +0100phma(phma@2001:5b0:215d:ba58:a61a:48b0:3e33:afde)
2024-03-29 10:52:47 +0100phma(~phma@host-67-44-208-48.hnremote.net) (Quit: Konversation terminated!)
2024-03-29 10:47:35 +0100 <Arsen> I had extranious commas
2024-03-29 10:47:31 +0100 <Arsen> ah, the error is mine! naturally
2024-03-29 10:44:43 +0100gmg(~user@user/gehmehgeh)
2024-03-29 10:44:00 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-03-29 10:43:39 +0100gmg(~user@user/gehmehgeh)
2024-03-29 10:43:20 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-29 10:40:58 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-03-29 10:38:48 +0100 <Arsen> correct = looks not-screwed-up
2024-03-29 10:38:41 +0100 <Arsen> well, that makes it incorrect ;P
2024-03-29 10:38:24 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2024-03-29 10:37:42 +0100 <ncf> what's a correct convention, but also this looks mighty screwed up to me
2024-03-29 10:34:15 +0100 <Arsen> https://paste.sr.ht/~arsen/c61b0c595c9a100f2b4834d2064c8216eb4700bb emacs' haskell-mode indents this data declaration like this. is this the correct convention for wrapping record syntax? is it haskell-mode screwing up?
2024-03-29 10:31:06 +0100Square2(~Square@user/square) (Ping timeout: 268 seconds)