2025/05/05

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 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-05-05 00:07:10 +0200Square2(~Square@user/square) (Quit: Leaving)
2025-05-05 00:07:36 +0200Square2(~Square@user/square) Square
2025-05-05 00:08:29 +0200Square2(~Square@user/square) (Client Quit)
2025-05-05 00:08:33 +0200Square(~Square@user/square) (Remote host closed the connection)
2025-05-05 00:18:43 +0200Typedfern(~Typedfern@213.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2025-05-05 00:18:58 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-05-05 00:23:16 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-05 00:29:31 +0200sm(znc@plaintextaccounting/sm) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in)
2025-05-05 00:31:10 +0200sm(znc@plaintextaccounting/sm) sm
2025-05-05 00:34:44 +0200hiredman(~hiredman@frontier1.downey.family) hiredman
2025-05-05 00:50:49 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-05-05 00:52:27 +0200jbalint(~jbalint@syn-071-090-119-177.res.spectrum.com)
2025-05-05 00:55:47 +0200sprotte24(~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 +0200Googulator33(~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed)
2025-05-05 01:20:30 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-05-05 01:21:16 +0200sprotte24(~sprotte24@p200300d16f243100f18c0be91bdc6e3d.dip0.t-ipconnect.de) (Quit: Leaving)
2025-05-05 01:21:50 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-05-05 01:25:10 +0200Square(~Square@user/square) Square
2025-05-05 01:28:11 +0200acidjnk_new3(~acidjnk@p200300d6e71c4f52d4f1201e65d300bb.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-05-05 01:34:04 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-05 01:37:25 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-05 01:37:35 +0200Axma14181(~Axman6@user/axman6) Axman6
2025-05-05 01:39:49 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-05-05 01:40:26 +0200tolgo(~Thunderbi@199.115.144.130)
2025-05-05 01:40:49 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-05 01:41:38 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-05 01:41:41 +0200j1n37(~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 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-05-05 01:46:02 +0200ljdarj1ljdarj
2025-05-05 01:55:21 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-05 01:56:54 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-05-05 01:56:54 +0200ljdarj1ljdarj
2025-05-05 02:00:21 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-05-05 02:07:02 +0200sm_(~znc@plaintextaccounting/sm) sm
2025-05-05 02:08:34 +0200sm(znc@plaintextaccounting/sm) (Ping timeout: 260 seconds)
2025-05-05 02:10:24 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-05-05 02:12:41 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-05 02:14:58 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-05 02:16:29 +0200sm(znc@plaintextaccounting/sm) sm
2025-05-05 02:17:01 +0200sm_(~znc@plaintextaccounting/sm) (Ping timeout: 276 seconds)
2025-05-05 02:17:16 +0200finsternis(~X@23.226.237.192) finsternis
2025-05-05 02:18:21 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-05-05 02:26:42 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-05 02:29:49 +0200haskellbridgeshapr stretches a monad to check its tensor strength
2025-05-05 02:32:17 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-05-05 02:33:59 +0200 <monochrom> haha
2025-05-05 02:35:31 +0200califax(~califax@user/califx) califx
2025-05-05 02:36:01 +0200Tikosh(~Tikosh@user/Tikosh) Tikosh
2025-05-05 02:36:58 +0200tolgo(~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 +0200Tikosh(~Tikosh@user/Tikosh) ()
2025-05-05 02:55:19 +0200sm_(~znc@plaintextaccounting/sm) sm
2025-05-05 02:57:25 +0200sm(znc@plaintextaccounting/sm) (Ping timeout: 248 seconds)
2025-05-05 02:58:49 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-05 03:05:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-05 03:07:42 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-05-05 03:07:43 +0200la1n2(~la1n@176.59.41.59) (Read error: Connection reset by peer)
2025-05-05 03:09:13 +0200la1n2(~la1n@109.197.204.68)
2025-05-05 03:11:34 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-05 03:12:10 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-05 03:28:00 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-05 03:28:53 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-05-05 03:32:45 +0200hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92))
2025-05-05 03:33:02 +0200sm(~znc@plaintextaccounting/sm) sm
2025-05-05 03:33:48 +0200sm_(~znc@plaintextaccounting/sm) (Ping timeout: 252 seconds)
2025-05-05 03:38:59 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-05-05 03:40:11 +0200tolgo(~Thunderbi@199.115.144.130)
2025-05-05 03:41:04 +0200tolgo(~Thunderbi@199.115.144.130) (Client Quit)
2025-05-05 03:42:07 +0200sm_(~znc@plaintextaccounting/sm) sm
2025-05-05 03:44:04 +0200sm(~znc@plaintextaccounting/sm) (Ping timeout: 252 seconds)
2025-05-05 03:49:51 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 252 seconds)
2025-05-05 03:57:00 +0200mulk(~mulk@pd95149c0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-05-05 03:57:07 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2025-05-05 03:58:27 +0200mulk(~mulk@p5b2dca5a.dip0.t-ipconnect.de) mulk
2025-05-05 04:09:56 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-05 04:11:20 +0200img(~img@user/img) img
2025-05-05 04:15:36 +0200td_(~td@i53870915.versanet.de) (Ping timeout: 252 seconds)
2025-05-05 04:17:22 +0200td_(~td@i5387090D.versanet.de) td_
2025-05-05 04:17:26 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com)
2025-05-05 04:22:38 +0200mulk(~mulk@p5b2dca5a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-05-05 04:25:32 +0200mulk(~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk
2025-05-05 04:33:39 +0200droideqa(uid499291@user/droideqa) droideqa
2025-05-05 04:53:31 +0200Square2(~Square4@user/square) Square
2025-05-05 04:58:52 +0200Square(~Square@user/square) (Ping timeout: 276 seconds)
2025-05-05 05:08:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-05-05 05:14:50 +0200Unicorn_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 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-05-05 05:22:20 +0200inedia_inedia
2025-05-05 05:23:56 +0200jmcantrell_unterzicht
2025-05-05 05:33:20 +0200unterzicht(~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2)
2025-05-05 05:33:40 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-05-05 05:37:09 +0200jmcantrell_(~weechat@user/jmcantrell) ()
2025-05-05 05:42:56 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-05-05 05:44:02 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-05-05 05:44:19 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-05 05:46:32 +0200sp1ff`(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection)
2025-05-05 05:47:13 +0200aforemny_(~aforemny@i59F4C6FD.versanet.de) (Ping timeout: 272 seconds)
2025-05-05 05:47:19 +0200aforemny(~aforemny@2001:9e8:6ce9:ae00:f066:85cb:935a:63da) aforemny
2025-05-05 05:49:05 +0200jmcantrell(644f1bed9a@user/jmcantrell) (Killed (NickServ (GHOST command used by unterzicht!~weechat@user/jmcantrell)))
2025-05-05 05:49:17 +0200jmcantrell(644f1bed9a@2a03:6000:1812:100::1150)
2025-05-05 06:03:24 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-05 06:05:25 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com)
2025-05-05 06:06:42 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-05 06:07:17 +0200jmcantrell(644f1bed9a@2a03:6000:1812:100::1150) (Changing host)
2025-05-05 06:07:17 +0200jmcantrell(644f1bed9a@user/jmcantrell) jmcantrell
2025-05-05 06:11:27 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2025-05-05 06:16:32 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-05-05 06:17:14 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-05 06:17:20 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-05 06:18:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-05 06:21:39 +0200jmcantrell(644f1bed9a@user/jmcantrell) ()
2025-05-05 06:23:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-05 06:24:13 +0200dibblego(~dibblego@116-255-1-119.ip4.superloop.au)
2025-05-05 06:24:13 +0200dibblego(~dibblego@116-255-1-119.ip4.superloop.au) (Changing host)
2025-05-05 06:24:13 +0200dibblego(~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 +0200user363627(~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 +0200user363627(~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 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-05-05 06:38:32 +0200jmcantrell_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 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff
2025-05-05 06:58:39 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-05 07:00:00 +0200tavare(~tavare@150.129.88.189)
2025-05-05 07:00:00 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-05-05 07:00:00 +0200tavare(~tavare@user/tavare) tavare
2025-05-05 07:00:02 +0200tavare(~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 +0200la1n23(~la1n@45.129.78.70)
2025-05-05 07:06:06 +0200la1n2(~la1n@109.197.204.68) (Ping timeout: 252 seconds)
2025-05-05 07:06:33 +0200erdem(~null@user/erdem) (Leaving)
2025-05-05 07:08:40 +0200la1n23(~la1n@45.129.78.70) (Ping timeout: 252 seconds)
2025-05-05 07:17:32 +0200hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92))
2025-05-05 07:18:02 +0200la1n(~la1n@81.222.178.255)
2025-05-05 07:18:24 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-05 07:20:23 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-05-05 07:22:37 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com)
2025-05-05 07:28:44 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-05-05 07:31:56 +0200euleritian(~euleritia@dynamic-176-006-137-052.176.6.pool.telefonica.de)
2025-05-05 07:40:37 +0200natto17(~natto@129.154.243.159) (Ping timeout: 248 seconds)
2025-05-05 07:41:04 +0200natto17(~natto@129.154.243.159) natto
2025-05-05 07:43:07 +0200tomku(~tomku@user/tomku) (Ping timeout: 272 seconds)
2025-05-05 07:43:23 +0200tomku(~tomku@user/tomku) tomku
2025-05-05 07:45:21 +0200zmt01(~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 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 252 seconds)
2025-05-05 07:48:48 +0200swamp_(~zmt00@user/zmt00) (Ping timeout: 272 seconds)
2025-05-05 07:49:10 +0200pabs3(~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 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-05 08:07:46 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-05 08:10:59 +0200Guest11(~Guest11@2a02:26f7:c5c8:4000:e000::2)
2025-05-05 08:13:54 +0200Guest11(~Guest11@2a02:26f7:c5c8:4000:e000::2) (Client Quit)
2025-05-05 08:16:26 +0200kuribas(~user@2a02:1810:2825:6000:1ac2:79ca:2c05:6e90) kuribas
2025-05-05 08:21:18 +0200tromp(~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7)
2025-05-05 08:37:51 +0200kenran(~void@user/kenran) kenran
2025-05-05 08:46:48 +0200acidjnk_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 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-05 09:00:51 +0200caconym7(~caconym@user/caconym) caconym
2025-05-05 09:06:47 +0200michalz(~michalz@185.246.207.221) (Ping timeout: 244 seconds)
2025-05-05 09:07:11 +0200michalz(~michalz@185.246.207.203)
2025-05-05 09:22:46 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-05 09:24:04 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2025-05-05 09:24:10 +0200Lord_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 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-05-05 09:33:10 +0200 <tomsmeding> perhaps?
2025-05-05 09:36:03 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-05-05 09:36:48 +0200jmcantrell(~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 +0200euleritian(~euleritia@dynamic-176-006-137-052.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-05 09:42:26 +0200euleritian(~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 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-05 10:01:12 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-05 10:17:23 +0200kuribas(~user@2a02:1810:2825:6000:1ac2:79ca:2c05:6e90) (Remote host closed the connection)
2025-05-05 10:17:37 +0200kuribas(~user@ptr-17d51em2ntfndqd2b01.18120a2.ip6.access.telenet.be) kuribas
2025-05-05 10:30:09 +0200alecs(~alecs@nat16.software.imdea.org) alecs
2025-05-05 10:30:14 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-05-05 10:35:08 +0200p3n(~p3n@217.198.124.246) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-05 10:35:57 +0200arahael(~arahael@user/arahael) (Remote host closed the connection)
2025-05-05 10:36:26 +0200chele(~chele@user/chele) chele
2025-05-05 10:37:20 +0200user363627(~user@user/user363627) (Remote host closed the connection)
2025-05-05 10:37:37 +0200p3n(~p3n@217.198.124.246) p3n
2025-05-05 10:38:41 +0200kenran(~void@user/kenran) (Remote host closed the connection)
2025-05-05 10:51:14 +0200danza(~danza@user/danza) danza
2025-05-05 10:53:36 +0200danza(~danza@user/danza) (Remote host closed the connection)
2025-05-05 10:55:02 +0200danza(~danza@user/danza) danza
2025-05-05 10:55:28 +0200danza(~danza@user/danza) (Read error: Connection reset by peer)
2025-05-05 10:56:54 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-05-05 11:03:44 +0200yellowbird(~yellowbir@2601:1c2:4400:1080::9762)