Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 18039 18040 18041 18042 18043 18044
— 1,804,394 events total
2026-05-01 14:28:21 × Square quits (~Square@user/square) (Ping timeout: 256 seconds)
2026-05-01 14:28:49 × astroanax quits (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Quit: WeeChat 3.8)
2026-05-01 14:30:28 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-05-01 14:31:33 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
2026-05-01 14:36:24 → tnt1 joins (~Thunderbi@user/tnt1)
2026-05-01 14:36:28 × flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
2026-05-01 14:37:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-01 14:37:48 → flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
2026-05-01 14:37:56 × puke quits (~puke@user/puke) (Remote host closed the connection)
2026-05-01 14:38:20 → puke joins (~puke@user/puke)
2026-05-01 14:38:58 × puke quits (~puke@user/puke) (Remote host closed the connection)
2026-05-01 14:39:40 → arandombit joins (~arandombi@user/arandombit)
2026-05-01 14:44:03 → puke joins (~puke@user/puke)
2026-05-01 14:46:59 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds)
2026-05-01 14:49:53 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-05-01 14:54:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-01 14:55:53 → pavonia joins (~user@user/siracusa)
2026-05-01 15:00:19 → TwinAdam joins (~TwinAdam@user/adamsaunders)
2026-05-01 15:00:58 → r1bilski_ joins (~r1bilski@user-46-112-240-248.play-internet.pl)
2026-05-01 15:07:06 <gentauro> % :t foldl1
2026-05-01 15:07:06 <yahb2> foldl1 :: Foldable t => (a -> a -> a) -> t a -> a
2026-05-01 15:07:39 <gentauro> % :t foldl
2026-05-01 15:07:40 <yahb2> foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b
2026-05-01 15:08:28 <haskellbridge> <ijouw> There is also foldl'
2026-05-01 15:09:39 <Leary> gentauro: `Alternative` provides another generisation of `++` (and `[]`) which is likely more appropriate if it type checks.
2026-05-01 15:09:40 × tomsmeding quits (~tomsmedin@user/tomsmeding) (Quit: ZNC 1.10.1 - https://znc.in)
2026-05-01 15:10:00 <gentauro> ijouw yeah, the LSP keeps complaining about those. However, as I use `{-# OPTIONS_GHC -Wall -Werror #-}` per file, I get all kind of strange error when compiling :(
2026-05-01 15:10:22 → tomsmeding joins (~tomsmedin@user/tomsmeding)
2026-05-01 15:10:36 <gentauro> Leary: like `<|>`?
2026-05-01 15:10:51 <haskellbridge> <ijouw> yes
2026-05-01 15:13:06 <gentauro> I guess I end up with `foldl (\ acc x -> acc <> x) mempty` which does the trick
2026-05-01 15:13:06 × puke quits (~puke@user/puke) (Remote host closed the connection)
2026-05-01 15:13:25 × r1bilski_ quits (~r1bilski@user-46-112-240-248.play-internet.pl) (Ping timeout: 276 seconds)
2026-05-01 15:13:53 × yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection)
2026-05-01 15:14:18 gentauro oh, I didn't wrote my Monoid instance
2026-05-01 15:14:20 → yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2)
2026-05-01 15:14:20 ChanServ sets mode +v yahb2
2026-05-01 15:18:47 → jmcantrell_ joins (~weechat@user/jmcantrell)
2026-05-01 15:19:57 jmcantrell_ is now known as jmcantrell
2026-05-01 15:23:01 → ircbrowse_tom joins (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom)
2026-05-01 15:23:05 Server sets mode +Cnt
2026-05-01 15:23:40 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-05-01 15:31:28 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-05-01 15:34:20 × dcb quits (~dcb@user/dcb) (Quit: MSN Messenger v1.10.1)
2026-05-01 15:36:18 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-05-01 15:36:35 → misterfish joins (~misterfis@84.53.85.146)
2026-05-01 15:38:21 → dcb joins (~dcb@user/dcb)
2026-05-01 15:39:59 → alhazrod joins (uid662262@id-662262.lymington.irccloud.com)
2026-05-01 15:40:06 × alhazrod quits (uid662262@id-662262.lymington.irccloud.com) (Changing host)
2026-05-01 15:40:06 → alhazrod joins (uid662262@user/alhazrod)
2026-05-01 15:45:04 <janus> % :t fold
2026-05-01 15:45:04 <yahb2> <interactive>:1:1: error: [GHC-88464] ; Variable not in scope: fold ; Suggested fix: ; Perhaps use one of these: ; ‘foldl’ (imported from Prelude), ‘foldr’ (imported from Prel...
2026-05-01 15:45:15 <janus> % import Data.Foldable
2026-05-01 15:45:15 <yahb2> <no output>
2026-05-01 15:45:17 <janus> % :t fold
2026-05-01 15:45:17 <yahb2> fold :: (Foldable t, Monoid m) => t m -> m
2026-05-01 15:45:29 <janus> gentauro: don't you want this instead of a custom foldl with mempty ?
2026-05-01 15:48:53 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-05-01 15:49:50 → mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5)
2026-05-01 15:50:43 × mrvdb- quits (~mrvdb@185.92.221.186) (Ping timeout: 264 seconds)
2026-05-01 15:53:15 <gentauro> janus: I have a list of types that I want to concat
2026-05-01 15:53:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-01 15:54:10 <janus> gentauro: yes. the t would be [] (list) and the m would be 'type'
2026-05-01 15:59:29 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds)
2026-05-01 16:06:52 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-05-01 16:10:59 <L29Ah> % fix error
2026-05-01 16:10:59 <yahb2> <interactive>:11:1: error: [GHC-88464] ; Variable not in scope: fix :: ([Char] -> a0) -> t
2026-05-01 16:11:33 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-05-01 16:12:57 → alter2000 joins (~alter2000@user/alter2000)
2026-05-01 16:13:47 <tomsmeding> % Data.Function.fix error
2026-05-01 16:13:47 <yahb2> *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: **...
2026-05-01 16:14:45 <humasect> uh oh
2026-05-01 16:16:23 → arandombit joins (~arandombi@2a02:2455:8656:7100:d50d:ba73:734:cf90)
2026-05-01 16:16:23 × arandombit quits (~arandombi@2a02:2455:8656:7100:d50d:ba73:734:cf90) (Changing host)
2026-05-01 16:16:23 → arandombit joins (~arandombi@user/arandombit)
2026-05-01 16:19:03 <alter2000> errors fixed, LGTM
2026-05-01 16:23:41 × arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection)
2026-05-01 16:23:48 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-05-01 16:23:50 → r1bilski_ joins (~r1bilski@user-46-112-240-248.play-internet.pl)
2026-05-01 16:23:50 × r1bilski_ quits (~r1bilski@user-46-112-240-248.play-internet.pl) (Remote host closed the connection)
2026-05-01 16:24:05 → r1bilski joins (~r1bilski@user/r1bilski)
2026-05-01 16:25:28 <int-e> (It's a truly exceptional bit.)
2026-05-01 16:27:00 → xdej joins (~xdej@quatramaran.salle-s.org)
2026-05-01 16:28:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-01 16:32:30 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-05-01 16:34:23 → Pozyomka joins (~pyon@user/pyon)
2026-05-01 16:34:30 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 265 seconds)
2026-05-01 16:35:24 × gentauro quits (~gentauro@user/gentauro) (Ping timeout: 255 seconds)
2026-05-01 16:35:43 × r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 264 seconds)
2026-05-01 16:37:13 → gentauro joins (~gentauro@user/gentauro)
2026-05-01 16:39:20 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-01 17:00:05 → puke joins (~puke@user/puke)
2026-05-01 17:09:05 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-05-01 17:11:08 × skum quits (~skum@user/skum) (Quit: WeeChat 4.9.0)
←Prev  Next→
Page 1 .. 18039 18040 18041 18042 18043 18044

All times are in UTC.