Newest at the top
| 2026-02-05 19:52:44 +0100 | <[exa]> | ah yes the List Technology |
| 2026-02-05 19:52:18 +0100 | <EvanR> | ["Just", "five"] vs ["Nothing"] |
| 2026-02-05 19:52:15 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-05 19:51:05 +0100 | <EvanR> | ok it's not a great start |
| 2026-02-05 19:51:00 +0100 | <EvanR> | I guess ("Nothing", undefined) xD |
| 2026-02-05 19:50:24 +0100 | <[exa]> | EvanR: you mean like, ("Just", "five") and ("Nothing", "") |
| 2026-02-05 19:47:55 +0100 | <EvanR> | (more code) |
| 2026-02-05 19:47:35 +0100 | <EvanR> | I wonder if it would make code smaller, or "even worse" trying to use this style xD |
| 2026-02-05 19:47:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 19:47:21 +0100 | <EvanR> | we love types for reasons... but type signatures are sometimes optional... and it's possible to get away with various dilutions of type safety in haskell. I.e. using strings in tuples instead of constructors, and the literal Dynamic type |
| 2026-02-05 19:40:18 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-05 19:40:02 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-05 19:36:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-05 19:33:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-02-05 19:32:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 19:27:11 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-02-05 19:26:40 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-05 19:26:23 +0100 | catties | Catty |
| 2026-02-05 19:21:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-05 19:16:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 19:14:02 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-05 19:13:46 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-05 19:08:10 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-02-05 19:03:31 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-05 18:56:43 +0100 | jackneill__ | (~Jackneill@94-21-15-213.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2026-02-05 18:56:29 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-05 18:56:16 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-05 18:54:36 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2026-02-05 18:53:42 +0100 | Jackneill_ | (~Jackneill@188-143-82-106.pool.digikabel.hu) |
| 2026-02-05 18:40:38 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-05 18:34:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-02-05 18:32:41 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-05 18:15:45 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-05 18:09:20 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-02-05 17:46:20 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-02-05 17:38:54 +0100 | <haskellbridge> | <Morj> Aand git commt |
| 2026-02-05 17:38:46 +0100 | <haskellbridge> | <Morj> Thanks! |
| 2026-02-05 17:38:19 +0100 | <darkling> | Morj: Yes, I see it. |
| 2026-02-05 17:31:54 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-05 17:27:04 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-05 17:26:15 +0100 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-05 17:21:44 +0100 | <haskellbridge> | <Morj> I see a lot of people trying to open it in the browser. Not yet implemented, sorry |
| 2026-02-05 17:19:49 +0100 | <haskellbridge> | <Morj> Testing my impl |
| 2026-02-05 17:19:46 +0100 | <haskellbridge> | <Morj> Those of you who have mastodon (or another activitypub profile): can you search for this profile and tell me if you see the message in it? https://random.test.morj.men/u/morj |
| 2026-02-05 17:16:14 +0100 | <tomsmeding> | nice |
| 2026-02-05 17:16:09 +0100 | <tomsmeding> | (that observation is not a reason to not go through with this though; the same can be said for fromInteger, and linear-base has a linear fromInteger just fine) |
| 2026-02-05 17:16:09 +0100 | <machinedgod> | tomsmeding: Aye, that's the plan, when coercions are involved, I prefer to be as specific as I can, too |
| 2026-02-05 17:15:19 +0100 | <machinedgod> | (*an int) |
| 2026-02-05 17:15:18 +0100 | <tomsmeding> | it's probably a good idea to define `unsafeToLinear :: (a -> b) -> (a %1-> b); unsafeToLinear = unsafeCoerce` so that you don't end up accidentally unsafeCoercing too much |
| 2026-02-05 17:15:09 +0100 | <machinedgod> | tomsmeding: That's a wise observation! I was only focused on my newtype which holds and int anyway, so I think I'll be good. Thank you for your help, I appreciate it! |