Newest at the top
| 2024-06-17 17:48:21 +0200 | <EvanR> | or is it mainly a type system thing |
| 2024-06-17 17:48:11 +0200 | <EvanR> | yeah, though does linear haskell "optimize" anything wrt to gc? |
| 2024-06-17 17:47:08 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-06-17 17:46:47 +0200 | <monochrom> | OK, like compiling Linear Haskell to C. :) |
| 2024-06-17 17:46:33 +0200 | <EvanR> | but it secretly was not |
| 2024-06-17 17:46:14 +0200 | <EvanR> | I pretended all my data was immutable and got regenerated by each operation |
| 2024-06-17 17:45:54 +0200 | <EvanR> | rust tracks ownership and allows borrowing of ownership |
| 2024-06-17 17:45:33 +0200 | <monochrom> | Or maybe it's more like Rust. |
| 2024-06-17 17:45:21 +0200 | <monochrom> | Is that like C++'s RAII? |
| 2024-06-17 17:45:18 +0200 | <EvanR> | still not as slick as bog standard haskell with gc |
| 2024-06-17 17:44:51 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-17 17:44:16 +0200 | <EvanR> | reduced the memory management in the end |
| 2024-06-17 17:44:03 +0200 | <EvanR> | input structures to each API call would be formally consumed, and I'm required to "use" the result |
| 2024-06-17 17:43:26 +0200 | <EvanR> | I recently pretended I had linear types in C |
| 2024-06-17 17:42:18 +0200 | <monochrom> | I don't follow linear types, I don't know what else. |
| 2024-06-17 17:41:59 +0200 | <monochrom> | GHC has linear types now. |
| 2024-06-17 17:41:15 +0200 | <monochrom> | (There is a nuiance there. That is true to date. Sometimes some researchers try to include cost in denotational semantics, but it is still preliminary and not very successful. It is possible that the nature of denotational semantics makes it difficult.) |
| 2024-06-17 17:40:23 +0200 | <hadronized> | I read about about a language called Ante, and that got me curious to circle back to the state of Haskell and especially linear types; has the community adopted them already? :) |
| 2024-06-17 17:36:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-17 17:35:59 +0200 | <monochrom> | danse-nr3: Denotational semantics focuses on whether there is a value and what the value is. It leaves open how (evaluation strategy) to get it, and therefore how much it costs. |
| 2024-06-17 17:35:58 +0200 | euleritian | (~euleritia@dynamic-176-003-067-162.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-17 17:31:25 +0200 | danse-nr3 | (~danse-nr3@151.35.187.238) |
| 2024-06-17 17:30:37 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Remote host closed the connection) |
| 2024-06-17 17:28:17 +0200 | euleritian | (~euleritia@dynamic-176-003-067-162.176.3.pool.telefonica.de) |
| 2024-06-17 17:28:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-17 17:24:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-06-17 17:24:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-17 17:22:34 +0200 | euleritian | (~euleritia@dynamic-176-003-067-162.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-17 17:22:31 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Ping timeout: 255 seconds) |
| 2024-06-17 17:21:21 +0200 | rdcdr_ | (~rdcdr@75-172-82-63.tukw.qwest.net) |
| 2024-06-17 17:20:43 +0200 | danse-nr3 | (~danse-nr3@151.35.187.238) (Ping timeout: 255 seconds) |
| 2024-06-17 17:14:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-17 17:10:03 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) |
| 2024-06-17 17:08:47 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Remote host closed the connection) |
| 2024-06-17 17:08:11 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) |
| 2024-06-17 17:07:42 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Remote host closed the connection) |
| 2024-06-17 17:06:57 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) |
| 2024-06-17 17:06:40 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Remote host closed the connection) |
| 2024-06-17 17:06:24 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) |
| 2024-06-17 17:06:11 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Remote host closed the connection) |
| 2024-06-17 16:58:13 +0200 | CiaoSen | (~Jura@2a05:5800:2b1:4300:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 2024-06-17 16:56:32 +0200 | euleritian | (~euleritia@dynamic-176-003-067-162.176.3.pool.telefonica.de) |
| 2024-06-17 16:56:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-17 16:55:53 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-06-17 16:54:58 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-17 16:54:10 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2024-06-17 16:53:07 +0200 | itaipu | (~itaipu@168.121.98.97) (Ping timeout: 268 seconds) |
| 2024-06-17 16:41:54 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Read error: Connection reset by peer) |
| 2024-06-17 16:34:17 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2019:782c:8000::) (Client Quit) |
| 2024-06-17 16:33:20 +0200 | madhavanmiui | (~madhavanm@2409:40f4:2019:782c:8000::) |