Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 552 553 554 555 556 557 558 559 560 561 562 .. 5022
— 502,152 events total
2020-10-10 06:54:07 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 06:54:47 × shatrif__ quits (~vitaliish@78.111.190.16) (Read error: Connection reset by peer)
2020-10-10 06:55:21 → shatriff joins (~vitaliish@78.111.190.16)
2020-10-10 06:55:50 → mrafiee joins (~mrafiee@84.39.117.57)
2020-10-10 07:09:03 × stree quits (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-10 07:09:21 → stree joins (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net)
2020-10-10 07:09:54 → Icewing joins (~Icewing@unaffiliated/icewing)
2020-10-10 07:12:57 × Icewing quits (~Icewing@unaffiliated/icewing) (Client Quit)
2020-10-10 07:15:06 × mirrorbird quits (~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Quit: Leaving)
2020-10-10 07:16:46 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-10 07:20:05 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Ping timeout: 260 seconds)
2020-10-10 07:21:15 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-10 07:27:34 → nineonin_ joins (~nineonine@50.216.62.2)
2020-10-10 07:27:54 → HaskellYogi joins (~vivekrama@49.207.201.29)
2020-10-10 07:30:05 × nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 240 seconds)
2020-10-10 07:31:05 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 07:33:26 → danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-10 07:34:39 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 07:34:40 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-10 07:34:49 → GyroW joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-10 07:34:49 × GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-10 07:34:49 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-10 07:37:40 → z0 joins (~z0@bl15-167-177.dsl.telepac.pt)
2020-10-10 07:38:53 <z0> i just found out you can have infix arguments: f (><) x = x >< x ; f (+) 3 => 6 ; f (*) 3 => 9
2020-10-10 07:40:40 → knupfer joins (~Thunderbi@200116b824272b00e02273e6d9c824b5.dip.versatel-1u1.de)
2020-10-10 07:41:04 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-10 07:42:17 × polyrain quits (~polyrain@2001:8003:e501:6901:44df:4585:3f4:a65c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-10 07:44:09 <dminuoso> z0: How is that infix arguments?
2020-10-10 07:44:21 <dminuoso> And, what is an "infix argument" even?
2020-10-10 07:45:28 hackage metro 0.1.0.4 - A simple tcp and udp socket server framework https://hackage.haskell.org/package/metro-0.1.0.4 (Lupino)
2020-10-10 07:45:55 <dminuoso> Oh.
2020-10-10 07:46:03 × xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection)
2020-10-10 07:46:14 <dminuoso> It felt so intuitive, I didn't even notice what you did there.
2020-10-10 07:46:28 <dminuoso> z0: What's also cool, is that you can have infix data constructors :)
2020-10-10 07:48:17 <z0> dminuoso: yup :) i didnt know how to call it besides infix arguments
2020-10-10 07:48:47 <dminuoso> operator arguments maybe?
2020-10-10 07:49:56 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-10 07:50:37 <z0> that makes more sense
2020-10-10 07:51:49 × HaskellYogi quits (~vivekrama@49.207.201.29) (Ping timeout: 260 seconds)
2020-10-10 07:52:11 <dminuoso> z0: Somewhat relatedly, one can define fixity declarations for non-operator variables/data construtors as well. :)
2020-10-10 07:55:13 <z0> dminuoso: ha, i never thought of that! but how could you not
2020-10-10 07:56:25 <ski> > let f (><) x = x + x >< x ^ x where infixl 7 >< in f (*) 2 -- :(
2020-10-10 07:56:28 <lambdabot> error:
2020-10-10 07:56:28 <lambdabot> The fixity signature for ‘><’ lacks an accompanying binding
2020-10-10 07:56:28 <lambdabot> (The fixity signature must be given where ‘><’ is declared)
2020-10-10 07:57:19 <dminuoso> % infix 6 `f`; f = (+) -- z0
2020-10-10 07:57:19 <yahb> dminuoso:
2020-10-10 07:58:35 <ski> % :i div
2020-10-10 07:58:36 <yahb> ski: type Integral :: * -> Constraint; class (Real a, Enum a) => Integral a where; ...; div :: a -> a -> a; ...; -- Defined in `GHC.Real'; infixl 7 `div`
2020-10-10 07:58:56 <dminuoso> % infixr 5 `Cons`; data List a = Nil | Cons a (List a) deriving Show
2020-10-10 07:58:56 <yahb> dminuoso:
2020-10-10 07:59:03 <dminuoso> % 1 `Cons` 2 `Cons` 3 `Cons` Nil -- z0
2020-10-10 07:59:03 <yahb> dminuoso: Cons 1 (Cons 2 (Cons 3 Nil))
2020-10-10 07:59:36 <z0> is it impossible to define fixity for operator arguments?
2020-10-10 07:59:45 <dminuoso> Mmm, I think not
2020-10-10 08:00:15 <dminuoso> I'd have to study the grammar to be sure though
2020-10-10 08:00:19 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-10-10 08:00:25 <ski> > let f g x = x + x >< x ^ x where infixl 7 ><; (><) = g in f (*) 2 -- is possible
2020-10-10 08:00:29 <lambdabot> 10
2020-10-10 08:00:35 <dminuoso> Oh.
2020-10-10 08:00:44 <dminuoso> Right, because it's a declaration then
2020-10-10 08:01:17 <ski> i'm not sure whether you could associate a fixity declaration to a variable bound by a pattern in a function definition definiendum, though
2020-10-10 08:02:09 <z0> ski: yeah, that's what i got from your first example
2020-10-10 08:02:10 <ski> > let f (let infixl 7 >< in (><)) x = x + x >< x ^ x in f (*) 2 -- no workee
2020-10-10 08:02:13 <lambdabot> <hint>:1:8: error:
2020-10-10 08:02:13 <lambdabot> <hint>:1:8: error: (let ... in ...)-syntax in pattern
2020-10-10 08:04:58 <ski> mm. for some reason the derived `Show' (and `Read') instances doesn't really seem to take fixity (as opposed to precedence) into account. and not using the infix form, either, of a non-operator constructor identifier, despite having a fixity&precedence declaration in scope at the point of the deriving request
2020-10-10 08:05:17 <ski> % deriving instance Read a => Read (List a)
2020-10-10 08:05:17 <yahb> ski:
2020-10-10 08:05:40 <ski> % (reads :: ReadS (List Int)) "1 `Cons` 2 `Cons` 3 `Cons` Nil"
2020-10-10 08:05:41 <yahb> ski: []
2020-10-10 08:06:28 <ski> (i thought that maybe the `Read' instance would at least accept it, as an alternative syntax. but i guess it doesn't. probably doesn't feel the need to, since the derived `Show' instance can't generate output of that form)
2020-10-10 08:06:28 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-10 08:06:28 × nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-10 08:06:28 × proteusguy quits (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) (Ping timeout: 260 seconds)
2020-10-10 08:06:54 <ski> % (reads :: ReadS (List Int)) "1 `Cons` (2 `Cons` (3 `Cons` Nil))"
2020-10-10 08:06:54 <yahb> ski: []
2020-10-10 08:07:04 → nados joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 08:07:15 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-10 08:07:49 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 08:10:37 → shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:fc55:7103:1b55:f700)
2020-10-10 08:12:26 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-10 08:12:59 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-10 08:13:27 hackage hs-server-starter 0.1.2.0 - Write a server supporting Server::Starter's protocol in Haskell https://hackage.haskell.org/package/hs-server-starter-0.1.2.0 (hiratara)
2020-10-10 08:13:54 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-10 08:14:28 hackage nri-prelude 0.1.0.3 - A Prelude inspired by the Elm programming language https://hackage.haskell.org/package/nri-prelude-0.1.0.3 (JasperWoudenberg)
2020-10-10 08:14:48 → HaskellYogi joins (~vivekrama@49.207.201.29)
2020-10-10 08:18:04 → proteusguy joins (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th)
2020-10-10 08:19:23 × HaskellYogi quits (~vivekrama@49.207.201.29) (Ping timeout: 240 seconds)
2020-10-10 08:19:25 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-10 08:20:18 × taurux quits (~taurux@net-188-152-137-210.cust.dsl.teletu.it) (Read error: Connection reset by peer)
2020-10-10 08:20:56 → HaskellYogi joins (~vivekrama@49.207.201.29)
2020-10-10 08:21:04 × jedws quits (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-10 08:21:09 → taurux joins (~taurux@net-130-25-214-84.cust.vodafonedsl.it)
2020-10-10 08:21:45 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 08:21:54 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-10-10 08:25:05 × HaskellYogi quits (~vivekrama@49.207.201.29) (Ping timeout: 240 seconds)
2020-10-10 08:26:29 → inerkick joins (~rohit@117.230.159.179)
2020-10-10 08:26:43 × shatriff quits (~vitaliish@78.111.190.16) (Remote host closed the connection)
2020-10-10 08:26:56 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
←Prev  Next→
Page 1 .. 552 553 554 555 556 557 558 559 560 561 562 .. 5022

All times are in UTC.