2025/04/25

Newest at the top

2025-04-25 16:58:11 +0200 <mauke> yeah, why? :-)
2025-04-25 16:57:57 +0200 <hellwolf> mauke: nice, you like perl, right?
2025-04-25 16:57:28 +0200 <hellwolf> but I had repeated for aliasing
2025-04-25 16:57:16 +0200 <hellwolf> they don't, indeed
2025-04-25 16:57:03 +0200 <int-e> they don't have to be aliases either
2025-04-25 16:57:01 +0200 <mauke> (.->)@f = ...
2025-04-25 16:56:39 +0200 <[exa]> yeah that's handy
2025-04-25 16:56:35 +0200 <hellwolf> (.->), f :: a -> b; f = ...; (.->) = f
2025-04-25 16:56:28 +0200 <[exa]> oic that's all one codeblock
2025-04-25 16:56:08 +0200 <hellwolf> ah that first "_" was me being brief
2025-04-25 16:55:43 +0200 <[exa]> hellwolf: that needs the PartialTypeSignatures or whats that called, right?
2025-04-25 16:54:07 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-25 16:54:05 +0200 <hellwolf> To define aliases of the function without having to repeat the type signature.
2025-04-25 16:53:49 +0200 <hellwolf> I did not realize this trick until today: (.->), f :: _; f = _ .-> = f
2025-04-25 16:50:12 +0200 <[exa]> ii8: not sure if anyone suggested before but `cabal freeze` might help a lot (at least to make the frozen dependency versions kinda materialized)
2025-04-25 16:47:29 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 245 seconds)
2025-04-25 16:38:51 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-25 16:38:40 +0200euleritian(~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2025-04-25 16:38:32 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-04-25 16:34:21 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 276 seconds)
2025-04-25 16:30:02 +0200Sgeo_(~Sgeo@user/sgeo) Sgeo
2025-04-25 16:26:38 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-04-25 16:25:25 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-25 16:20:30 +0200Googulator(~Googulato@81.183.235.203) (Ping timeout: 240 seconds)
2025-04-25 16:20:19 +0200Teacup(~teacup@user/teacup) Teacup
2025-04-25 16:19:57 +0200Teacup(~teacup@user/teacup) ()
2025-04-25 16:18:29 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2025-04-25 16:17:44 +0200Digit(~user@245.144.208.46.dyn.plus.net)
2025-04-25 16:17:28 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds)
2025-04-25 16:17:00 +0200Googulator47(~Googulato@81.183.235.203)
2025-04-25 16:14:01 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-25 16:06:19 +0200Digit(~user@245.144.208.46.dyn.plus.net) (Ping timeout: 276 seconds)
2025-04-25 16:03:43 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft
2025-04-25 16:01:55 +0200euphores(~SASL_euph@user/euphores) euphores
2025-04-25 15:53:56 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-04-25 15:51:27 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-04-25 15:50:27 +0200pavonia(~user@user/siracusa) siracusa
2025-04-25 15:49:55 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2025-04-25 15:46:07 +0200euleritian(~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de)
2025-04-25 15:45:34 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-04-25 15:41:20 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-25 15:41:03 +0200euleritian(~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-25 15:38:16 +0200vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2025-04-25 15:36:53 +0200Digit(~user@245.144.208.46.dyn.plus.net)
2025-04-25 15:35:33 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-25 15:32:10 +0200dhil(~dhil@openvpn-125-1069.inf.ed.ac.uk) dhil
2025-04-25 15:28:20 +0200Digit(~user@user/digit) (Ping timeout: 260 seconds)
2025-04-25 15:25:43 +0200euleritian(~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de)
2025-04-25 15:25:25 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2025-04-25 15:11:33 +0200Square(~Square@user/square) Square