Newest at the top
| 2026-01-26 16:04:05 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2026-01-26 15:54:00 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2026-01-26 15:52:42 +0100 | img | (~img@user/img) img |
| 2026-01-26 15:51:27 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-26 15:33:40 +0100 | <mjacob> | EvanR, monochrom: With “cycle” in FRP, I meant that, if the program is converted to a dataflow graph where the nodes represent computations and edges represent uses, a cycle in that graph. |
| 2026-01-26 15:32:11 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2026-01-26 15:29:22 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> let me try my big project that uses https://hackage.haskell.org/package/dependent-enummap ... |
| 2026-01-26 15:28:32 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/NXWYnHcDHOAropDWOwElprDd/SxwevPmJWUA (7 lines) |
| 2026-01-26 15:28:31 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> yay, it works and in both directions: |
| 2026-01-26 15:26:43 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-01-26 15:22:44 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> oh, so I _can_ define "Fst"; let me try in that case... |
| 2026-01-26 15:21:50 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-26 15:21:01 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-01-26 15:20:55 +0100 | <Leary> | '(* |
| 2026-01-26 15:20:31 +0100 | <Leary> | Man of Letters (Mikolaj): What's unsound is `eta :: forall t. t :~: (Fst t, Snd t); eta = unsafeCoerce (Refl @t)`---so long as you aren't cooking with `unsafeCoerce` there won't be a problem. Re `Fst` and `Snd`, they're just ordinary closed type families. |
| 2026-01-26 15:16:14 +0100 | <ags> | What advantage does `Servant` have over `Yesod`? I understand that `Servant` is able to automatically generate a lot of stuff but it seems to me that `Yesod` is able to achieve the same type-safety via TemplateHaskell and QuasiQuotes. Am I missing something? |
| 2026-01-26 14:59:32 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> - '(a, b) |
| 2026-01-26 14:59:11 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> Leary: thank you; spot on, too bad, yeah, I guess I may try to use the internals of the libraries I use to write versions of some of their functions specifically for "(a, b), but it's a shame; if I had "Fst"and"Snd` maybe constraints in my own code would suffice, but probably these would trigger the same unsoundness that GHC assuming them does |
| 2026-01-26 14:58:12 +0100 | ags | (~ags@p200300dcb736f100c4bc8629e572e5b9.dip0.t-ipconnect.de) |
| 2026-01-26 14:56:02 +0100 | yin | (~zero@user/zero) zero |
| 2026-01-26 14:50:06 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-26 14:49:53 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 14:49:16 +0100 | <Leary> | For that specific example I would say "just don't give `lengthT` that type", but I doubt that advice generalises to your actual code. |
| 2026-01-26 14:47:47 +0100 | <Leary> | Man of Letters (Mikolaj): Relevant issue: <https://gitlab.haskell.org/ghc/ghc/-/issues/7259>; these "eta-rules" aren't sound in current GHC due to some type family foibles, but there's no issue with taking them as explicit constraints or matching on `T`, if either help. |
| 2026-01-26 14:47:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-01-26 14:47:33 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-01-26 14:47:29 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-01-26 14:47:11 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-01-26 14:47:11 +0100 | _gio | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-01-26 14:47:11 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-01-26 14:46:37 +0100 | yin | (~zero@user/zero) (Ping timeout: 246 seconds) |
| 2026-01-26 14:45:20 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-26 14:45:04 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-01-26 14:43:55 +0100 | Guest43 | (~Guest43@p200300dcb736f100c4bc8629e572e5b9.dip0.t-ipconnect.de) (Client Quit) |
| 2026-01-26 14:41:38 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-01-26 14:40:44 +0100 | Guest43 | (~Guest43@p200300dcb736f100c4bc8629e572e5b9.dip0.t-ipconnect.de) |
| 2026-01-26 14:39:16 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2026-01-26 14:37:33 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2026-01-26 14:33:51 +0100 | trickard_ | trickard |
| 2026-01-26 14:33:13 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-01-26 14:28:07 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> (the workaround would possibly be to add an equation "a_b ~ (Fst a_b, Snd a_b)" to the type signature of "lengthT2") |
| 2026-01-26 14:26:36 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-26 14:26:19 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2026-01-26 14:25:39 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/ptBfheGxAndftWFfLmlImUig/HEYosfzlhmE (23 lines) |
| 2026-01-26 14:25:38 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> is there a way around this? |
| 2026-01-26 14:22:47 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-26 14:22:23 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-26 14:13:38 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-26 14:09:09 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 14:08:55 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |