Newest at the top
| 2025-03-12 21:09:32 +0100 | <tomsmeding> | EvanR: it makes sense if you consider a lambda to be the "constructor" of the (->) type |
| 2025-03-12 21:08:53 +0100 | <EvanR> | so lambda is WHNF, regardless of what's in it |
| 2025-03-12 21:08:43 +0100 | <tomsmeding> | I get WHNF and NF, but is HNF useful for anything? |
| 2025-03-12 21:07:55 +0100 | <c_wraith> | IIRC, that's the main difference from HNF |
| 2025-03-12 21:07:35 +0100 | a_fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-03-12 21:07:35 +0100 | <c_wraith> | whnf doesn't reduce under a lambda, though, so (\_ -> 1 + 2) is in WHNF |
| 2025-03-12 21:07:21 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-03-12 21:04:37 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-03-12 21:00:00 +0100 | hiecaq | (~hiecaq@user/hiecaq) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-03-12 20:48:04 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-12 20:45:01 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-12 20:44:41 +0100 | <EvanR> | that's an application |
| 2025-03-12 20:44:34 +0100 | <EvanR> | WHNFs aren't applications |
| 2025-03-12 20:43:49 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2025-03-12 20:39:32 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-03-12 20:37:49 +0100 | <Inst> | this is annoying, (+1) 2 isn't in WHNF, right? |
| 2025-03-12 20:29:27 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-12 20:25:06 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-12 20:22:24 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-03-12 20:20:30 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-03-12 20:20:23 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-12 20:16:26 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 244 seconds) |
| 2025-03-12 20:16:09 +0100 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-12 20:14:34 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-12 20:12:09 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-12 20:10:41 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:91e8:307c:455b:5f65) (Read error: Connection reset by peer) |
| 2025-03-12 20:10:16 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-03-12 20:04:14 +0100 | jespada | (~jespada@2800:a4:22b4:9a00:f994:da25:97cf:4452) jespada |
| 2025-03-12 20:00:46 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-12 20:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-12 19:55:51 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-12 19:55:22 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f52eca5d8b1f7f6f1d4.dip0.t-ipconnect.de) acidjnk |
| 2025-03-12 19:53:39 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-12 19:47:30 +0100 | <tomsmeding> | juri_: in case you wrote it to be fast: what array library did you use? |
| 2025-03-12 19:43:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-12 19:40:40 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:14e6:e5d:241a:b56c) fun-safe-math |
| 2025-03-12 19:40:10 +0100 | jespada | (~jespada@2800:a4:22b4:9a00:f994:da25:97cf:4452) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-12 19:39:25 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:e1d3:88d5:3ff2:2f10) (Quit: No Ping reply in 180 seconds.) |
| 2025-03-12 19:39:01 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-12 19:21:18 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:b341:438:8f09:aa92) (Remote host closed the connection) |
| 2025-03-12 19:10:12 +0100 | michalz | (~michalz@185.246.207.205) |
| 2025-03-12 19:07:59 +0100 | k_hachig_ | k_hachig |
| 2025-03-12 19:07:57 +0100 | <Square2> | Also very work heavy to configure the schema part of it |
| 2025-03-12 19:07:51 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) k_hachig |
| 2025-03-12 19:07:17 +0100 | <Square2> | I tried OpenApi but it seems to create as much problems as it solves. |
| 2025-03-12 19:06:43 +0100 | <Square2> | If you were to replicate a Haskell domain model in java (for JSON RPC purposes), when you control both client and server. And it's exploratory development, what approach would you take? |
| 2025-03-12 19:02:02 +0100 | michalz | (~michalz@185.246.207.221) (Ping timeout: 244 seconds) |
| 2025-03-12 19:01:52 +0100 | ft | (~ft@p508db291.dip0.t-ipconnect.de) ft |
| 2025-03-12 18:56:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-12 18:54:51 +0100 | <Inst> | putting the par / pseq notation back as bang patterns instead, it's running at the same speed without engaging the spark system |