Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 696 697 698 699 700 701 702 703 704 705 706 .. 5022
— 502,152 events total
2020-10-17 12:46:58 → Achylles joins (~Achylles@179.111.113.1)
2020-10-17 12:46:59 × lnlsn quits (~lnlsn@189.100.212.150) (Read error: Connection reset by peer)
2020-10-17 12:47:33 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-17 12:48:05 × gawen_ quits (~gawen@movzbl.root.sx) (Quit: cya)
2020-10-17 12:48:28 → gawen joins (~gawen@movzbl.root.sx)
2020-10-17 12:48:49 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-17 12:48:50 → machinedgod joins (~machinedg@24.105.81.50)
2020-10-17 12:50:08 → revtintin joins (~revtintin@158.140.144.34)
2020-10-17 12:54:04 → dhil joins (~dhil@195.213.192.122)
2020-10-17 12:54:36 → lnlsn joins (~lnlsn@189.100.212.150)
2020-10-17 12:54:40 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-17 12:55:09 × untseac quits (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Remote host closed the connection)
2020-10-17 12:55:14 → polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-10-17 12:55:25 → Dragavnir joins (~Dragavnir@217.146.82.202)
2020-10-17 12:55:38 → untseac joins (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2020-10-17 12:59:43 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-17 13:00:09 → isBEKaml joins (~~.~@unaffiliated/isbekaml)
2020-10-17 13:05:37 × alp_ quits (~alp@2a01:e0a:58b:4920:8da2:3041:1462:f42) (Ping timeout: 272 seconds)
2020-10-17 13:09:16 × avdb quits (~avdb@ip-83-134-26-198.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-17 13:10:19 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 260 seconds)
2020-10-17 13:11:47 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 13:12:27 → JordiGH joins (jordi@octave/developer/JordiGH)
2020-10-17 13:12:51 <JordiGH> take 100 $ [fib_0*fib_3 - fib_1*fib_2 | fib_0:fib_1:fib_2:fib_3:_ <- tails fibs] where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
2020-10-17 13:12:57 <JordiGH> Why is that a syntax error?
2020-10-17 13:13:11 <JordiGH> Is it because I need newlines?
2020-10-17 13:13:20 <JordiGH> I don't understand where I can use `where`.
2020-10-17 13:13:20 → moy joins (a4b11321@static-csq-cds-019033.business.bouyguestelecom.com)
2020-10-17 13:13:45 moy is now known as Guest29616
2020-10-17 13:13:55 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-10-17 13:13:56 <ski> JordiGH : `where' attaches to definition, not expressions
2020-10-17 13:13:58 <geekosaur> `where` is part of declaration syntax, not something you can attach to just any expression
2020-10-17 13:14:12 → carlomagno joins (~cararell@inet-hqmc01-o.oracle.com)
2020-10-17 13:14:45 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-17 13:15:10 <ski> you could use `let fibs = ... in take 100 [...]'
2020-10-17 13:15:25 <JordiGH> Is that because I can use = with let but not with where?
2020-10-17 13:15:35 <JordiGH> Is that a definition or an expression?
2020-10-17 13:15:47 <ski> `let ... in ...' is an expression
2020-10-17 13:15:51 <Guest29616> Hello. Since i added sockaddr as a dependency of my stack project, stack build is displayid me an error saying i need to add a line on extra-deps field. But when i do, then it say that extra-deps field is not recognized. I dont get it :/ Herer is the error and my package.yaml :
2020-10-17 13:15:52 <Guest29616> https://pastebin.com/68kGhcKJhttps://pastebin.com/68kGhcKJhttps://pastebin.com/68kGhcKJhttps://pastebin.com/68kGhcKJ
2020-10-17 13:15:54 <JordiGH> But there's an =
2020-10-17 13:15:58 <JordiGH> An = is not a definition?
2020-10-17 13:16:11 <Guest29616> https://pastebin.com/68kGhcKJ sorry
2020-10-17 13:16:15 <ski> yes, the part between the `let' and the `in' can contain defining equations
2020-10-17 13:16:27 <ski> but the whole thing is still an expression
2020-10-17 13:16:35 <JordiGH> So expressions can contain definitions?
2020-10-17 13:16:47 <JordiGH> I can't write an expression that contains a where definition?
2020-10-17 13:16:55 <ski> (cf the expression `(let ((fibs ...)) ..fibs..)' in the Lisps)
2020-10-17 13:16:58 hackage nix-thunk 0.2.0.0 - Lightweight dependency management with Nix https://hackage.haskell.org/package/nix-thunk-0.2.0.0 (RyanTrinkle)
2020-10-17 13:17:23 <ski> you can, but then that `where' have to be attached to a defining equation (or a `case' branch), inside that expression
2020-10-17 13:17:40 <ski> you can go `let foo = ..x.. where x = ... in ..foo..'
2020-10-17 13:17:52 <JordiGH> Haskell doesn't distinguish statements from expressions, does it?
2020-10-17 13:18:06 <ski> (you can also do `case ... of x:xs -> ..x..xs..y.. where y = ..x..xs..')
2020-10-17 13:18:11 <JordiGH> Definitions seem like statements, sort of.
2020-10-17 13:18:30 <ski> definitions are not commands
2020-10-17 13:18:43 <ski> (commands are what you write after `do')
2020-10-17 13:18:44 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:a405:7897:267b:514b)
2020-10-17 13:19:06 <JordiGH> Hm, okay.
2020-10-17 13:19:34 <ski> (statements, i'd say, is what you write in Prolog. like `mother(bob,eliza).')
2020-10-17 13:19:38 JordiGH = https://www.youtube.com/watch?v=KdxEAt91D7k
2020-10-17 13:19:55 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-10-17 13:20:29 <ski> (statements of fact, and conditional statements like "Mothers are parents.", `parent(Person,Mother) :- mother(Person,Mother).')
2020-10-17 13:22:04 <JordiGH> I think I'm trying to picture Haskell syntax as sexps and failing.
2020-10-17 13:22:15 × Guest29616 quits (a4b11321@static-csq-cds-019033.business.bouyguestelecom.com) (Remote host closed the connection)
2020-10-17 13:22:57 <JordiGH> And I thought "do" wasn't a real thing, just some kind of sugar for something else.
2020-10-17 13:23:08 × ephemera_ quits (~E@122.34.1.187) (Remote host closed the connection)
2020-10-17 13:23:27 <JordiGH> Like, you could translate every "do" into something else that didn't require, uh, "commands".
2020-10-17 13:23:33 <geekosaur> it is sugar. I would have described it more that the inside of a do pretends to be commands
2020-10-17 13:23:39 <JordiGH> So, do is just a reader macro.
2020-10-17 13:23:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-17 13:24:00 <geekosaur> but trying to shoehorn haskell into scheme syntax won't get you very far, I think
2020-10-17 13:24:26 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 13:24:41 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-17 13:25:00 <geekosaur> I mean,in some sense typeclasses are also sugar, but you can't do it with a reader macro
2020-10-17 13:25:35 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-17 13:25:40 <ski> `do ...' itself is an expression, yes
2020-10-17 13:26:21 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-17 13:28:08 <ski> (there has been `do'-macros defined in Scheme, fwiw ..)
2020-10-17 13:28:52 × lnlsn quits (~lnlsn@189.100.212.150) (Ping timeout: 258 seconds)
2020-10-17 13:30:01 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-10-17 13:30:31 × Dragavnir quits (~Dragavnir@217.146.82.202) (Remote host closed the connection)
2020-10-17 13:30:38 × brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Quit: WeeChat 2.9)
2020-10-17 13:31:47 → lnlsn joins (~lnlsn@2804:14c:2b:891d::1007)
2020-10-17 13:32:09 → whald joins (~trem@2a02:810a:8100:11a6:6d28:5eff:640c:9eda)
2020-10-17 13:33:41 × lep-delete quits (~lep@94.31.82.44) (Read error: Connection reset by peer)
2020-10-17 13:33:59 → lep-delete joins (~lep@94.31.82.44)
2020-10-17 13:36:50 <JordiGH> I'm identifying so hard right now with that kid who can't subtract.
2020-10-17 13:38:59 × ephemera_ quits (~E@122.34.1.187) (Read error: Connection reset by peer)
2020-10-17 13:39:19 → nyd joins (~lpy@unaffiliated/elysian)
2020-10-17 13:39:54 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 13:40:04 → neefany joins (4d283e9e@77.40.62.158)
2020-10-17 13:40:09 <ski> the syntax ?
2020-10-17 13:40:17 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-17 13:40:36 → ensyde joins (~ensyde@2600:1702:2e30:1a40:584e:1c7e:e97b:16d2)
2020-10-17 13:42:28 × Icewing quits (~Icewing@unaffiliated/icewing) (Ping timeout: 272 seconds)
2020-10-17 13:44:55 × ensyde quits (~ensyde@2600:1702:2e30:1a40:584e:1c7e:e97b:16d2) (Ping timeout: 240 seconds)
2020-10-17 13:46:53 × geekosaur quits (ac3a8c49@172.58.140.73) (Remote host closed the connection)
2020-10-17 13:47:05 → Jonkimi727406120 joins (~Jonkimi@223.213.79.20)
2020-10-17 13:47:29 × neefany quits (4d283e9e@77.40.62.158) (Remote host closed the connection)
2020-10-17 13:50:40 × Rudd0^ quits (~Rudd0@185.189.115.98) (Ping timeout: 246 seconds)
2020-10-17 13:51:23 × reallymemorable quits (~quassel@ip68-9-215-56.ri.ri.cox.net) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 696 697 698 699 700 701 702 703 704 705 706 .. 5022

All times are in UTC.