Newest at the top
| 2025-05-05 09:44:40 +0200 | <hellwolf> | I need to communicate this in lambda days upcoming... I wonder if anyone happens to go there too. |
| 2025-05-05 09:44:40 +0200 | <hellwolf> | Does it make sense? |
| 2025-05-05 09:42:26 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-05 09:41:53 +0200 | euleritian | (~euleritia@dynamic-176-006-137-052.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-05 09:40:21 +0200 | <hellwolf> | (or simply because I don't have all the knowledge, or time, to build an entire new language that no one will use.) |
| 2025-05-05 09:39:53 +0200 | <hellwolf> | Minimal rebuilding of the wheels is the goal. |
| 2025-05-05 09:39:42 +0200 | <hellwolf> | with these categorical "verbs", and those speical constructors and data types, I can then evaluate the same big GADT to anything I like to, including emulation, target source, visual representation, morally lisp s-expression etc. |
| 2025-05-05 09:38:15 +0200 | <hellwolf> | The target now are instances these categories: Monoidal Category (prod, swap), Cartesian Category (fork, pi1/extract_left, pi2/extract_right, delta/discard, rou/duplicate), and Cartesian Closed (apply and curry). |
| 2025-05-05 09:38:15 +0200 | <hellwolf> | There is no source category per se, it's just Haskell. The target is the categorical formulation of "Solidity/Yul", which is a collection of its data types, built-in functions, and some special contructors outside of categories that I know how to use (which includes switch statement, tight loop, storage operations, inter-contract messagings, call a named function, etc.) |
| 2025-05-05 09:38:09 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-05 09:36:48 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-05 09:36:03 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-05 09:33:10 +0200 | <tomsmeding> | perhaps? |
| 2025-05-05 09:33:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-05 09:33:06 +0200 | <tomsmeding> | you're mapping the exponential object in your source category to the exponential object in your target category (Hask) |
| 2025-05-05 09:32:14 +0200 | <hellwolf> | "stealing lambda," instead of reimplementing may be what describes what I am really doing. I created a bridge between haskell and other target language. The bridge is categrical and simple to interpret. |
| 2025-05-05 09:24:10 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-05 09:24:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2025-05-05 09:22:46 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-05 09:07:11 +0200 | michalz | (~michalz@185.246.207.203) |
| 2025-05-05 09:06:47 +0200 | michalz | (~michalz@185.246.207.221) (Ping timeout: 244 seconds) |
| 2025-05-05 09:00:51 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-05 09:00:06 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-05 08:58:07 +0200 | <tomsmeding> | hellwolf: best way to learn |
| 2025-05-05 08:46:48 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f82797a1539102dd80f.dip0.t-ipconnect.de) acidjnk |
| 2025-05-05 08:37:51 +0200 | kenran | (~void@user/kenran) kenran |
| 2025-05-05 08:21:18 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) |
| 2025-05-05 08:16:26 +0200 | kuribas | (~user@2a02:1810:2825:6000:1ac2:79ca:2c05:6e90) kuribas |
| 2025-05-05 08:13:54 +0200 | Guest11 | (~Guest11@2a02:26f7:c5c8:4000:e000::2) (Client Quit) |
| 2025-05-05 08:10:59 +0200 | Guest11 | (~Guest11@2a02:26f7:c5c8:4000:e000::2) |
| 2025-05-05 08:07:46 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-05 07:53:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-05 07:50:24 +0200 | <haskellbridge> | <hellwolf> I had to just learn and stumble on my own |
| 2025-05-05 07:49:30 +0200 | <haskellbridge> | on hindsight, it's trivial really. But neat. |
| 2025-05-05 07:49:28 +0200 | <haskellbridge> | <hellwolf> EvanR: after some sleep, and the correct constructors of curry and apply. I basically come up with the solution for both cofegen and emulation the ways you and tom was trying to teach me :) |
| 2025-05-05 07:49:10 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-05-05 07:48:48 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 272 seconds) |
| 2025-05-05 07:48:37 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
| 2025-05-05 07:46:37 +0200 | <haskellbridge> | <hellwolf> monochrom: no, just an alias to (,) |
| 2025-05-05 07:45:21 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-05-05 07:43:23 +0200 | tomku | (~tomku@user/tomku) tomku |
| 2025-05-05 07:43:07 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 272 seconds) |
| 2025-05-05 07:41:04 +0200 | natto17 | (~natto@129.154.243.159) natto |
| 2025-05-05 07:40:37 +0200 | natto17 | (~natto@129.154.243.159) (Ping timeout: 248 seconds) |
| 2025-05-05 07:31:56 +0200 | euleritian | (~euleritia@dynamic-176-006-137-052.176.6.pool.telefonica.de) |
| 2025-05-05 07:28:44 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-05 07:22:37 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-05 07:20:23 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-05 07:18:24 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-05 07:18:02 +0200 | la1n | (~la1n@81.222.178.255) |