Newest at the top
2024-05-10 20:08:39 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-05-10 20:08:23 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
2024-05-10 20:04:49 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) |
2024-05-10 19:48:03 +0200 | brox66 | (~brox66@user/brox66) |
2024-05-10 19:45:29 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-10 19:42:19 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
2024-05-10 19:40:24 +0200 | <ski> | Cons m mfs <*> mxs = fmap m mxs `lappend` (mfs <*> mxs) |
2024-05-10 19:38:29 +0200 | <ski> | lconcat = foldr lappend Nil |
2024-05-10 19:38:18 +0200 | <ski> | Cons x xs `lappend` ys = Cons x (xs `lappend` ys) |
2024-05-10 19:32:11 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds) |
2024-05-10 19:30:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-10 19:28:57 +0200 | <int-e> | (the `nested` thing in the comment is flawed though) |
2024-05-10 19:28:40 +0200 | <int-e> | justsomeguy: nothing |
2024-05-10 19:25:01 +0200 | <justsomeguy> | What am I doing wront with my lconcat function here? https://termbin.com/krr5 |
2024-05-10 19:04:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-10 18:52:52 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.2) |
2024-05-10 18:46:04 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Ping timeout: 246 seconds) |
2024-05-10 18:43:54 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-10 18:43:38 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-05-10 18:40:23 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-10 18:40:02 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
2024-05-10 18:38:33 +0200 | mima | (~mmh@aftr-62-216-211-252.dynamic.mnet-online.de) (Ping timeout: 255 seconds) |
2024-05-10 18:34:58 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-10 18:23:47 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-10 18:23:15 +0200 | __monty__ | (~toonn@user/toonn) (Client Quit) |
2024-05-10 18:23:08 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-10 18:22:50 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-10 18:21:47 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-10 18:21:30 +0200 | brox66 | (~Guest42@user/brox66) (Quit: Client closed) |
2024-05-10 18:21:18 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-10 18:16:46 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-05-10 18:13:44 +0200 | <glguy> | I don't know of any options for stack. I think you just have to configure your network first to use it |
2024-05-10 18:13:01 +0200 | <brox66> | glguy, I guess you are right. But nevertheless, if ipv6 doen't work for whatever reason, it would be good to be able to fall back to ipv4. I have seen others having the same problem. |
2024-05-10 18:12:31 +0200 | yeitrafferin | (~user@2a04:4540:720d:c100:db27:e626:fcd2:9951) (Quit: Leaving) |
2024-05-10 18:12:21 +0200 | <raehik> | I realize I can perform a transformation early so I never have to return a Natural, so I'm more certain the reification will get inlined now. so lucky this non-issue will remain so xd |
2024-05-10 18:11:16 +0200 | <lambdabot> | 9223372036854775807 |
2024-05-10 18:11:15 +0200 | <EvanR> | > maxBound :: Int |
2024-05-10 18:11:11 +0200 | <raehik> | you make a good point lambdabot |
2024-05-10 18:10:42 +0200 | <lambdabot> | 536870912 |
2024-05-10 18:10:40 +0200 | <EvanR> | > 2^29 |
2024-05-10 18:09:26 +0200 | <raehik> | I guess realistically no one's getting past 2^16. but curious if there's a hard stop |
2024-05-10 18:09:24 +0200 | <EvanR> | if you go over max Int, you'll probably have other problems first |
2024-05-10 18:08:02 +0200 | AlexZenon | (~alzenon@178.34.162.125) |
2024-05-10 18:07:59 +0200 | <raehik> | s/number of fields in a data type/number of fields in a constructor |
2024-05-10 18:07:42 +0200 | <raehik> | Does GHC place a limit on number of fields in a data type? I'm doing some generics and want to know that I can report the index of a field as an Int or something easier than a Natural. |
2024-05-10 18:05:27 +0200 | __monty_1 | __monty__ |
2024-05-10 18:05:19 +0200 | __monty__ | (~toonn@user/toonn) (Killed (NickServ (GHOST command used by __monty_1))) |
2024-05-10 18:05:03 +0200 | AlexZenon | (~alzenon@178.34.162.125) (Ping timeout: 260 seconds) |
2024-05-10 18:04:26 +0200 | __monty_1 | (~toonn@user/toonn) |
2024-05-10 18:02:59 +0200 | <EvanR> | but that's entirely thanks to my ISP |