Logs: liberachat/#haskell
| 2026-04-30 21:11:49 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-30 21:27:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 21:28:35 | layline_ | is now known as layline-away |
| 2026-04-30 21:33:27 | → | leppard joins (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) |
| 2026-04-30 21:34:20 | → | tromp joins (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 21:34:22 | × | socksbuny quits (~socks@oberon.raccoon.fun) (Quit: goodbye :)) |
| 2026-04-30 21:35:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-30 21:37:02 | → | socksbuny5 joins (~socks@oberon.raccoon.fun) |
| 2026-04-30 21:38:59 | × | mtmn quits (~mtmn@user/mtmn) (Remote host closed the connection) |
| 2026-04-30 21:40:01 | → | mtmn joins (~mtmn@user/mtmn) |
| 2026-04-30 21:55:28 | × | layline-away quits (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-04-30 22:00:48 | × | mtmn quits (~mtmn@user/mtmn) (Remote host closed the connection) |
| 2026-04-30 22:01:46 | → | mtmn joins (~mtmn@user/mtmn) |
| 2026-04-30 22:02:26 | × | tromp quits (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 22:06:09 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 255 seconds) |
| 2026-04-30 22:08:14 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-30 22:08:26 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-04-30 22:12:05 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-30 22:13:48 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-30 22:14:56 | → | Vizious joins (~bes@user/Vizious) |
| 2026-04-30 22:23:19 | → | tromp joins (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 22:23:26 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2026-04-30 22:24:01 | × | fp1 quits (~Thunderbi@2001-14ba-6e24-3000--180.rev.dnainternet.fi) (Ping timeout: 272 seconds) |
| 2026-04-30 22:26:10 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-30 22:26:24 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 255 seconds) |
| 2026-04-30 22:26:24 | divlamir_ | is now known as divlamir |
| 2026-04-30 22:26:49 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-30 22:29:25 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-04-30 22:31:09 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
| 2026-04-30 22:34:30 | jmcantrell_ | is now known as jmcantrell |
| 2026-04-30 22:35:21 | × | tromp quits (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 22:38:55 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-30 22:39:34 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-30 22:40:17 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-04-30 22:44:37 | → | xff0x joins (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 22:55:52 | <hadronized> | lortabac: I actually think I’m going to ditch ad-hoc polymorphism, and just implement parametric polymorphism |
| 2026-04-30 22:56:07 | <hadronized> | and I might add some feature for stable static pointers so that I can erase them when they are passed as argument of functions |
| 2026-04-30 22:56:30 | <hadronized> | so that users can create compile-time vtables of some sort |
| 2026-04-30 22:56:44 | <hadronized> | and even though it won’t be as ergonomic as typeclasses or traits, it will still allow the same kind of features |
| 2026-04-30 22:57:12 | <EvanR> | type directed name disambiguation has been used to e.g. allow each module to implement a length function for its type and hope it can be resolved at the use site |
| 2026-04-30 22:57:27 | <EvanR> | YMMV |
| 2026-04-30 22:58:22 | <hadronized> | type directed name disambiguation? |
| 2026-04-30 22:58:48 | × | oppili quits (~oppili@user/nerdypepper) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-30 22:59:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 23:01:06 | <EvanR> | that's what they call it |
| 2026-04-30 23:04:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-30 23:17:32 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-30 23:17:42 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2026-04-30 23:21:50 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 23:24:23 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-30 23:28:53 | × | leppard quits (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-04-30 23:29:19 | → | leppard joins (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) |
| 2026-04-30 23:35:46 | × | leppard quits (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-04-30 23:36:36 | → | leppard joins (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) |
| 2026-04-30 23:44:04 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-30 23:44:35 | × | leppard quits (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2026-04-30 23:45:02 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 2026-04-30 23:45:18 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-04-30 23:47:21 | DetourNe- | is now known as DetourNetworkUK |
| 2026-04-30 23:47:44 | → | leppard joins (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) |
| 2026-04-30 23:48:36 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 23:50:38 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
All times are in UTC.