Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17645 17646 17647 17648 17649 17650 17651 17652 17653 17654 17655 .. 17970
— 1,796,981 events total
2026-02-27 11:34:30 <ski> it's the same kind of difference as between `T -> (U -> V)' (`T' and `U' are input, `V' is output) and `(T -> U) -> V' (`T' is output, back to the callback, which produces the input `U', and `V' is output)
2026-02-27 11:36:14 <ski> or the difference between `forall a. ([a] -> Int)' (caller picks `a', passes as input some list of `a's) and (the rank-2 type) `(forall a. [a]) -> Int' (callee picks which type `a' to use, caller must pass a polymorphic parameter .. which in this case means only the empty list, if we discount partial values)
2026-02-27 11:37:41 → tales joins (~tales@149.167.1.176)
2026-02-27 11:41:25 <gentauro> ski: I think I got. Thx
2026-02-27 11:42:10 × tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds)
2026-02-27 11:43:24 → wootehfoot joins (~wootehfoo@user/wootehfoot)
2026-02-27 11:43:29 <ski> np
2026-02-27 11:53:54 → causal joins (~eric@50.46.156.145)
2026-02-27 12:00:29 → tales joins (~tales@149.167.1.176)
2026-02-27 12:02:50 → kuribas joins (~user@2a02-1810-2825-6000-1a76-6371-2ebf-5f1e.ip6.access.telenet.be)
2026-02-27 12:08:51 × tales quits (~tales@149.167.1.176) (Ping timeout: 246 seconds)
2026-02-27 12:13:45 → xff0x joins (~xff0x@2405:6580:b080:900:3713:5717:d067:11de)
2026-02-27 12:21:59 × divya quits (divya@140.238.251.170) (Ping timeout: 265 seconds)
2026-02-27 12:22:30 × natto17 quits (~natto@129.154.243.159) (Ping timeout: 246 seconds)
2026-02-27 12:23:14 × misterfish quits (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 245 seconds)
2026-02-27 12:34:02 × p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-27 12:36:39 → p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2026-02-27 12:37:24 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 258 seconds)
2026-02-27 12:38:13 → Vajb joins (~Vajb@2001:999:38:a1b6:95aa:8c38:ae41:ec93)
2026-02-27 12:39:21 → misterfish joins (~misterfis@84.53.85.146)
2026-02-27 12:39:24 → Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it)
2026-02-27 12:39:38 → gmg joins (~user@user/gehmehgeh)
2026-02-27 12:41:32 → divya joins (divya@140.238.251.170)
2026-02-27 12:41:40 → natto17 joins (~natto@129.154.243.159)
2026-02-27 12:45:30 × causal quits (~eric@50.46.156.145) (Quit: WeeChat 4.8.1)
2026-02-27 13:09:20 → housemate joins (~housemate@202.7.248.67)
2026-02-27 13:11:30 → haritz joins (~hrtz@140.228.70.141)
2026-02-27 13:11:30 × haritz quits (~hrtz@140.228.70.141) (Changing host)
2026-02-27 13:11:30 → haritz joins (~hrtz@user/haritz)
2026-02-27 13:26:38 → tales joins (~tales@149.167.1.176)
2026-02-27 13:30:58 × tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds)
2026-02-27 13:37:59 → lbseale joins (~quassel@user/ep1ctetus)
2026-02-27 13:41:45 × lbseale quits (~quassel@user/ep1ctetus) (Client Quit)
2026-02-27 13:48:30 → rekahsoft joins (~rekahsoft@76.67.111.168)
2026-02-27 13:57:44 → bggd_ joins (~bgg@2a01:e0a:fd5:f510:f2e9:bf08:81c5:a9a2)
2026-02-27 14:00:57 → tydes joins (~tydes@user/ttydes)
2026-02-27 14:24:20 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-02-27 14:24:57 → marinelli joins (~weechat@gateway/tor-sasl/marinelli)
2026-02-27 14:27:11 → chromoblob joins (~chromoblo@user/chromob1ot1c)
2026-02-27 14:31:25 × Googulator69 quits (~Googulato@team.broadbit.hu) (Quit: Client closed)
2026-02-27 14:31:43 → Googulator69 joins (~Googulato@team.broadbit.hu)
2026-02-27 14:37:51 × sixfourtwelve quits (~ethanmorg@static.82.129.225.46.clients.your-server.de) (Quit: leaving)
2026-02-27 14:39:11 → sixfourtwelve joins (~ethanmorg@static.82.129.225.46.clients.your-server.de)
2026-02-27 14:41:51 → tales joins (~tales@149.167.1.176)
2026-02-27 14:45:28 <yin> @pl uncurry g . (id &&& f)
2026-02-27 14:45:28 <lambdabot> uncurry g . (id &&& f)
2026-02-27 14:45:42 <yin> :t uncurry g . (id &&& f)
2026-02-27 14:45:44 <lambdabot> error: [GHC-39999]
2026-02-27 14:45:44 <lambdabot> • Could not deduce ‘Show b0’ arising from a use of ‘g’
2026-02-27 14:45:44 <lambdabot> from the context: (Show a, FromExpr c)
2026-02-27 14:46:32 × tales quits (~tales@149.167.1.176) (Ping timeout: 256 seconds)
2026-02-27 14:46:36 <yin> :t uncurry (<>) . (id &&& succ)
2026-02-27 14:46:38 <lambdabot> (Semigroup c, Enum c) => c -> c
2026-02-27 14:47:03 <yin> :t liftA2 (<>) id succ
2026-02-27 14:47:04 <lambdabot> (Semigroup c, Enum c) => c -> c
2026-02-27 14:47:34 <yin> is there a more appropriate abstraction?
2026-02-27 14:47:48 <yin> for `liftA2 f id g`
2026-02-27 14:48:05 <yin> i find myself using this all the time, under some form or another
2026-02-27 14:49:37 <yin> oh wait
2026-02-27 14:50:15 <yin> is this <*> ?
2026-02-27 14:50:39 <int-e> yes it is
2026-02-27 14:51:33 <yin> :t (<*>) @((->) _)
2026-02-27 14:51:34 <lambdabot> Applicative ((->) w) => (w -> (a -> b)) -> (w -> a) -> w -> b
2026-02-27 14:51:57 <int-e> @pl \f g x -> f x (g x)
2026-02-27 14:51:57 <lambdabot> ap
2026-02-27 14:55:04 <yin> well i guess i'll comment the hell out of it
2026-02-27 15:13:20 × Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed)
2026-02-27 15:14:32 → philopsos1 joins (~caecilius@user/philopsos)
2026-02-27 15:16:10 → acidjnk joins (~acidjnk@p200300d6e700e5504d503f6022936b58.dip0.t-ipconnect.de)
2026-02-27 15:19:56 × housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-02-27 15:20:07 → tales joins (~tales@149.167.1.176)
2026-02-27 15:21:02 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-02-27 15:21:28 → chromoblob joins (~chromoblo@user/chromob1ot1c)
2026-02-27 15:21:50 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 245 seconds)
2026-02-27 15:22:05 → housemate joins (~housemate@202.7.248.67)
2026-02-27 15:24:14 × tales quits (~tales@149.167.1.176) (Ping timeout: 252 seconds)
2026-02-27 15:28:12 × tromp quits (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-27 15:29:38 × ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1)
2026-02-27 15:32:38 → philopsos1 joins (~caecilius@user/philopsos)
2026-02-27 15:32:55 → tromp joins (~textual@2001:1c00:3487:1b00:685c:71cf:691f:928e)
2026-02-27 15:35:14 × housemate quits (~housemate@202.7.248.67) (Ping timeout: 248 seconds)
2026-02-27 15:39:34 → karenw joins (~karenw@user/karenw)
2026-02-27 15:42:28 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
2026-02-27 15:42:38 → philopsos1 joins (~caecilius@user/philopsos)
2026-02-27 15:44:30 → jmcantrell_ joins (~weechat@user/jmcantrell)
2026-02-27 15:45:17 × tydes quits (~tydes@user/ttydes) (Ping timeout: 272 seconds)
2026-02-27 15:51:25 → spew joins (~spew@user/spew)
2026-02-27 15:54:42 × Googulator69 quits (~Googulato@team.broadbit.hu) (Quit: Client closed)
2026-02-27 15:54:57 → Googulator69 joins (~Googulato@team.broadbit.hu)
2026-02-27 16:01:45 × jonnie quits (~jonnie@user/jonnie) (Remote host closed the connection)
2026-02-27 16:02:58 → jonnie joins (~jonnie@user/jonnie)
2026-02-27 16:06:00 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 245 seconds)
2026-02-27 16:10:26 × fgarcia quits (~lei@user/fgarcia) (Ping timeout: 248 seconds)
2026-02-27 16:18:57 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
2026-02-27 16:19:52 → Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net)
2026-02-27 16:21:37 × Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Client Quit)
2026-02-27 16:30:01 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 248 seconds)
2026-02-27 16:36:14 → euphores joins (~SASL_euph@user/euphores)
2026-02-27 16:46:54 × spew quits (~spew@user/spew) (Quit: nyaa~)
2026-02-27 16:52:20 → morj_away joins (~morj@user/morj)
←Prev  Next→
Page 1 .. 17645 17646 17647 17648 17649 17650 17651 17652 17653 17654 17655 .. 17970

All times are in UTC.