Logs: freenode/#haskell
| 2021-04-11 21:08:23 | <maerwald> | oh dear |
| 2021-04-11 21:08:29 | <maerwald> | I'm confused now too :D |
| 2021-04-11 21:08:40 | <monochrom> | What is "Something Something" supposed to mean? |
| 2021-04-11 21:08:51 | <monochrom> | And why is it so necessary? |
| 2021-04-11 21:08:58 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 21:09:00 | <maerwald> | it sounds like an assignment |
| 2021-04-11 21:09:17 | <maerwald> | define Something Something |
| 2021-04-11 21:09:49 | <m_miro> | "Something Something" is supposed to be to "commands" in sequence |
| 2021-04-11 21:09:52 | <maerwald> | Maybe better start with Motivation? |
| 2021-04-11 21:09:55 | <m_miro> | it is an assignment |
| 2021-04-11 21:10:19 | <monochrom> | OK I want to see the assignment handout verbatim uncut unabridged uninterpreted. |
| 2021-04-11 21:10:47 | <maerwald> | just because you want to reuse it :p |
| 2021-04-11 21:11:00 | <monochrom> | Nah. |
| 2021-04-11 21:11:27 | <monochrom> | It is because every student misinterprets the assignment handout. |
| 2021-04-11 21:11:47 | <monochrom> | And/or create a creative chain of XY problems out of it. |
| 2021-04-11 21:11:57 | <monochrom> | here "creative" is derogative. |
| 2021-04-11 21:12:06 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-11 21:14:11 | <m_miro> | here's the assignment |
| 2021-04-11 21:14:12 | <m_miro> | https://imgur.com/a/aflD108 |
| 2021-04-11 21:14:23 | <m_miro> | oh wait it cut it |
| 2021-04-11 21:14:56 | <m_miro> | https://imgur.com/a/FZpqSPt |
| 2021-04-11 21:16:15 | <monochrom> | I trust that you already understand that you use one data constructor to stand for, for example, "moveto". |
| 2021-04-11 21:16:23 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-11 21:16:36 | <monochrom> | In the case of "cmd; cmd", you use one data constructor to represent the ";". |
| 2021-04-11 21:18:15 | <monochrom> | I trust that you have seen examples where you use "data E = I Integer | Add E E" because it represents "expr ::= integer | expr + expr", "Add" stands for the "+" there. |
| 2021-04-11 21:18:23 | <monochrom> | So it's similar for ";". |
| 2021-04-11 21:18:53 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 21:18:56 | <m_miro> | Yes I used one data constructor to stand for "moveto" |
| 2021-04-11 21:19:44 | <m_miro> | I didn't think of representing the ";" as a data constructor |
| 2021-04-11 21:20:59 | × | srk quits (~sorki@unaffiliated/srk) (Ping timeout: 260 seconds) |
| 2021-04-11 21:21:17 | <m_miro> | I've seen example like the one you posted it just didn't think to use it for ";" |
| 2021-04-11 21:21:54 | <monochrom> | It's alright, C and Python brainwashed you to not realize it. |
| 2021-04-11 21:22:11 | <m_miro> | What do you mean? |
| 2021-04-11 21:22:29 | <monochrom> | Pascal did it right. Pascal's semicolon is between two commands. |
| 2021-04-11 21:22:56 | <monochrom> | You write like "x:=1 ; y:=2 ; z:=x+y", not "x:=1 ; y:=2 ; z:=x+y;" |
| 2021-04-11 21:23:52 | <monochrom> | The semantic difference is huge. Pascal reminds you that there is a binary operator for sequential composition, it is a binary operator. |
| 2021-04-11 21:25:38 | <sm2n> | confusingly, C has a binary operator for sequential composition (,) |
| 2021-04-11 21:25:44 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-04-11 21:25:51 | <sm2n> | statement-oriented languages are just weird |
| 2021-04-11 21:26:09 | <monochrom> | Sapir-Worf would be proud. |
| 2021-04-11 21:26:21 | → | Guest_11 joins (6835dcb6@104-53-220-182.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 21:26:49 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 21:29:29 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-04-11 21:29:53 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-11 21:29:55 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-11 21:31:45 | <m_miro> | im not seeing the difference |
| 2021-04-11 21:31:56 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-11 21:32:04 | <m_miro> | is it the "x+y" and the "x+y;" |
| 2021-04-11 21:32:43 | <monochrom> | OK, "cmd1 ; cmd2" vs "cmd1 ; cmd2 ;" |
| 2021-04-11 21:33:07 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-11 21:33:20 | <monochrom> | If I expressed adding two numbers as "1 + 2 +" people would say I'm crazy. |
| 2021-04-11 21:33:42 | <thblt> | Rust has something like that. `cmd1 ; cmd2 ;` evals to (), but `cmd1 ; cmd2` eval to the result of cmd2 |
| 2021-04-11 21:33:43 | <monochrom> | And that's what people decided to do with sequential-composing two jobs. |
| 2021-04-11 21:34:32 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 21:35:14 | × | Guest_11 quits (6835dcb6@104-53-220-182.lightspeed.sntcca.sbcglobal.net) (Quit: Connection closed) |
| 2021-04-11 21:35:40 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-11 21:35:51 | <d34df00d> | Is there any channel specifically dedicated to numeric haskell in general or repa in particular? |
| 2021-04-11 21:35:55 | <d34df00d> | Or best to shoot questions here? |
| 2021-04-11 21:36:03 | <m_miro> | so I see the difference, but I don't see its importance |
| 2021-04-11 21:37:10 | <monochrom> | The importance is between "I think I'll represent it as Seq Cmd Cmd" and "I think I'll represent it as Cmd Cmd". |
| 2021-04-11 21:38:15 | → | ystael joins (~ystael@209.6.50.55) |
| 2021-04-11 21:40:34 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-11 21:43:14 | → | entel joins (uid256215@botters/entel) |
| 2021-04-11 21:43:32 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-11 21:44:41 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-04-11 21:45:09 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2021-04-11 21:45:22 | → | Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-11 21:45:27 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-04-11 21:45:31 | → | ajc_ joins (~ajc@69.231.232.79) |
| 2021-04-11 21:45:58 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 21:46:35 | <m_miro> | oh i think i get it now |
| 2021-04-11 21:47:27 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 21:47:34 | <m_miro> | the ";" isnt being used as way to end a "command" but to signal that another "command" is going to be used afterwards |
| 2021-04-11 21:47:35 | × | ajc quits (~ajc@69.231.232.79) (Ping timeout: 252 seconds) |
| 2021-04-11 21:47:40 | <m_miro> | am i understanding correctly? |
| 2021-04-11 21:48:00 | → | acidjnk_new joins (~acidjnk@p200300d0c72b950365222184c91f1222.dip0.t-ipconnect.de) |
| 2021-04-11 21:48:34 | × | Sornaensis quits (~Sornaensi@102.129.202.233) (Ping timeout: 260 seconds) |
| 2021-04-11 21:49:41 | × | Sorna quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-04-11 21:52:28 | × | fendor_ quits (~fendor@91.141.0.248.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-11 21:55:52 | × | myShoggoth quits (~myShoggot@75.164.73.93) (Ping timeout: 268 seconds) |
| 2021-04-11 21:56:49 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-04-11 22:03:09 | × | m_miro quits (4c4829bb@76.72.41.187) (Quit: Connection closed) |
| 2021-04-11 22:03:18 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 240 seconds) |
| 2021-04-11 22:03:50 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 22:05:41 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-11 22:07:37 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 22:08:11 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 22:09:50 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-04-11 22:10:15 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-04-11 22:10:20 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-04-11 22:10:36 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-04-11 22:12:11 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-11 22:13:01 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-11 22:14:38 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-04-11 22:15:02 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-04-11 22:16:18 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-04-11 22:19:13 | × | jpe90 quits (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-04-11 22:22:04 | × | renzhi quits (~renzhi@2607:fa49:653f:a800::4223) (Ping timeout: 258 seconds) |
| 2021-04-11 22:23:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-11 22:25:04 | × | robotmay quits (~beepboop@2001:8b0:7af0:2580:257e:30aa:f716:dc3d) (Remote host closed the connection) |
All times are in UTC.