Newest at the top
2024-03-29 11:44:53 +0100 | hiredman | (~hiredman@frontier1.downey.family) |
2024-03-29 11:42:30 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
2024-03-29 11:41:28 +0100 | <cheater> | hmm right |
2024-03-29 11:38:15 +0100 | myxokephale | (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
2024-03-29 11:37:42 +0100 | mei | (~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 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-03-29 11:24:23 +0100 | hiredman | (~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 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-03-29 11:09:18 +0100 | EvanR | (~EvanR@user/evanr) |
2024-03-29 11:09:03 +0100 | EvanR | (~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 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
2024-03-29 11:07:01 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-03-29 11:06:50 +0100 | mmhat | (~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 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-29 10:56:04 +0100 | akegalj | (~akegalj@141-136-184-96.dsl.iskon.hr) (Quit: leaving) |
2024-03-29 10:55:24 +0100 | tromp | (~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 +0100 | phma | (phma@2001:5b0:215d:ba58:a61a:48b0:3e33:afde) |
2024-03-29 10:52:47 +0100 | phma | (~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 +0100 | gmg | (~user@user/gehmehgeh) |
2024-03-29 10:44:00 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-03-29 10:43:39 +0100 | gmg | (~user@user/gehmehgeh) |
2024-03-29 10:43:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-29 10:40:58 +0100 | dcoutts | (~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 +0100 | waleee | (~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 +0100 | Square2 | (~Square@user/square) (Ping timeout: 268 seconds) |