Logs: liberachat/#haskell
| 2026-01-18 15:15:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 15:15:27 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-01-18 15:16:48 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 15:18:48 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-18 15:19:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 15:20:12 | <thenightmail> | is there a list where people show math functions and the elegant way to write them in haskell? I am learning, and I tend to over use parenthesis |
| 2026-01-18 15:20:37 | <thenightmail> | heck, probably there is a program that tells you if you are over using parenthesis ... |
| 2026-01-18 15:21:08 | → | tromp joins (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) |
| 2026-01-18 15:22:12 | → | Square2 joins (~Square@user/square) |
| 2026-01-18 15:27:38 | <dutchie> | thenightmail: hlint will do it |
| 2026-01-18 15:30:26 | → | weary-traveler joins (~user@user/user363627) |
| 2026-01-18 15:30:36 | → | Milan_Vanca joins (~milan@user/Milan-Vanca:32634) |
| 2026-01-18 15:31:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 15:34:42 | <haskellbridge> | <sm> yea I would pick optics if you have no reason not to |
| 2026-01-18 15:35:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 15:37:27 | <thenightmail> | mm, hlint seems like something I want to setup. I've got to look into how people have their emacs setup for haskell I guess. so far I've just got haskell-mode installed |
| 2026-01-18 15:37:44 | × | Zemy quits (~Zemy@12.50.240.58) (Read error: Connection reset by peer) |
| 2026-01-18 15:37:46 | → | Zemy_ joins (~Zemy@2600:100c:b0ae:c5b:f45b:d5ff:fe1f:d2ed) |
| 2026-01-18 15:39:19 | → | Zemy joins (~Zemy@12.50.240.58) |
| 2026-01-18 15:40:07 | × | qqq quits (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 2026-01-18 15:42:19 | × | Zemy_ quits (~Zemy@2600:100c:b0ae:c5b:f45b:d5ff:fe1f:d2ed) (Ping timeout: 264 seconds) |
| 2026-01-18 15:44:20 | → | Zemy_ joins (~Zemy@mobile-107-80-206-99.mycingular.net) |
| 2026-01-18 15:45:43 | × | Zemy quits (~Zemy@12.50.240.58) (Ping timeout: 240 seconds) |
| 2026-01-18 15:47:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 15:48:35 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-01-18 15:50:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-01-18 15:50:31 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-01-18 15:52:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-18 15:55:38 | <dutchie> | eglot + haskell-language-server is a reasonably good way to go |
| 2026-01-18 16:00:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 16:05:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-18 16:12:22 | → | Zemy joins (~Zemy@2600:100c:b0ae:c5b:30da:bdff:fef3:86cd) |
| 2026-01-18 16:14:16 | <thenightmail> | hmm, hslint didn't seem to complain about my parenthesis. guess I'm doing things right. also found stylish-haskell and will try to get that going too |
| 2026-01-18 16:14:55 | × | Zemy_ quits (~Zemy@mobile-107-80-206-99.mycingular.net) (Ping timeout: 240 seconds) |
| 2026-01-18 16:15:10 | <thenightmail> | I'm using ghcup and that seems to be the way. installing these things with cabal install <package> |
| 2026-01-18 16:15:14 | <haskellbridge> | <sm> hlint has a ton of settings you can configure |
| 2026-01-18 16:16:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 16:17:31 | × | Square2 quits (~Square@user/square) (Quit: Leaving) |
| 2026-01-18 16:18:02 | → | Square joins (~Square@user/square) |
| 2026-01-18 16:18:05 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2026-01-18 16:21:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-18 16:21:34 | × | Zemy quits (~Zemy@2600:100c:b0ae:c5b:30da:bdff:fef3:86cd) (Ping timeout: 260 seconds) |
| 2026-01-18 16:26:34 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-01-18 16:32:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 16:36:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-18 16:42:56 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-18 16:43:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 16:46:11 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 2026-01-18 16:47:35 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2026-01-18 16:51:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 16:52:50 | → | comonad joins (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) |
| 2026-01-18 17:01:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 17:09:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-18 17:19:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 17:25:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 17:31:23 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.7.1) |
| 2026-01-18 17:35:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 17:35:52 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-18 17:40:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 17:47:54 | × | Milan_Vanca quits (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 2026-01-18 17:50:10 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-01-18 17:50:11 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-18 17:51:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 17:56:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 18:00:39 | → | st_aldini1 joins (~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) |
| 2026-01-18 18:03:33 | × | st_aldini quits (~Thunderbi@136.48.46.187) (Ping timeout: 252 seconds) |
| 2026-01-18 18:03:33 | st_aldini1 | is now known as st_aldini |
| 2026-01-18 18:03:59 | <haskellbridge> | <thirdofmay18081814goya> is there a reference implementation of typeclasses somewhere? |
| 2026-01-18 18:09:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 18:12:25 | <haskellbridge> | <sm> the typeclasses machinery ? Just in GHC I'd guess. |
| 2026-01-18 18:14:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-18 18:19:09 | → | Milan_Vanca joins (~milan@user/Milan-Vanca:32634) |
| 2026-01-18 18:19:21 | <haskellbridge> | <thirdofmay18081814goya> hm hopefully it's readable ty |
| 2026-01-18 18:20:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 18:21:39 | → | st_aldini1 joins (~Thunderbi@2605:a601:a07c:7426:e89f:cd5f:b143:6c97) |
| 2026-01-18 18:22:02 | → | michalz joins (~michalz@185.246.207.221) |
| 2026-01-18 18:24:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 18:25:33 | × | st_aldini quits (~Thunderbi@2605:a601:a07c:7426:52e7:74e7:d63d:c18b) (Ping timeout: 252 seconds) |
| 2026-01-18 18:25:33 | st_aldini1 | is now known as st_aldini |
| 2026-01-18 18:25:52 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 18:26:06 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 18:32:19 | <monochrom> | Or Hugs. Or MicroHS. :) |
| 2026-01-18 18:32:52 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-01-18 18:32:53 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-01-18 18:32:53 | → | haritz joins (~hrtz@user/haritz) |
| 2026-01-18 18:34:34 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 2026-01-18 18:35:25 | <monochrom> | If you just look for type checking, there is Typing Haskell in Haskell. If you also need execution or code generation, I bet MicroHS is the best starting point, simply because it is written from scratch most recently therefore maximum benefit of hindsight. |
| 2026-01-18 18:35:39 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2026-01-18 18:41:07 | × | acidjnk quits (~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-01-18 18:46:05 | <geekosaur> | https://github.com/Superstar64/Hazy |
| 2026-01-18 18:46:17 | <geekosaur> | (in development) |
| 2026-01-18 18:47:42 | → | michalz_ joins (~michalz@185.246.207.221) |
| 2026-01-18 18:49:55 | × | michalz quits (~michalz@185.246.207.221) (Ping timeout: 240 seconds) |
| 2026-01-18 18:50:30 | <haskellbridge> | <thirdofmay18081814goya> neat, ty both for references! and wow MicroHS really is small |
| 2026-01-18 18:53:15 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2026-01-18 18:54:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 18:54:27 | trickard_ | is now known as trickard |
| 2026-01-18 18:59:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-18 19:09:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 19:10:57 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
All times are in UTC.