Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 373 374 375 376 377 378 379 380 381 382 383 .. 5022
— 502,152 events total
2020-10-02 18:23:25 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 240 seconds)
2020-10-02 18:23:48 → ubert joins (~Thunderbi@91.141.3.51.wireless.dyn.drei.com)
2020-10-02 18:24:34 → frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-02 18:25:00 → jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2020-10-02 18:25:00 × jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2020-10-02 18:25:00 → jle` joins (~mstksg@unaffiliated/mstksg)
2020-10-02 18:26:22 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-02 18:26:45 × HaskellYogi quits (~vivekrama@49.207.202.80) (Remote host closed the connection)
2020-10-02 18:27:23 → HaskellYogi joins (~vivekrama@49.207.202.80)
2020-10-02 18:27:58 hackage acc 0.1.2 - Sequence optimized for monoidal construction and folding https://hackage.haskell.org/package/acc-0.1.2 (NikitaVolkov)
2020-10-02 18:30:07 × Tops22 quits (~Tobias@dyndsl-095-033-022-004.ewe-ip-backbone.de) (Quit: Leaving.)
2020-10-02 18:31:20 × machinedgod quits (~machinedg@45.78.189.122) (Quit: Lost terminal)
2020-10-02 18:32:03 × thir quits (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-02 18:32:24 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 258 seconds)
2020-10-02 18:32:43 × HaskellYogi quits (~vivekrama@49.207.202.80) (Ping timeout: 260 seconds)
2020-10-02 18:33:24 → ThaEwat joins (thaewraptm@gateway/shell/matrix.org/x-mopjnwlxyxbzydyc)
2020-10-02 18:34:32 → zaquest joins (~notzaques@5.128.210.178)
2020-10-02 18:35:45 → machinedgod joins (~machinedg@45.78.189.122)
2020-10-02 18:38:56 → thir joins (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de)
2020-10-02 18:39:28 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-02 18:39:50 → johnw joins (~johnw@haskell/developer/johnw)
2020-10-02 18:40:22 × ping quits (~niko@freenode/staff/ubuntu.member.niko) (Quit: leaving)
2020-10-02 18:41:49 → niko joins (~niko@freenode/staff/ubuntu.member.niko)
2020-10-02 18:43:22 × Franciman quits (~francesco@host-212-171-42-250.pool212171.interbusiness.it) (Ping timeout: 246 seconds)
2020-10-02 18:46:47 → jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2020-10-02 18:46:47 × jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2020-10-02 18:46:47 → jle` joins (~mstksg@unaffiliated/mstksg)
2020-10-02 18:49:04 → Franciman joins (~francesco@host-212-171-42-250.pool212171.interbusiness.it)
2020-10-02 18:50:43 × machinedgod quits (~machinedg@45.78.189.122) (Ping timeout: 246 seconds)
2020-10-02 18:54:22 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-02 18:55:36 × NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Quit: WeeChat 2.9)
2020-10-02 18:56:14 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 256 seconds)
2020-10-02 18:56:25 → NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur)
2020-10-02 18:59:03 × Franciman quits (~francesco@host-212-171-42-250.pool212171.interbusiness.it) (Quit: Leaving)
2020-10-02 18:59:29 → Franciman joins (~francesco@host-212-171-42-250.retail.telecomitalia.it)
2020-10-02 19:00:19 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-02 19:00:24 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 19:00:42 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-02 19:00:43 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-02 19:02:03 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-qegeokaunvltnjjt) (Quit: Connection closed for inactivity)
2020-10-02 19:04:30 → geekosaur joins (42d52102@66.213.33.2)
2020-10-02 19:05:00 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-02 19:05:37 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-02 19:06:42 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 19:07:33 × chappi quits (~swaroop@157.49.95.64) (Remote host closed the connection)
2020-10-02 19:08:11 × Franciman quits (~francesco@host-212-171-42-250.retail.telecomitalia.it) (Ping timeout: 260 seconds)
2020-10-02 19:11:11 <frdg> with lenses what is the nicest way to `get, apply a function, set`?
2020-10-02 19:12:20 → avdb joins (~avdb@ip-213-49-123-208.dsl.scarlet.be)
2020-10-02 19:12:24 <ghoulguy> frdg: over
2020-10-02 19:12:49 <frdg> okay thank you
2020-10-02 19:14:25 → dhil joins (~dhil@11.29.39.217.dyn.plus.net)
2020-10-02 19:15:43 <solonarv> frdg: or %~ as an operator
2020-10-02 19:15:59 × thir quits (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-02 19:16:11 → thir joins (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de)
2020-10-02 19:16:15 × thir quits (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-02 19:19:30 × avdb quits (~avdb@ip-213-49-123-208.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-02 19:20:03 → Franciman joins (~francesco@host-212-171-42-250.pool212171.interbusiness.it)
2020-10-02 19:21:46 <frdg> solonarv: I have never seen a non-binary operator.
2020-10-02 19:22:11 <koz_> frdg: GHC allows you to define unary postfix operators I think?
2020-10-02 19:22:18 <solonarv> fear not, %~ still isn't a ternary operator
2020-10-02 19:22:22 <koz_> Not many folks do it, but I think it's technically possible.
2020-10-02 19:23:01 <ghoulguy> > let (!) = "wow" in (+) ++ (+)
2020-10-02 19:23:03 <lambdabot> error:
2020-10-02 19:23:03 <lambdabot> • Couldn't match expected type ‘[a]’
2020-10-02 19:23:03 <lambdabot> with actual type ‘a0 -> a0 -> a0’
2020-10-02 19:23:07 <ghoulguy> :(
2020-10-02 19:23:17 <solonarv> 'lens %~ func' is a function again; commonly it's applied using & which is a flipped version of $
2020-10-02 19:23:25 <lordcirth_> ghoulguy, ... what did you expect that to do?
2020-10-02 19:23:35 <ghoulguy> > let (!) = "wow" in (!) ++ (!)
2020-10-02 19:23:35 <frdg> ohh I see what is going on there
2020-10-02 19:23:37 <lambdabot> "wowwow"
2020-10-02 19:23:58 <geekosaur> PostfixOperators extension is a thing, yes
2020-10-02 19:23:58 <solonarv> e.g.: bigRecord & lenses.here %~ func
2020-10-02 19:24:49 <geekosaur> of curse it plays oddly with operator section syntax, like unary negation does
2020-10-02 19:25:03 <geekosaur> *of course
2020-10-02 19:25:20 <geekosaur> although "curse" might also describe it :)
2020-10-02 19:28:26 <cohn> any Wreq gurus around?
2020-10-02 19:28:34 <ghoulguy> lordcirth_: to show that there are non-function operator symbols
2020-10-02 19:28:38 <Uniaika> (~) of irrefutable pattern is technique a non-binary operator
2020-10-02 19:28:42 <Uniaika> (I love that term)
2020-10-02 19:28:48 <Uniaika> (but I'll call it "unary")
2020-10-02 19:29:26 <geekosaur> "technically"? ("technique" seems wrong there)
2020-10-02 19:29:26 <lordcirth_> ghoulguy, is it really an operator if it's just a value?
2020-10-02 19:29:45 <ghoulguy> lordcirth_: being a value is more general than being a function
2020-10-02 19:29:55 <ghoulguy> being composed of symbols like that is what makes something an operator symbol
2020-10-02 19:30:14 <ghoulguy> The "binary" aspect comes from being used in an infix position
2020-10-02 19:30:38 <lordcirth_> Just a concrete value, then
2020-10-02 19:30:39 <ghoulguy> but that's about the syntax at the use-site, not the thing itself
2020-10-02 19:30:51 <ghoulguy> "concrete value" doesn't really mean anything
2020-10-02 19:30:59 <lordcirth_> value of concrete kind?
2020-10-02 19:31:09 <lordcirth_> To me an operator has to operate on something, that is, take at least one argument
2020-10-02 19:31:15 <ghoulguy> concrete doesn't really mean anything, what are you hoping to get to?
2020-10-02 19:31:30 <lordcirth_> "concrete" is usually how people pronouce the kind "*", AFAIK
2020-10-02 19:31:44 <lordcirth_> As opposed to kind "* -> *"
2020-10-02 19:31:48 <ghoulguy> maybe some do, but that's not an official thing
2020-10-02 19:31:50 <Uniaika> geekosaur: yeah, I just switched to french and forgot to end the adverb
2020-10-02 19:32:15 <ghoulguy> lordcirth_: Maybe the term you mean is just "non-function"?
2020-10-02 19:32:33 <lordcirth_> A non-function value, yes
2020-10-02 19:32:52 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-10-02 19:32:55 → coot_ joins (~coot@37.30.49.34.nat.umts.dynamic.t-mobile.pl)
←Prev  Next→
Page 1 .. 373 374 375 376 377 378 379 380 381 382 383 .. 5022

All times are in UTC.