Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17431 17432 17433 17434 17435 17436 17437 17438 17439 17440 17441 .. 17998
— 1,799,742 events total
2026-01-26 11:32:29 <haskellbridge> <Liamzee> for _IOCheck $ \something -> ...
2026-01-26 11:36:17 × lucabtz quits (~lucabtz@user/lucabtz) (Read error: Connection reset by peer)
2026-01-26 11:54:45 → wootehfoot joins (~wootehfoo@user/wootehfoot)
2026-01-26 11:58:00 <opqdonut> isn't the foldable/traversable instance for IO trivial? It contains a single value.
2026-01-26 11:58:20 → itaipu joins (~itaipu@168.121.97.28)
2026-01-26 11:58:32 <opqdonut> oh sorry, not foldable, can't unIO
2026-01-26 12:01:02 → comerijn joins (~merijn@77.242.116.146)
2026-01-26 12:03:01 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2026-01-26 12:29:22 × Square quits (~Square4@user/square) (Remote host closed the connection)
2026-01-26 12:34:13 → Lycurgus joins (~juan@user/Lycurgus)
2026-01-26 12:34:43 → Square joins (~Square4@user/square)
2026-01-26 12:45:59 × trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2026-01-26 12:46:27 → trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au)
2026-01-26 12:47:42 → lucabtz joins (~lucabtz@user/lucabtz)
2026-01-26 12:56:36 × trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-26 12:56:54 → trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au)
2026-01-26 13:08:55 × trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-26 13:09:09 → trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au)
2026-01-26 13:13:38 → karenw joins (~karenw@user/karenw)
2026-01-26 13:22:23 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-26 13:22:47 × housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-01-26 13:25:38 <haskellbridge> <Man of Letters (Mikolaj)> is there a way around this?
2026-01-26 13:25:39 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/ptBfheGxAndftWFfLmlImUig/HEYosfzlhmE (23 lines)
2026-01-26 13:26:19 × trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2026-01-26 13:26:36 → trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au)
2026-01-26 13:28:07 <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 13:33:13 → housemate joins (~housemate@202.7.248.67)
2026-01-26 13:33:51 trickard_ is now known as trickard
2026-01-26 13:37:33 → ttybitnik joins (~ttybitnik@user/wolper)
2026-01-26 13:39:16 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds)
2026-01-26 13:40:44 → Guest43 joins (~Guest43@p200300dcb736f100c4bc8629e572e5b9.dip0.t-ipconnect.de)
2026-01-26 13:41:38 → ec joins (~ec@gateway/tor-sasl/ec)
2026-01-26 13:43:55 × Guest43 quits (~Guest43@p200300dcb736f100c4bc8629e572e5b9.dip0.t-ipconnect.de) (Client Quit)
2026-01-26 13:45:04 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection)
2026-01-26 13:45:20 → chromoblob joins (~chromoblo@user/chromob1ot1c)
2026-01-26 13:46:37 × yin quits (~zero@user/zero) (Ping timeout: 246 seconds)
2026-01-26 13:47:11 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-01-26 13:47:11 × _gio quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-01-26 13:47:11 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2026-01-26 13:47:29 → marinelli joins (~weechat@gateway/tor-sasl/marinelli)
2026-01-26 13:47:33 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2026-01-26 13:47:39 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2026-01-26 13:47:47 <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 13:49:16 <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 13:49:53 × trickard quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-26 13:50:06 → trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au)
2026-01-26 13:56:02 → yin joins (~zero@user/zero)
2026-01-26 13:58:12 → ags joins (~ags@p200300dcb736f100c4bc8629e572e5b9.dip0.t-ipconnect.de)
2026-01-26 13:59:11 <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 13:59:32 <haskellbridge> <Man of Letters (Mikolaj)> - '(a, b)
2026-01-26 14:16:14 <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:20:31 <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 14:20:55 <Leary> '(*
2026-01-26 14:21:01 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-01-26 14:21:50 → machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
2026-01-26 14:22:44 <haskellbridge> <Man of Letters (Mikolaj)> oh, so I _can_ define "Fst"; let me try in that case...
2026-01-26 14:26:43 → marinelli joins (~weechat@gateway/tor-sasl/marinelli)
2026-01-26 14:28:31 <haskellbridge> <Man of Letters (Mikolaj)> yay, it works and in both directions:
2026-01-26 14:28:32 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/NXWYnHcDHOAropDWOwElprDd/SxwevPmJWUA (7 lines)
2026-01-26 14:29:22 <haskellbridge> <Man of Letters (Mikolaj)> let me try my big project that uses https://hackage.haskell.org/package/dependent-enummap ...
2026-01-26 14:32:11 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...)
2026-01-26 14:33:40 <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 14:51:27 × img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-01-26 14:52:42 → img joins (~img@user/img)
2026-01-26 14:54:00 × comerijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2026-01-26 15:04:05 × Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.8.1)
2026-01-26 15:07:05 × fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp)
2026-01-26 15:07:10 → merijn joins (~merijn@77.242.116.146)
2026-01-26 15:07:22 × trickard_ quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-26 15:07:36 → trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au)
2026-01-26 15:09:59 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
2026-01-26 15:11:41 → Pozyomka joins (~pyon@user/pyon)
2026-01-26 15:19:55 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2026-01-26 15:20:19 → ec joins (~ec@gateway/tor-sasl/ec)
2026-01-26 15:22:03 × merijn quits (~merijn@77.242.116.146) (Quit: leaving)
2026-01-26 15:23:39 trickard_ is now known as trickard
2026-01-26 15:25:45 → merijn joins (~merijn@77.242.116.146)
2026-01-26 15:30:25 × trickard quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-26 15:30:37 → trickard joins (~trickard@cpe-80-98-47-163.wireline.com.au)
2026-01-26 15:32:42 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
2026-01-26 15:36:18 × karenw quits (~karenw@user/karenw) (Ping timeout: 260 seconds)
2026-01-26 15:36:34 <haskellbridge> <Man of Letters (Mikolaj)> unfortunately, this failed in the wild at use of higher-order functions with quantified arguments, similarly as in
2026-01-26 15:36:36 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/xIMBotwOvnctkswZfetBzvsv/igMLrx_ztsQ (14 lines)
2026-01-26 15:37:30 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:e244:f9d3:3752:93e5) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2026-01-26 15:37:50 → YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:b685:3825:8bb0:ad7d)
2026-01-26 15:38:33 <haskellbridge> <Man of Letters (Mikolaj)> that could probably be worked around by inserting something like "a_b ~ '(Fst a_b, Snd a_b)" into "h", but the point is, in general "h" comes from an external library and is not limited to type pairs and should not be changed for each type of arguments the users of the library may want to use it for
2026-01-26 15:40:25 × qqq quits (~qqq@185.54.21.105) (Quit: Lost terminal)
2026-01-26 15:41:27 <haskellbridge> <Man of Letters (Mikolaj)> (and is not limited to type "T", but works for any type operator "k"; here it uses T and type pairs and it still fails even then)
2026-01-26 15:53:21 × chele quits (~chele@user/chele) (Remote host closed the connection)
2026-01-26 15:53:34 → chele joins (~chele@user/chele)
2026-01-26 16:02:38 × GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2)
2026-01-26 16:05:09 → GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano)
2026-01-26 16:29:39 × lucabtz quits (~lucabtz@user/lucabtz) (Quit: Lost terminal)
2026-01-26 16:34:18 × shr\ke quits (~shrike@user/shrke:31298) (Ping timeout: 256 seconds)
2026-01-26 16:36:49 → comerijn joins (~merijn@77.242.116.146)
2026-01-26 16:39:54 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2026-01-26 16:44:23 → hakutaku joins (~textual@chen.yukari.eu.org)
2026-01-26 16:55:59 → Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi)
2026-01-26 16:56:41 → st_aldini joins (~Thunderbi@136.48.46.187)
2026-01-26 16:57:10 → shr\ke joins (~shrike@user/paxhumana)
←Prev  Next→
Page 1 .. 17431 17432 17433 17434 17435 17436 17437 17438 17439 17440 17441 .. 17998

All times are in UTC.