2025/01/20

Newest at the top

2025-01-20 20:46:24 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds)
2025-01-20 20:40:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-20 20:36:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-20 20:33:38 +0100SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving)
2025-01-20 20:29:56 +0100mengu1(~mengu1@88.253.125.86) (Quit: Client closed)
2025-01-20 20:29:51 +0100mud(~mud@user/kadoban) (Read error: Connection reset by peer)
2025-01-20 20:28:30 +0100kadobanana(~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 +0100acidjnk(~acidjnk@p200300d6e7283f8095cc0997f421f19c.dip0.t-ipconnect.de) acidjnk
2025-01-20 20:25:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-20 20:25:36 +0100pavonia(~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 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-20 20:10:38 +0100jespada(~jespada@2800:a4:177:4000:e940:78f8:1f73:68d0) jespada
2025-01-20 20:09:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-20 20:09:42 +0100superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) superbil
2025-01-20 20:08:22 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-20 20:07:29 +0100alecs(~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 248 seconds)
2025-01-20 20:05:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-20 20:01:48 +0100ubert(~Thunderbi@p200300ecdf3b1a8716f2ef54d84641f5.dip0.t-ipconnect.de) ubert
2025-01-20 20:01:32 +0100superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.4.3)
2025-01-20 19:59:03 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-01-20 19:57:55 +0100alecs(~alecs@61.pool85-58-154.dynamic.orange.es) alecs
2025-01-20 19:56:47 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-20 19:56:30 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: Ping timeout (120 seconds))
2025-01-20 19:54:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-20 19:50:57 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2025-01-20 19:50:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-20 19:47:20 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-01-20 19:46:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)