Newest at the top
| 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::) |
| 2024-06-17 16:25:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-17 16:25:08 +0200 | euleritian | (~euleritia@dynamic-176-003-067-162.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-17 16:15:51 +0200 | dcoutts_ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-06-17 16:08:02 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-17 16:07:38 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-06-17 16:07:29 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-17 16:01:58 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 255 seconds) |
| 2024-06-17 15:50:37 +0200 | ystael | (~ystael@user/ystael) |
| 2024-06-17 15:45:54 +0200 | euleritian | (~euleritia@dynamic-176-003-067-162.176.3.pool.telefonica.de) |
| 2024-06-17 15:45:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-06-17 15:41:03 +0200 | k_hachig_ | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) |
| 2024-06-17 15:35:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-17 15:35:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-17 15:30:33 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-17 15:30:05 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |