Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17678 17679 17680 17681 17682 17683 17684 17685 17686 17687 17688 .. 17913
— 1,791,270 events total
2026-03-04 19:55:36 <lambdabot> not an expression: β€˜let binOp f = push f . apply . apply’
2026-03-04 19:55:46 <aka_dude> > :let binOp f = push f . apply . apply
2026-03-04 19:55:47 <lambdabot> <hint>:1:1: error: parse error on input `:'
2026-03-04 19:56:08 Digitteknohippie is now known as Digit
2026-03-04 19:56:08 <aka_dude> :let binOp f = push f . apply . apply
2026-03-04 19:56:17 <aka_dude> uh huh
2026-03-04 19:56:43 <aka_dude> run (push 1 . push 2 . binOp (+) . push 3 . binOp (*))
2026-03-04 19:56:56 <Clint> what are you trying to do?
2026-03-04 19:56:58 <aka_dude> πŸ™„
2026-03-04 19:57:01 <aka_dude> > run (push 1 . push 2 . binOp (+) . push 3 . binOp (*))
2026-03-04 19:57:02 <lambdabot> Variable not in scope: run :: (a2 -> c0) -> tVariable not in scope: push :: ...
2026-03-04 19:57:24 DetourNe- is now known as DetourNetworkUK
2026-03-04 19:57:24 <aka_dude> Trying to play with the bot... Is the GHCi session not shared?
2026-03-04 19:57:50 <geekosaur> it's shared. but it's not ghci
2026-03-04 19:58:06 <geekosaur> if you want an actual ghci, see yahb2 (% prefix)
2026-03-04 19:58:31 <geekosaur> and the way you'd define run in lambdabot is with @let
2026-03-04 19:58:54 <monochrom> Also, push apply etc are not built-in. Someone has to define them first.
2026-03-04 19:59:03 <c_wraith> But do note that anyone can clear things defined with @let at any time.
2026-03-04 19:59:14 β†’ wootehfoot joins (~wootehfoo@user/wootehfoot)
2026-03-04 19:59:27 <aka_dude> Of course, it's shared after all
2026-03-04 19:59:33 <geekosaur> someone defined them yesterday
2026-03-04 19:59:41 <mauke> % :edit
2026-03-04 19:59:43 Γ— merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 19:59:44 <geekosaur> which probably means they got @undefine-d overnight
2026-03-04 19:59:54 <aka_dude> Ah
2026-03-04 19:59:54 <chromoblob> they were "defined" inside a let ... in
2026-03-04 20:00:12 <geekosaur> oh, whoops
2026-03-04 20:00:20 <geekosaur> % 1
2026-03-04 20:00:20 <yahb2> 1
2026-03-04 20:00:31 <geekosaur> apparently :edit got spiked ☺
2026-03-04 20:00:50 <monochrom> Eventually you will realize that running your own ghci on your own computer is the most robust. Every convenient lightweight tool becomes a fragile toy.
2026-03-04 20:00:53 <geekosaur> (probably EDITOR=/bin/true or something)
2026-03-04 20:01:16 <aka_dude> % :show bindings
2026-03-04 20:01:16 <yahb2> type Nat :: * ; data Nat = ... ; type Xワ :: * ; data Xワ = ... ; it :: Num a => a = _ ; instance [safe] Ord Nat ; instance [safe] Eq Nat ; instance [safe] Show Nat ; instance [safe] Num Nat
2026-03-04 20:01:35 <aka_dude> Ahaha wow
2026-03-04 20:01:57 <aka_dude> :info Xワ
2026-03-04 20:02:05 <aka_dude> % :info Xワ
2026-03-04 20:02:05 <yahb2> type Xワ :: * ; data Xワ = Xワ ; -- Defined at <interactive>:21:1
2026-03-04 20:02:16 <mauke> % :cd ..
2026-03-04 20:02:46 <monochrom> cf. the tragedy of the commons
2026-03-04 20:02:46 <aka_dude> A Clingon speaker must have defined these, I see
2026-03-04 20:03:12 <EvanR> haskell is best written in the original klingon
2026-03-04 20:04:49 <Rembane> Something like this I reckon: https://aphyr.com/posts/342-typing-the-technical-interview
2026-03-04 20:07:52 <monochrom> push apply etc were using CPS to emulate a stack.
2026-03-04 20:08:02 <geekosaur> that was left over from someone experimenting with hiragana symbols and discovering that, being caseless, they can't be used as constructor or type names
2026-03-04 20:09:15 <ncf> katakana
2026-03-04 20:10:22 β†’ merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-04 20:10:35 <aka_dude> % :t id.id
2026-03-04 20:10:35 <yahb2> id.id :: c -> c
2026-03-04 20:11:56 <mauke> :t id `id` id
2026-03-04 20:11:57 <lambdabot> a -> a
2026-03-04 20:12:09 <monochrom> @quote monochrom 17
2026-03-04 20:12:09 <lambdabot> monochrom says: I am 17-ary, going on 18-ary, I can take curry of you
2026-03-04 20:12:32 <EvanR> :t ego
2026-03-04 20:12:33 <lambdabot> t
2026-03-04 20:15:14 Γ— merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 20:17:21 β†’ merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-04 20:20:08 Γ— xnyhps quits (~xnyhps@s.xnyhps.nl) (Ping timeout: 268 seconds)
2026-03-04 20:22:09 Γ— merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-04 20:28:00 Γ— fn_lumi quits (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 264 seconds)
2026-03-04 20:28:30 β†’ merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-04 20:29:04 β†’ fn_lumi joins (3d621153a5@2a03:6000:1812:100::df7)
2026-03-04 20:30:01 Γ— ouilemur quits (~jgmerritt@user/ouilemur) (Ping timeout: 272 seconds)
2026-03-04 20:31:49 β†’ ouilemur joins (~jgmerritt@user/ouilemur)
2026-03-04 20:32:58 Γ— weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
2026-03-04 20:33:27 Γ— merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 20:36:06 <monochrom> > ego 5
2026-03-04 20:36:14 <lambdabot> *Exception: <<timeout>>
2026-03-04 20:36:18 <monochrom> :)
2026-03-04 20:36:59 <int-e> @undef
2026-03-04 20:36:59 <lambdabot> Undefined.
2026-03-04 20:37:01 <int-e> :t ego
2026-03-04 20:37:02 <lambdabot> error: [GHC-88464] Variable not in scope: ego
2026-03-04 20:37:06 <monochrom> :(
2026-03-04 20:38:20 <monochrom> On the bright side, "@define x=0" is auto-corrected to "@undefine" so it is like the data structure that supports only delete. >:)
2026-03-04 20:42:56 β†’ pavonia joins (~user@user/siracusa)
2026-03-04 20:44:19 β†’ merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-04 20:45:19 Γ— vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds)
2026-03-04 20:49:22 Γ— merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-04 20:53:33 β†’ xnyhps joins (~xnyhps@s.xnyhps.nl)
2026-03-04 20:55:54 β†’ mange joins (~mange@user/mange)
2026-03-04 20:58:36 Γ— takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 268 seconds)
2026-03-04 20:59:10 Γ— Googulator46 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed)
2026-03-04 20:59:35 β†’ Googulator46 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu)
2026-03-04 21:00:04 β†’ merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-04 21:05:07 Γ— merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-04 21:10:04 Γ— target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-03-04 21:15:47 β†’ merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-04 21:18:09 β†’ weary-traveler joins (~user@user/user363627)
2026-03-04 21:18:18 Γ— Googulator46 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed)
2026-03-04 21:18:32 β†’ Googulator46 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu)
2026-03-04 21:20:38 β†’ vanishingideal joins (~vanishing@user/vanishingideal)
2026-03-04 21:20:42 Γ— merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 21:27:20 β†’ emmanuelux joins (~em@user/emmanuelux)
2026-03-04 21:35:42 Γ— Googulator46 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed)
2026-03-04 21:36:00 β†’ Googulator46 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu)
2026-03-04 21:39:08 Γ— gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2026-03-04 21:42:15 β†’ ec joins (~ec@gateway/tor-sasl/ec)
2026-03-04 21:44:25 β†’ gabiruh joins (~gabiruh@191.252.222.55)
2026-03-04 21:46:55 β†’ merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
←Prev  Next→
Page 1 .. 17678 17679 17680 17681 17682 17683 17684 17685 17686 17687 17688 .. 17913

All times are in UTC.