Newest at the top
| 2026-06-20 19:57:42 +0000 | tromp | (~textual@2001:1c00:340e:2700:44f3:fa83:f05c:ef28) |
| 2026-06-20 19:52:16 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2026-06-20 19:51:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-20 19:44:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-20 19:39:51 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2026-06-20 19:36:02 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2026-06-20 19:33:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-20 19:32:47 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-06-20 19:32:35 +0000 | <EvanR> | until you come back from haskell and realize the host language code is handling syntax as object, and lisp / elixir made them look visually the same for giggles, haskell TH luckily didn't |
| 2026-06-20 19:31:35 +0000 | <EvanR> | elixir macros work and achieves the same thing as S expressions, it's just as confusing |
| 2026-06-20 19:28:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-20 19:22:50 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 247 seconds) |
| 2026-06-20 19:20:58 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 252 seconds) |
| 2026-06-20 19:20:55 +0000 | Axma31348 | (~Axman6@user/axman6) Axman6 |
| 2026-06-20 19:18:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-06-20 19:12:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-20 19:03:04 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-06-20 19:01:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-20 18:58:36 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-06-20 18:58:10 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) |
| 2026-06-20 18:56:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-20 18:49:14 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-20 18:48:59 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-06-20 18:45:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-20 18:39:59 +0000 | luhann | (~luhann@user/luhann) luhann |
| 2026-06-20 18:39:43 +0000 | luhann | (~luhann@user/luhann) (Quit: WeeChat 4.8.1) |
| 2026-06-20 18:34:02 +0000 | tromp | (~textual@2001:1c00:340e:2700:44f3:fa83:f05c:ef28) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-20 18:30:23 +0000 | luhann | (~luhann@user/luhann) luhann |
| 2026-06-20 18:29:51 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-06-20 18:29:48 +0000 | luhann | (~luhann@user/luhann) (Quit: WeeChat 4.8.1) |
| 2026-06-20 18:23:07 +0000 | tristanC | (~tristanC@user/tristanc) (Ping timeout: 264 seconds) |
| 2026-06-20 18:22:29 +0000 | luhann | (~luhann@user/luhann) luhann |
| 2026-06-20 18:22:15 +0000 | luhann | (~luhann@user/luhann) (Quit: WeeChat 4.8.1) |
| 2026-06-20 18:13:00 +0000 | <monochrom> | or functors. |
| 2026-06-20 18:12:44 +0000 | <monochrom> | This is why other languages have trouble doing monads properly. (They manage to do it, but with compromises.) |
| 2026-06-20 18:11:42 +0000 | <monochrom> | By the time you see monad transformers, it will be (Type->Type) -> ... >:) |
| 2026-06-20 18:11:03 +0000 | <monochrom> | Generally a type variable can range over Type->Type not just Type. |
| 2026-06-20 18:10:23 +0000 | <monochrom> | and how you can have "instance Foldable []" not "instance Foldable [a]". (Java can only do the latter and settled for it. The mismatch shows.) |
| 2026-06-20 18:08:59 +0000 | <probie> | Also, if we're talking about cool things in Haskell that are often hard to do in other [statically typed] languages, `data T f = T { foo :: f Foo, bar :: f Bar, baz :: f Baz }` |
| 2026-06-20 18:06:08 +0000 | <monochrom> | and adding commas! |
| 2026-06-20 18:05:21 +0000 | <monochrom> | Err wait Prolog is just s-expression with alternative placement of parathesis! |
| 2026-06-20 18:04:45 +0000 | <monochrom> | :( |
| 2026-06-20 18:04:38 +0000 | <humasect> | check Prolog =P |
| 2026-06-20 18:04:23 +0000 | <monochrom> | I feel like if a language doesn't outright stick to s-expression syntax then macroing must suck. It's true for all other languages too. |
| 2026-06-20 18:02:18 +0000 | <newmind> | i also feel that TH is not _needed_ as often as you'd think |
| 2026-06-20 18:01:58 +0000 | <monochrom> | Yeah TH is clumsy. |
| 2026-06-20 18:01:57 +0000 | <vms14> | :/ |
| 2026-06-20 18:01:53 +0000 | <int-e> | vms14: you will be disappointed :P |
| 2026-06-20 18:01:42 +0000 | <vms14> | but i will like them anyways i guess |
| 2026-06-20 18:01:28 +0000 | <vms14> | i'm a bit scared of being disappointed with template haskell since i assume they won't be exactly lisp macros |