Newest at the top
2025-01-20 20:46:24 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
2025-01-20 20:40:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-20 20:36:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-20 20:33:38 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
2025-01-20 20:29:56 +0100 | mengu1 | (~mengu1@88.253.125.86) (Quit: Client closed) |
2025-01-20 20:29:51 +0100 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
2025-01-20 20:28:30 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
2025-01-20 20:28:19 +0100 | <haskellbridge> | <sm> 👍️ |
2025-01-20 20:27:51 +0100 | <yahb2> | type GHC.Internal.Base.NonEmpty :: * -> * ; data GHC.Internal.Base.NonEmpty a = a GHC.Internal.Base.:| [a] ; -- Defined in ‘GHC.Internal.Base’ ; instance Foldable GHC.Internal.Base.NonEmpty ; ... |
2025-01-20 20:27:50 +0100 | <tomsmeding> | % :i Data.List.NonEmpty.NonEmpty |
2025-01-20 20:27:41 +0100 | <hellwolf> | This bits works with linearhaskell, so it looks unfamiliar |
2025-01-20 20:27:26 +0100 | <hellwolf> | :| is the NomEmpty |
2025-01-20 20:27:19 +0100 | <haskellbridge> | <sm> and what's :| ? Nothing bad, just some things I'm not used to :) |
2025-01-20 20:27:03 +0100 | <hellwolf> | that's the weird bits indeed. just a variable name convention. |
2025-01-20 20:26:42 +0100 | <haskellbridge> | <sm> and what are the names with ' in them ? |
2025-01-20 20:26:40 +0100 | <hellwolf> | bunch of boiler plate I should still eliminate. |
2025-01-20 20:26:16 +0100 | <hellwolf> | $locId I will eliminate. |
2025-01-20 20:26:09 +0100 | <hellwolf> | which one is the most surprising? Function signature? |
2025-01-20 20:26:08 +0100 | <haskellbridge> | <sm> not sure why, probably the $locId and the object = definition at the top and some other unfamiliar bits (@ type applications..) |
2025-01-20 20:26:00 +0100 | <hellwolf> | yea... :D |
2025-01-20 20:25:54 +0100 | acidjnk | (~acidjnk@p200300d6e7283f8095cc0997f421f19c.dip0.t-ipconnect.de) acidjnk |
2025-01-20 20:25:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2025-01-20 20:25:36 +0100 | pavonia | (~user@user/siracusa) siracusa |
2025-01-20 20:25:16 +0100 | <haskellbridge> | <sm> and on the left is Yolc.. which is actually a Haskell EDSL ? At first I didn't quite recognise it as haskell |
2025-01-20 20:24:32 +0100 | <hellwolf> | because of those bastardized languages. |
2025-01-20 20:24:22 +0100 | <hellwolf> | ugly as hell, my primary motivation is to use Haskell. |
2025-01-20 20:24:07 +0100 | <hellwolf> | the intermediate language behind Solidity |
2025-01-20 20:24:00 +0100 | <hellwolf> | Solidity/Yul |
2025-01-20 20:23:54 +0100 | <haskellbridge> | <sm> what's the language on the right ? Solidity ? |
2025-01-20 20:23:38 +0100 | <hellwolf> | it uses a lot of memory, but that's GHC's fault! |
2025-01-20 20:22:56 +0100 | <haskellbridge> | <sm> congrats hellwolf |
2025-01-20 20:22:17 +0100 | <hellwolf> | success! Thanks to @tomsmeding help! I have port haskell playground to https://play.yolc.dev/ Where you can compile a Yolc module and generate target code displayed on the right side :) Very happy now. I will do some write up and create a (additive) PR that can make the playground white-label friendly. |
2025-01-20 20:20:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-20 20:10:38 +0100 | jespada | (~jespada@2800:a4:177:4000:e940:78f8:1f73:68d0) jespada |
2025-01-20 20:09:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-20 20:09:42 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
2025-01-20 20:08:22 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-01-20 20:07:29 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 248 seconds) |
2025-01-20 20:05:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-20 20:01:48 +0100 | ubert | (~Thunderbi@p200300ecdf3b1a8716f2ef54d84641f5.dip0.t-ipconnect.de) ubert |
2025-01-20 20:01:32 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.4.3) |
2025-01-20 19:59:03 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-01-20 19:57:55 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
2025-01-20 19:56:47 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
2025-01-20 19:56:30 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: Ping timeout (120 seconds)) |
2025-01-20 19:54:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2025-01-20 19:50:57 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2025-01-20 19:50:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-20 19:47:20 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-01-20 19:46:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |