| 2025-05-05 00:00:19 +0200 | <hellwolf> | that becomes the essence of the if-then-else control structure, the codegen will translate that to the target language code, which is rather short. |
| 2025-05-05 00:02:43 +0200 | <hellwolf> | in contrast, my current YulITE :: YulCat eff a b -> YulCat eff a b -> YulCat eff (BOOL, a) b |
| 2025-05-05 00:03:16 +0200 | <EvanR> | Yultide |
| 2025-05-05 00:03:55 +0200 | <hellwolf> | the currently one doesn't compose, makes some code duplication. Anyways, perhaps too specific. |
| 2025-05-05 00:06:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-05-05 00:07:10 +0200 | Square2 | (~Square@user/square) (Quit: Leaving) |
| 2025-05-05 00:07:36 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-05 00:08:29 +0200 | Square2 | (~Square@user/square) (Client Quit) |
| 2025-05-05 00:08:33 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-05-05 00:18:43 +0200 | Typedfern | (~Typedfern@213.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2025-05-05 00:18:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-05 00:23:16 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-05 00:29:31 +0200 | sm | (znc@plaintextaccounting/sm) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in) |
| 2025-05-05 00:31:10 +0200 | sm | (znc@plaintextaccounting/sm) sm |
| 2025-05-05 00:34:44 +0200 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-05-05 00:50:49 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-05 00:52:27 +0200 | jbalint | (~jbalint@syn-071-090-119-177.res.spectrum.com) |
| 2025-05-05 00:55:47 +0200 | sprotte24 | (~sprotte24@p200300d16f243100f18c0be91bdc6e3d.dip0.t-ipconnect.de) |
| 2025-05-05 00:58:05 +0200 | <hellwolf> | here you go, |
| 2025-05-05 00:58:08 +0200 | <hellwolf> | YulCurry :: forall eff a b c. YulO3 a b c => YulCat eff (a ⊗ b) c -> YulCat eff a (YulCat eff b c) |
| 2025-05-05 00:58:12 +0200 | <hellwolf> | YulSwitch :: [(B32, YulCat eff a b)] -> YulCat eff (a ⊗ B32) b |
| 2025-05-05 00:58:17 +0200 | <hellwolf> | a curry and a switch, job done. |
| 2025-05-05 00:59:06 +0200 | <hellwolf> | no more specialized ITE, but a switch statement, which the target langauge is using anyways. |
| 2025-05-05 00:59:36 +0200 | <hellwolf> | YulSwitch constructs the specialized switch statement |
| 2025-05-05 00:59:48 +0200 | <hellwolf> | and curry is general categorical operation |
| 2025-05-05 01:00:37 +0200 | <hellwolf> | YulCurry (YulSwitch [(True, ..), (False, ..)]) :: YulCat eff (a ⊗ BOOL) c |
| 2025-05-05 01:01:21 +0200 | <hellwolf> | to complete, apply is: |
| 2025-05-05 01:01:21 +0200 | <hellwolf> | YulApply :: forall eff a b. YulO2 a b => YulCat eff (YulCat eff a b ⊗ a) b |
| 2025-05-05 01:01:24 +0200 | <hellwolf> | good night. |
| 2025-05-05 01:15:06 +0200 | Googulator33 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-05 01:20:30 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-05 01:21:16 +0200 | sprotte24 | (~sprotte24@p200300d16f243100f18c0be91bdc6e3d.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-05 01:21:50 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-05-05 01:25:10 +0200 | Square | (~Square@user/square) Square |
| 2025-05-05 01:28:11 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f52d4f1201e65d300bb.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-05-05 01:34:04 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-05 01:37:25 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-05 01:37:35 +0200 | Axma14181 | (~Axman6@user/axman6) Axman6 |
| 2025-05-05 01:39:49 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-05-05 01:40:26 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-05 01:40:49 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 01:41:38 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-05 01:41:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-05 01:43:19 +0200 | <monochrom> | onoes, is that the much fabled monad with tensor strength? |
| 2025-05-05 01:46:02 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-05 01:46:02 +0200 | ljdarj1 | ljdarj |
| 2025-05-05 01:55:21 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-05 01:56:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-05-05 01:56:54 +0200 | ljdarj1 | ljdarj |
| 2025-05-05 02:00:21 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-05-05 02:07:02 +0200 | sm_ | (~znc@plaintextaccounting/sm) sm |
| 2025-05-05 02:08:34 +0200 | sm | (znc@plaintextaccounting/sm) (Ping timeout: 260 seconds) |
| 2025-05-05 02:10:24 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-05 02:12:41 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-05 02:14:58 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-05 02:16:29 +0200 | sm | (znc@plaintextaccounting/sm) sm |
| 2025-05-05 02:17:01 +0200 | sm_ | (~znc@plaintextaccounting/sm) (Ping timeout: 276 seconds) |
| 2025-05-05 02:17:16 +0200 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-05-05 02:18:21 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-05 02:26:42 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-05 02:29:49 +0200 | haskellbridge | shapr stretches a monad to check its tensor strength |
| 2025-05-05 02:32:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-05 02:33:59 +0200 | <monochrom> | haha |
| 2025-05-05 02:35:31 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-05 02:36:01 +0200 | Tikosh | (~Tikosh@user/Tikosh) Tikosh |
| 2025-05-05 02:36:58 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 252 seconds) |
| 2025-05-05 02:37:01 +0200 | <Tikosh> | I have taffybar and am attempting to put a battery widget on my taffybar with no luck. does anyone know any documentation or know how to make a battery widget for taffybar? |
| 2025-05-05 02:39:10 +0200 | <geekosaur> | there's a slight chance you'll do better asking in #xmonad, fwiw |
| 2025-05-05 02:39:48 +0200 | <Tikosh> | alright! thanks |
| 2025-05-05 02:39:57 +0200 | Tikosh | (~Tikosh@user/Tikosh) () |
| 2025-05-05 02:55:19 +0200 | sm_ | (~znc@plaintextaccounting/sm) sm |
| 2025-05-05 02:57:25 +0200 | sm | (znc@plaintextaccounting/sm) (Ping timeout: 248 seconds) |
| 2025-05-05 02:58:49 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-05 03:05:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-05 03:07:42 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-05-05 03:07:43 +0200 | la1n2 | (~la1n@176.59.41.59) (Read error: Connection reset by peer) |
| 2025-05-05 03:09:13 +0200 | la1n2 | (~la1n@109.197.204.68) |
| 2025-05-05 03:11:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 03:12:10 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-05 03:28:00 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 03:28:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-05 03:32:45 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-05-05 03:33:02 +0200 | sm | (~znc@plaintextaccounting/sm) sm |
| 2025-05-05 03:33:48 +0200 | sm_ | (~znc@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2025-05-05 03:38:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-05-05 03:40:11 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-05 03:41:04 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Client Quit) |
| 2025-05-05 03:42:07 +0200 | sm_ | (~znc@plaintextaccounting/sm) sm |
| 2025-05-05 03:44:04 +0200 | sm | (~znc@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2025-05-05 03:49:51 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-05-05 03:57:00 +0200 | mulk | (~mulk@pd95149c0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-05 03:57:07 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-05-05 03:58:27 +0200 | mulk | (~mulk@p5b2dca5a.dip0.t-ipconnect.de) mulk |
| 2025-05-05 04:09:56 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-05 04:11:20 +0200 | img | (~img@user/img) img |
| 2025-05-05 04:15:36 +0200 | td_ | (~td@i53870915.versanet.de) (Ping timeout: 252 seconds) |
| 2025-05-05 04:17:22 +0200 | td_ | (~td@i5387090D.versanet.de) td_ |
| 2025-05-05 04:17:26 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-05 04:22:38 +0200 | mulk | (~mulk@p5b2dca5a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-05-05 04:25:32 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
| 2025-05-05 04:33:39 +0200 | droideqa | (uid499291@user/droideqa) droideqa |
| 2025-05-05 04:53:31 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-05-05 04:58:52 +0200 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-05-05 05:08:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-05-05 05:14:50 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-05 05:16:24 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
| 2025-05-05 05:21:49 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-05 05:22:20 +0200 | inedia_ | inedia |
| 2025-05-05 05:23:56 +0200 | jmcantrell_ | unterzicht |
| 2025-05-05 05:33:20 +0200 | unterzicht | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
| 2025-05-05 05:33:40 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-05 05:37:09 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) () |
| 2025-05-05 05:42:56 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-05 05:44:02 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-05 05:44:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 05:46:32 +0200 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2025-05-05 05:47:13 +0200 | aforemny_ | (~aforemny@i59F4C6FD.versanet.de) (Ping timeout: 272 seconds) |
| 2025-05-05 05:47:19 +0200 | aforemny | (~aforemny@2001:9e8:6ce9:ae00:f066:85cb:935a:63da) aforemny |
| 2025-05-05 05:49:05 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Killed (NickServ (GHOST command used by unterzicht!~weechat@user/jmcantrell))) |
| 2025-05-05 05:49:17 +0200 | jmcantrell | (644f1bed9a@2a03:6000:1812:100::1150) |
| 2025-05-05 06:03:24 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-05 06:05:25 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2025-05-05 06:06:42 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-05 06:07:17 +0200 | jmcantrell | (644f1bed9a@2a03:6000:1812:100::1150) (Changing host) |
| 2025-05-05 06:07:17 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-05-05 06:11:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2025-05-05 06:16:32 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-05-05 06:17:14 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 06:17:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-05 06:18:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-05 06:21:39 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) () |
| 2025-05-05 06:23:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-05 06:24:13 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2025-05-05 06:24:13 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-05-05 06:24:13 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-05-05 06:28:22 +0200 | <Square2> | A 3rd party dependency requires me to use https://hackage.haskell.org/package/base-4.16.3.0/docs/Numeric-Natural.html |
| 2025-05-05 06:28:55 +0200 | <Square2> | Sadly there are dead links to source and the "NS" constructor they link |
| 2025-05-05 06:29:56 +0200 | <Square2> | Anyone know what's up with that? |
| 2025-05-05 06:32:36 +0200 | <EvanR> | I was about to pull up the source another way |
| 2025-05-05 06:33:28 +0200 | <EvanR> | https://hackage.haskell.org/package/ghc-bignum-1.2/docs/src/GHC.Num.Natural.html#Natural |
| 2025-05-05 06:34:20 +0200 | <EvanR> | which is where it seemed to want to go but the haddocks had weird urls |
| 2025-05-05 06:35:57 +0200 | <EvanR> | (I wonder if it was unintentional for WORD_MAXBOUND in the doc comment to be preprocessed) |
| 2025-05-05 06:36:08 +0200 | <Square2> | Thanks. I seemed to get past the hurdle |
| 2025-05-05 06:36:31 +0200 | <Square2> | ghci let me create one with "123 :: Natural" |
| 2025-05-05 06:36:56 +0200 | <Square2> | ...and hopefully I'll get by with some fromInteger/toInteger hackery in my code. =D |
| 2025-05-05 06:38:01 +0200 | user363627 | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-05-05 06:38:02 +0200 | <EvanR> | > fromInteger 123 :: Natural |
| 2025-05-05 06:38:04 +0200 | <lambdabot> | error: |
| 2025-05-05 06:38:04 +0200 | <lambdabot> | Not in scope: type constructor or class ‘Natural’ |
| 2025-05-05 06:38:09 +0200 | <EvanR> | :( |
| 2025-05-05 06:38:18 +0200 | <monochrom> | yahb2 probably has it. |
| 2025-05-05 06:38:19 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2025-05-05 06:38:21 +0200 | <EvanR> | @let import Data.Natural |
| 2025-05-05 06:38:21 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:110:1: error: |
| 2025-05-05 06:38:21 +0200 | <lambdabot> | Could not find module ‘Data.Natural’ |
| 2025-05-05 06:38:21 +0200 | <lambdabot> | Use -v (or `:set -v` in ghci) to see a list of the files searched for. |
| 2025-05-05 06:38:24 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-05 06:38:32 +0200 | jmcantrell_ | jmcantrell |
| 2025-05-05 06:38:35 +0200 | <monochrom> | Numeric.Natural |
| 2025-05-05 06:38:39 +0200 | <EvanR> | @let import Numeric.Natural |
| 2025-05-05 06:38:40 +0200 | <lambdabot> | Defined. |
| 2025-05-05 06:38:44 +0200 | <EvanR> | > fromInteger 123 :: Natural |
| 2025-05-05 06:38:45 +0200 | <lambdabot> | 123 |
| 2025-05-05 06:38:50 +0200 | <EvanR> | > fromInteger (-123) :: Natural |
| 2025-05-05 06:38:51 +0200 | <lambdabot> | *Exception: arithmetic underflow |
| 2025-05-05 06:39:16 +0200 | <EvanR> | error: unnatural |
| 2025-05-05 06:44:36 +0200 | <EvanR> | :t naturalBit |
| 2025-05-05 06:44:37 +0200 | <lambdabot> | error: Variable not in scope: naturalBit |
| 2025-05-05 06:46:44 +0200 | <EvanR> | if ghc-bignum is a dependency of base and every program has base as a dependency does that mean every program depends on ghc-bignum |
| 2025-05-05 06:50:09 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-05-05 06:58:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-05 07:00:00 +0200 | tavare | (~tavare@150.129.88.189) |
| 2025-05-05 07:00:00 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-05-05 07:00:00 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-05 07:00:02 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-05 07:02:18 +0200 | <probie> | EvanR: Programs which depend on an old enough version of base certainly don't depend on ghc-bignum |
| 2025-05-05 07:03:43 +0200 | la1n23 | (~la1n@45.129.78.70) |
| 2025-05-05 07:06:06 +0200 | la1n2 | (~la1n@109.197.204.68) (Ping timeout: 252 seconds) |
| 2025-05-05 07:06:33 +0200 | erdem | (~null@user/erdem) (Leaving) |
| 2025-05-05 07:08:40 +0200 | la1n23 | (~la1n@45.129.78.70) (Ping timeout: 252 seconds) |
| 2025-05-05 07:17:32 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-05-05 07:18:02 +0200 | la1n | (~la1n@81.222.178.255) |
| 2025-05-05 07:18:24 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-05 07:20:23 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 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:28:44 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-05 07:31:56 +0200 | euleritian | (~euleritia@dynamic-176-006-137-052.176.6.pool.telefonica.de) |
| 2025-05-05 07:40:37 +0200 | natto17 | (~natto@129.154.243.159) (Ping timeout: 248 seconds) |
| 2025-05-05 07:41:04 +0200 | natto17 | (~natto@129.154.243.159) natto |
| 2025-05-05 07:43:07 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 272 seconds) |
| 2025-05-05 07:43:23 +0200 | tomku | (~tomku@user/tomku) tomku |
| 2025-05-05 07:45:21 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-05-05 07:46:37 +0200 | <haskellbridge> | <hellwolf> monochrom: no, just an alias to (,) |
| 2025-05-05 07:48:37 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
| 2025-05-05 07:48:48 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 272 seconds) |
| 2025-05-05 07:49:10 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 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:30 +0200 | <haskellbridge> | on hindsight, it's trivial really. But neat. |
| 2025-05-05 07:50:24 +0200 | <haskellbridge> | <hellwolf> I had to just learn and stumble on my own |
| 2025-05-05 07:53:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-05 08:07:46 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-05 08:10:59 +0200 | Guest11 | (~Guest11@2a02:26f7:c5c8:4000:e000::2) |
| 2025-05-05 08:13:54 +0200 | Guest11 | (~Guest11@2a02:26f7:c5c8:4000:e000::2) (Client Quit) |
| 2025-05-05 08:16:26 +0200 | kuribas | (~user@2a02:1810:2825:6000:1ac2:79ca:2c05:6e90) kuribas |
| 2025-05-05 08:21:18 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) |
| 2025-05-05 08:37:51 +0200 | kenran | (~void@user/kenran) kenran |
| 2025-05-05 08:46:48 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f82797a1539102dd80f.dip0.t-ipconnect.de) acidjnk |
| 2025-05-05 08:58:07 +0200 | <tomsmeding> | hellwolf: best way to learn |
| 2025-05-05 09:00:06 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-05 09:00:51 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-05 09:06:47 +0200 | michalz | (~michalz@185.246.207.221) (Ping timeout: 244 seconds) |
| 2025-05-05 09:07:11 +0200 | michalz | (~michalz@185.246.207.203) |
| 2025-05-05 09:22:46 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) 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:24:10 +0200 | Lord_of_Life_ | Lord_of_Life |
| 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: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:33:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-05 09:33:10 +0200 | <tomsmeding> | perhaps? |
| 2025-05-05 09:36:03 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-05 09:36:48 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-05 09:38:09 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 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: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: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:39:53 +0200 | <hellwolf> | Minimal rebuilding of the wheels is the goal. |
| 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: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:42:26 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-05 09:44:40 +0200 | <hellwolf> | Does it make sense? |
| 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:52:28 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-05 10:01:12 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-05 10:17:23 +0200 | kuribas | (~user@2a02:1810:2825:6000:1ac2:79ca:2c05:6e90) (Remote host closed the connection) |
| 2025-05-05 10:17:37 +0200 | kuribas | (~user@ptr-17d51em2ntfndqd2b01.18120a2.ip6.access.telenet.be) kuribas |