Newest at the top
| 2024-04-25 13:47:12 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) |
| 2024-04-25 13:41:36 +0200 | yin | (~yin@user/zero) |
| 2024-04-25 13:34:06 +0200 | <tomsmeding> | so if you evaluate until you have an I#, you automatically also have the Int# inside |
| 2024-04-25 13:33:52 +0200 | <tomsmeding> | Int# is an unlifted data type, so it has no bottom value |
| 2024-04-25 13:33:28 +0200 | <tomsmeding> | I think seq'ing an Int constructor will evaluate the Int# |
| 2024-04-25 13:33:17 +0200 | <Inst> | not until i pattern match, run an eq, or do something like print |
| 2024-04-25 13:32:48 +0200 | <Inst> | addition, basic arithmetic operations, is also lazy |
| 2024-04-25 13:32:34 +0200 | <Inst> | the implication is also that addition in Haskell... well, i wasn't actualyl that surprised by that! |
| 2024-04-25 13:31:30 +0200 | <Inst> | is that called boxing? |
| 2024-04-25 13:31:06 +0200 | <Inst> | and iirc even if i seq an Int constructor (but not deepseq), it won't evaluate the underlying number |
| 2024-04-25 13:27:26 +0200 | <tomsmeding> | so yes, it is lazy |
| 2024-04-25 13:27:22 +0200 | <tomsmeding> | Int is just `data Int = I# Int#` |
| 2024-04-25 13:13:43 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-04-25 13:11:52 +0200 | <Inst> | Int _ |
| 2024-04-25 13:11:41 +0200 | <Inst> | but basically, literally, every Int has a WHNF of Int Int# iirc |
| 2024-04-25 13:10:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-25 13:10:52 +0200 | <Inst> | so went on about laziness |
| 2024-04-25 13:10:39 +0200 | <Inst> | it was, but not because of the reason she thought (i.e, O(n^log n, I think) because of the maps, but because of the thunks she was accumulating |
| 2024-04-25 13:09:44 +0200 | <Inst> | has a Haskell background, and was complaining about her scanl1 being inefficient because it was defined via maps |
| 2024-04-25 13:09:24 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:7c15:d614:7e94:5929) |
| 2024-04-25 13:09:23 +0200 | <Inst> | there's a nice Julian girl, well, not sure what to call her, with OCaml experience who's playing around with Haskell these days |
| 2024-04-25 13:08:46 +0200 | <Inst> | dminuoso: the problem is, whenever I try to seq a value of type int, I just get the constructor |
| 2024-04-25 13:06:52 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-04-25 13:03:11 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-04-25 12:58:31 +0200 | berberman | (~berberman@user/berberman) |
| 2024-04-25 12:57:47 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-25 12:51:36 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-25 12:48:44 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-04-25 12:48:25 +0200 | yeitrafferin | (~user@2a04:4540:7213:4d00:b9b0:d2b9:e58a:8d24) |
| 2024-04-25 12:47:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2024-04-25 12:47:19 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-25 12:13:20 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-04-25 12:04:15 +0200 | Guest95 | (~Guest95@217.7.130.9) (Quit: Client closed) |
| 2024-04-25 12:01:50 +0200 | destituion | (~destituio@85.221.111.174) |
| 2024-04-25 12:01:32 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-04-25 12:00:04 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Read error: Connection reset by peer) |
| 2024-04-25 11:56:59 +0200 | chele | (~chele@user/chele) |
| 2024-04-25 11:56:40 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-04-25 11:54:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-04-25 11:51:57 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-25 11:45:04 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) |
| 2024-04-25 11:44:04 +0200 | destituion | (~destituio@193.91.180.222) (Ping timeout: 246 seconds) |
| 2024-04-25 11:39:08 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:70c3:4ccf:73d4:2185) (Remote host closed the connection) |
| 2024-04-25 11:32:50 +0200 | totalghost | (~ghost@172-105-178-131.ip.linodeusercontent.com) (Ping timeout: 245 seconds) |
| 2024-04-25 11:31:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-25 11:31:30 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:70c3:4ccf:73d4:2185) |
| 2024-04-25 11:23:55 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 268 seconds) |
| 2024-04-25 11:21:37 +0200 | Guest95 | (~Guest95@217.7.130.9) |
| 2024-04-25 11:15:02 +0200 | srk | (~sorki@user/srk) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2024-04-25 11:14:30 +0200 | gmg | (~user@user/gehmehgeh) |