Logs: liberachat/#haskell
| 2025-09-24 15:20:47 | × | Googulator20 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 15:24:52 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-24 15:25:47 | × | Googulator11 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 15:25:48 | → | Googulator62 joins (~Googulato@80-95-93-255.pool.digikabel.hu) |
| 2025-09-24 15:26:09 | × | Raito_Bezarius quits (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 244 seconds) |
| 2025-09-24 15:27:09 | × | karenw_ quits (~karenw@user/karenw) (Ping timeout: 250 seconds) |
| 2025-09-24 15:44:32 | → | Raito_Bezarius joins (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) |
| 2025-09-24 15:47:30 | × | pyrex quits (~pyrex@user/pyrex) (Remote host closed the connection) |
| 2025-09-24 15:47:58 | → | pyrex joins (~pyrex@user/pyrex) |
| 2025-09-24 15:51:44 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-24 15:53:55 | × | qqe quits (~qqq@185.54.23.100) (Quit: Lost terminal) |
| 2025-09-24 15:54:34 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-09-24 15:59:56 | × | ephilalethes quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2025-09-24 16:06:05 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2025-09-24 16:06:36 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-24 16:06:45 | gehmehgeh | is now known as gmg |
| 2025-09-24 16:06:50 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-09-24 16:10:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-09-24 16:10:59 | ← | pounce parts (8a023a9e4a@user/cute/pounce) () |
| 2025-09-24 16:11:37 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 2025-09-24 16:17:01 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-24 16:20:37 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 16:20:37 | × | Googulator62 quits (~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 16:22:56 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-09-24 16:25:39 | → | Googulator19 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 16:25:43 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 16:26:20 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-09-24 16:30:00 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-24 16:30:31 | × | Googulator19 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Client Quit) |
| 2025-09-24 16:30:39 | → | Googulator19 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 16:32:56 | × | tt12310978324354 quits (~tt1231@syn-075-185-104-199.res.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-24 16:33:07 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-09-24 16:34:02 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 2025-09-24 16:35:46 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-24 16:39:36 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-09-24 16:40:17 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-09-24 16:43:02 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-24 16:43:07 | → | tromp joins (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) |
| 2025-09-24 16:45:44 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-24 16:45:57 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-09-24 16:55:53 | × | hylisper quits (~hylisper@user/hylisper) (Remote host closed the connection) |
| 2025-09-24 17:01:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-24 17:02:49 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-09-24 17:02:56 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 2025-09-24 17:03:37 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-09-24 17:05:10 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 258 seconds) |
| 2025-09-24 17:05:56 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 258 seconds) |
| 2025-09-24 17:06:42 | × | davean quits (~davean@davean.sciesnet.net) (Ping timeout: 258 seconds) |
| 2025-09-24 17:07:10 | → | jreicher joins (~user@user/jreicher) |
| 2025-09-24 17:07:25 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-24 17:11:12 | → | tromp joins (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) |
| 2025-09-24 17:14:06 | Googulator19 | is now known as Googulator |
| 2025-09-24 17:15:32 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 17:15:38 | → | Googulator84 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 17:20:41 | → | davean joins (~davean@davean.sciesnet.net) |
| 2025-09-24 17:27:06 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-24 17:28:55 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 258 seconds) |
| 2025-09-24 17:31:46 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-24 17:33:29 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 2025-09-24 17:35:12 | Googulator84 | is now known as Googulator |
| 2025-09-24 17:40:30 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 17:40:43 | → | Googulator joins (~Googulato@80-95-93-255.pool.digikabel.hu) |
| 2025-09-24 17:42:10 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-24 17:45:08 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 256 seconds) |
| 2025-09-24 17:46:03 | → | juri_ joins (~juri@implicitcad.org) |
| 2025-09-24 17:48:09 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-09-24 17:51:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-09-24 17:52:08 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-24 17:55:50 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-24 17:58:04 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-24 17:59:48 | × | m1dnight_ quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds) |
| 2025-09-24 18:00:07 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-09-24 18:01:09 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-09-24 18:01:44 | → | trickard__ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-24 18:14:32 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-24 18:16:16 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-09-24 18:20:38 | <cheater> | what is the stuff on the left of => called |
| 2025-09-24 18:20:45 | <cheater> | in general |
| 2025-09-24 18:21:57 | <ncf> | a constraint (or a set of constraints) |
| 2025-09-24 18:22:16 | <cheater> | right |
| 2025-09-24 18:22:22 | <cheater> | temporary amnesia |
| 2025-09-24 18:24:15 | <ncf> | i guess that's not what the report calls it https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-660004.1.3 |
| 2025-09-24 18:24:32 | <ncf> | a context made up of class assertions |
| 2025-09-24 18:24:41 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-24 18:24:50 | <ncf> | i guess GHC constraints don't have to be class assertions |
| 2025-09-24 18:24:53 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-09-24 18:25:09 | × | MelodyOwO quits (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-09-24 18:25:31 | <cheater> | what else can they be |
| 2025-09-24 18:25:42 | <ncf> | equality constraints |
| 2025-09-24 18:26:15 | <ncf> | and implicit parameters https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/constraint_kind.html |
| 2025-09-24 18:28:50 | <cheater> | yeah i was thinking that |
| 2025-09-24 18:37:15 | <EvanR> | implicit parameters, ewwwwww |
| 2025-09-24 18:45:51 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-09-24 18:46:19 | <tomsmeding> | :t ?f <$> ?x |
| 2025-09-24 18:46:20 | <lambdabot> | (Functor f, ?f::a -> b, ?x::f a) => f b |
| 2025-09-24 18:46:45 | <tomsmeding> | also implicit parameters are just a reader monad but without needing to enter a monad |
| 2025-09-24 18:47:07 | <tomsmeding> | I like implicit parameters; I use them rarely, but I like them when I do |
| 2025-09-24 18:47:32 | → | finsternis joins (~X@23.226.237.192) |
| 2025-09-24 18:47:40 | → | sprotte24 joins (~sprotte24@p200300d16f03df00ed1f69e1a121dad0.dip0.t-ipconnect.de) |
| 2025-09-24 19:00:06 | × | caconym74787 quits (~caconym@user/caconym) (Quit: bye) |
All times are in UTC.