Logs: liberachat/#haskell
| 2025-12-19 17:31:43 | → | cstml joins (~cstml@user/cstml) |
| 2025-12-19 17:35:44 | × | tromp quits (~textual@2001:1c00:3487:1b00:9c43:d0f8:e383:616c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-19 17:36:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-19 17:47:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 17:47:47 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-19 17:48:39 | × | mari-estel quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-12-19 17:50:24 | <haskellbridge> | <sm> yin: there's a lot of boilerplate with imports, exports, language pragmas etc. But what's an example of what you mean ? |
| 2025-12-19 17:50:55 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-19 17:52:06 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-12-19 17:52:38 | → | Square2 joins (~Square@user/square) |
| 2025-12-19 17:53:26 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-12-19 18:18:24 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 256 seconds) |
| 2025-12-19 18:20:42 | → | Googulator84 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-19 18:20:52 | × | Googulator17 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-19 18:36:48 | <haskellbridge> | <slack1256> I agree that the import story is one the weakest part of the language |
| 2025-12-19 18:47:00 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-19 18:52:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-19 19:00:29 | <haskellbridge> | <Morj> After c++, haskell imports are a blessing. After rust, they look outdated with obvious improvements |
| 2025-12-19 19:01:46 | → | larsivi joins (~larsivi@user/larsivi) |
| 2025-12-19 19:04:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 19:06:22 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-19 19:09:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-19 19:12:46 | <Sgeo> | <silly> foo :: Void -> Void; foo = id compiles. This suggests that 0^0=1. Is there a language extension where 0^0 is undefined? </silly> |
| 2025-12-19 19:15:58 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 2025-12-19 19:18:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 19:19:26 | <monochrom> | Yes, it's called Calculus. >:) |
| 2025-12-19 19:20:39 | → | Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) |
| 2025-12-19 19:21:09 | <monochrom> | Would you also like an extension that says that 0 is not a natural number? >:) |
| 2025-12-19 19:22:18 | <yin> | > 0^0 |
| 2025-12-19 19:22:19 | <lambdabot> | 1 |
| 2025-12-19 19:22:30 | <yin> | *consistency* |
| 2025-12-19 19:22:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-19 19:23:32 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-19 19:23:43 | × | mehbark quits (~mehbark@user/mehbark) (Ping timeout: 240 seconds) |
| 2025-12-19 19:23:48 | → | mehbark9 joins (~mehbark@joey.luug.ece.vt.edu) |
| 2025-12-19 19:24:46 | × | deptype quits (~deptype@2406:b400:3a:2dd5:52e4:b3c5:3fcb:69bd) (Remote host closed the connection) |
| 2025-12-19 19:24:46 | × | deptype_ quits (~deptype@2406:b400:3a:2dd5:52e4:b3c5:3fcb:69bd) (Remote host closed the connection) |
| 2025-12-19 19:28:06 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-19 19:30:22 | → | califax joins (~califax@user/califx) |
| 2025-12-19 19:31:25 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-19 19:33:19 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-19 19:33:34 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-12-19 19:34:30 | × | shaeto quits (~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1) |
| 2025-12-19 19:34:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 19:36:06 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-12-19 19:51:07 | <milan2> | About import export in haskell I kind of like it :) python, js is total mess in that regard. What is better in rust in that regard? |
| 2025-12-19 19:52:56 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-19 20:00:15 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-19 20:03:23 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-12-19 20:06:36 | <yushyin> | ocaml modules are nice, submodules, lexically scoped imports, first-class |
| 2025-12-19 20:08:42 | <milan2> | Noted will look into it too :) |
| 2025-12-19 20:16:00 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-19 20:17:53 | → | Guest44 joins (~Guest44@94.159.136.175) |
| 2025-12-19 20:21:30 | × | Guest44 quits (~Guest44@94.159.136.175) (Client Quit) |
| 2025-12-19 20:22:31 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-12-19 20:32:55 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-19 20:35:38 | <milan2> | :t cycle |
| 2025-12-19 20:35:39 | <lambdabot> | GHC.Internal.Stack.Types.HasCallStack => [a] -> [a] |
| 2025-12-19 20:35:51 | <milan2> | Why is there HasCallStack? |
| 2025-12-19 20:36:21 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-19 20:36:21 | <milan2> | Nothing like that in repeat, iterate, replicate |
| 2025-12-19 20:36:51 | <milan2> | :t error |
| 2025-12-19 20:36:52 | <lambdabot> | GHC.Internal.Stack.Types.HasCallStack => [Char] -> a |
| 2025-12-19 20:38:41 | <milan2> | Ah |
| 2025-12-19 20:38:50 | <milan2> | It is like head. So partial function? |
| 2025-12-19 20:41:15 | <monochrom> | > cycle [] |
| 2025-12-19 20:41:16 | <lambdabot> | *Exception: Prelude.cycle: empty list |
| 2025-12-19 20:41:16 | <lambdabot> | CallStack (from HasCallStack): |
| 2025-12-19 20:41:17 | <lambdabot> | error, called at libraries/ghc-internal/src/GHC/Internal/List.hs:2030:3 in... |
| 2025-12-19 20:45:37 | × | tcard__ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-12-19 20:48:27 | trickard_ | is now known as trickard |
| 2025-12-19 20:50:28 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-12-19 21:01:04 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-19 21:01:48 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-12-19 21:03:44 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-12-19 21:04:49 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-12-19 21:17:04 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-19 21:20:20 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-12-19 21:25:08 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-19 21:29:06 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-19 21:29:49 | → | Katarushisu6 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2025-12-19 21:30:04 | → | califax joins (~califax@user/califx) |
| 2025-12-19 21:31:13 | × | lambda_gibbon quits (~lambda_gi@208.83.175.39) (Ping timeout: 264 seconds) |
| 2025-12-19 21:31:35 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2025-12-19 21:31:36 | Katarushisu6 | is now known as Katarushisu |
| 2025-12-19 21:32:22 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-19 21:32:44 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-19 21:38:45 | × | elarks quits (~yerri@user/yerrii) (Quit: WeeChat 4.7.1) |
| 2025-12-19 21:39:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-19 21:50:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-19 21:52:15 | → | elarks joins (~yerri@user/yerrii) |
| 2025-12-19 21:52:49 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-12-19 21:53:52 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-19 21:57:04 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-12-19 22:00:07 | → | neuromute joins (~neuromute@173.44.56.66) |
| 2025-12-19 22:00:12 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-19 22:09:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-19 22:18:33 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-19 22:19:32 | × | milan2 quits (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-12-19 22:21:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.