Logs: liberachat/#haskell
| 2026-04-29 18:20:00 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-29 18:23:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 18:27:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-29 18:29:21 | → | qqq joins (~qqq@185.54.20.226) |
| 2026-04-29 18:29:50 | × | qqq quits (~qqq@185.54.20.226) (Client Quit) |
| 2026-04-29 18:37:10 | × | puke quits (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-29 18:37:36 | → | emaczen joins (~user@user/emaczen) |
| 2026-04-29 18:37:39 | × | Pozyomka quits (~pyon@user/pyon) (Quit: fuck logind) |
| 2026-04-29 18:44:15 | monochrom | prefers (.) (.) (.) >:) |
| 2026-04-29 18:46:36 | → | craunts795335385 joins (~craunts@152.32.100.66) |
| 2026-04-29 18:47:09 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-29 18:47:58 | × | craunts795335385 quits (~craunts@152.32.100.66) (Client Quit) |
| 2026-04-29 18:48:18 | <monochrom> | @type (.) (.) (.) (.) (.) |
| 2026-04-29 18:48:19 | <lambdabot> | (b1 -> c) -> (b2 -> b1) -> (a -> b2) -> a -> c |
| 2026-04-29 18:48:30 | <monochrom> | known as "Five Eyes" >:) |
| 2026-04-29 18:49:04 | → | craunts795335385 joins (~craunts@152.32.100.66) |
| 2026-04-29 18:49:12 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-29 18:55:10 | <EvanR> | .::, but .::: would be the seele logo from neon genesis |
| 2026-04-29 18:55:28 | <EvanR> | haskell is so mystic |
| 2026-04-29 18:56:52 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-29 19:02:32 | → | tromp joins (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-29 19:06:57 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-29 19:08:25 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-04-29 19:11:54 | → | Comstar joins (~Comstar@user/Comstar) |
| 2026-04-29 19:12:02 | × | dolio quits (~dolio@130.44.140.168) (Client Quit) |
| 2026-04-29 19:13:20 | → | ft joins (~ft@p200300cf3f4f28002264268f01ab0284.dip0.t-ipconnect.de) |
| 2026-04-29 19:13:28 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-04-29 19:15:17 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-29 19:29:12 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-04-29 19:32:54 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-29 19:33:04 | × | synchromesh quits (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) (Read error: Connection reset by peer) |
| 2026-04-29 19:33:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 19:33:20 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-29 19:34:19 | → | synchromesh joins (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) |
| 2026-04-29 19:37:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-29 19:41:43 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-29 19:50:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 19:54:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 19:58:30 | × | malte quits (~malte@mal.tc) (Ping timeout: 245 seconds) |
| 2026-04-29 19:59:26 | → | malte joins (~malte@mal.tc) |
| 2026-04-29 20:00:16 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-04-29 20:00:19 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2026-04-29 20:03:07 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-04-29 20:07:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 20:11:45 | × | haskellbridge quits (~hackager@96.28.224.214) (Ping timeout: 244 seconds) |
| 2026-04-29 20:12:04 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2026-04-29 20:12:04 | ChanServ | sets mode +v haskellbridge |
| 2026-04-29 20:12:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-29 20:21:43 | × | gentauro quits (~gentauro@user/gentauro) (Quit: leaving) |
| 2026-04-29 20:24:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 20:27:49 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 245 seconds) |
| 2026-04-29 20:28:34 | → | gentauro joins (~gentauro@user/gentauro) |
| 2026-04-29 20:28:43 | → | r1bilski joins (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-29 20:28:43 | × | r1bilski quits (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-29 20:28:43 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-29 20:28:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-29 20:36:05 | → | weary-traveler joins (~user@user/user363627) |
| 2026-04-29 20:38:51 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 255 seconds) |
| 2026-04-29 20:41:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 20:47:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-29 20:47:41 | × | m_a_r_k quits (~m_a_r_k@archlinux/support/mark) (Read error: Connection reset by peer) |
| 2026-04-29 21:06:16 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-29 21:06:42 | × | michalz quits (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2026-04-29 21:07:25 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-29 21:08:10 | × | tromp quits (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-29 21:11:10 | → | layline_ joins (~layline@149.154.26.170) |
| 2026-04-29 21:11:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 21:12:33 | × | bggd quits (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-04-29 21:16:06 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2026-04-29 21:16:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-29 21:16:20 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 2026-04-29 21:23:35 | × | YuutaW quits (~YuutaW@infornography.yta.moe) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-29 21:26:36 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 246 seconds) |
| 2026-04-29 21:27:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 21:28:07 | × | Comstar quits (~Comstar@user/Comstar) (Ping timeout: 244 seconds) |
| 2026-04-29 21:30:59 | × | r1bilski quits (~r1bilski@user/r1bilski) (Remote host closed the connection) |
| 2026-04-29 21:31:16 | → | r1bilski joins (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-29 21:31:16 | × | r1bilski quits (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-29 21:31:16 | → | r1bilski joins (~r1bilski@user/r1bilski) |
| 2026-04-29 21:32:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-29 21:32:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-29 21:36:27 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 255 seconds) |
| 2026-04-29 21:40:39 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-29 21:42:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 21:43:32 | → | YuutaW joins (~YuutaW@infornography.yta.moe) |
| 2026-04-29 21:47:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 21:52:28 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2026-04-29 21:52:44 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2026-04-29 21:53:17 | <hadronized> | is there a writeup somewhere about what kind of fundamental problem typeclasses solve? I’m designing my own language, and now that I linear types, a form of value dependency to implement borrowing, and a couple of other features that solve a concrete correctness problem (linearity for correct resource management; value dependency / borrowing for correct memory usage; etc.), I now wonder what typeclasses solve; I’m trying not to think |
| 2026-04-29 21:53:17 | <hadronized> | with my (yelling) internal voice stating that a ducked typed function is horrible, but besides the ergonomics and API-level contract, what do we solve with typeclasses? |
| 2026-04-29 21:53:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-29 21:58:31 | <TMA> | "what have the Romans ever done for us? |
| 2026-04-29 22:00:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-29 22:02:08 | → | AlexZenon_2 joins (~alzenon@178.34.162.165) |
| 2026-04-29 22:02:55 | <int-e> | hadronized: "How to make ad-hoc polymorphism less ad hoc" https://doi.org/10.1145/75277.75283 would be canonical... the introduction says that having familiar arithmetic and equality were motivating starting points. |
| 2026-04-29 22:03:38 | <hadronized> | eqtype variables |
| 2026-04-29 22:03:41 | <hadronized> | never heard of that |
| 2026-04-29 22:03:55 | × | AlexZenon quits (~alzenon@178.34.162.165) (Ping timeout: 264 seconds) |
| 2026-04-29 22:04:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-29 22:06:01 | → | divlamir_ joins (~divlamir@user/divlamir) |
All times are in UTC.