13:16:30 From Gabriel Borglund : The sound went away for me 13:16:31 From Torben Nordtorp : You muted yourself 13:16:33 From Karl Hallsby : You've muted yourself 13:16:33 From Joel Bäcker : You muted your mic 13:16:45 From Gabriel Borglund : Yes 13:16:46 From Torben Nordtorp : Yes 13:17:28 From Farjam Movahedi : I got my "fixed" 13:17:30 From Joel Bäcker : Will the assignments be on the course page? 13:20:00 From Karl Hallsby : Should else be indented to same column as the "if" or to the "then"? Emacs haskell-mode puts the "else" on the same column as the "if" 13:24:34 From Gabriel Borglund : What does export mean in this context? 13:25:02 From Gabriel Borglund : Okay thank you! 13:30:08 From Tim Djärf : May I make a request, I have been looking at the old recordings as well as the group logs for the same recordings. Would you please read out all questions as you reply to them? it is very hard to piece together which questions belongs to which answer. 13:30:50 From Gabriel Borglund : What does import A as B(x) mean? 13:31:00 From Gabriel Borglund : Is just x from A imported? 13:31:11 From Tim Djärf : thank you 13:33:11 From Herobrine : Haskell ain't OOP, so it's harder to learn 13:39:45 From Torben Nordtorp : The "name :: Type -> Type" thing that seems to come up a lot. Is it something you need to write out or is it more like a comment? Is it inferred from the function assignment? 13:41:19 From Herobrine : So we can write a function without those? 13:42:15 From Alexander : is it ”good manners” do declare variable types as well? 13:43:36 From Alexander : assignments 13:43:46 From Alexander : oups 13:43:54 From Alexander : but with ”let” for example 13:44:06 From Alexander : nevermind:) 13:44:06 From Hannes : Only example I can think of is adding "s" on variables that may contain multiple items, e.g. "ns" for a list of integers 13:44:42 From Herobrine : I don't see "name :: a -> b" on the list. Does it count as "id"? 13:44:52 From Hannes : And yeah I think it's considered good manners to include typing in the definition 13:45:32 From Hannes : That's at least what Hutton's book says 13:46:08 From Torben Nordtorp : the "name" was just an example from my part, meaning any name 13:46:31 From Edvin : in the const case, if b -> a is the return type, why not write (b -> a) to make it easier to read? So the full thing would be: a -> (b -> a) 13:47:06 From William Karlsson : Why does curry not look like ((a, b) -> c) -> (a -> b -> c) ? The distinction between argument and return looks ambiguous to me 13:47:43 From Hugo Mattsson : What a function returns is the last part of the type signature 13:48:00 From William Karlsson : which implies that curry returns c 13:48:07 From William Karlsson : which is false, no? 13:48:29 From Karl Hallsby : @Edvis @William Karlsson, it's because the -> symbol is usually right-associative. Ch. 3.6, Curried Functions in Hutton's book. 13:49:56 From Hugo Mattsson : I retract my previous statement :D 13:50:14 From Herobrine : So $ is redundant to write? We can write f x (g y) and it automatically applies $ ? 13:50:14 From sanctified : your mic just went muffled 13:50:23 From Torben Nordtorp : are you holding your hand on the mic? 13:50:26 From sanctified : better now :) 13:56:38 From Gabriel Borglund : Is infixr the function mapping the precedence of a function? 13:58:28 From Hannes : What precedence do user-defined operators get by default? 14:24:58 From Hugo Mattsson : It applies to EDAN40, that's all I care about really. I'll leave the rest for someone else to answer. 14:27:25 From Alexander : How does one ”get” from a maybe? 14:27:40 From Alexander : or a ”Just” rather 14:28:00 From Hugo Mattsson : there are functions such as fromMaybe, fromJust 14:28:12 From Alexander : cool:) 14:28:14 From Hugo Mattsson : http://hackage.haskell.org/package/base-4.12.0.0/docs/Data-Maybe.html 14:29:28 From Nicholas : There's an assignment up already on the EDAF95 page. Is it not supposed to be? http://cs.lth.se/edaf95/programming-assignments/verify-sudoku/ 14:42:28 From Adamm1 : Can we do like tuple to list and then drop 1 instead of `const`? 14:43:58 From Avery Hofman : what is the difference between dropWhile and filter? 14:44:47 From Isak Evaldsson : Filter checks all the elements, dropWhile checks until the predicate is true, 14:44:55 From Avery Hofman : Thanks! 14:57:31 From Adamm1 : Is >>= like 'tee' and >> like && in unix? 14:57:52 From Adamm1 : no 15:01:44 From Gabriel Borglund : Thank you! 15:01:55 From Kasper Dejke : Can >> only be applied to IO functions? 15:01:56 From Viktoria : Thank you! 15:01:58 From Adamm1 : Thank you 15:02:10 From Alexander : Is the programming assignment posted on the course website only for EDAF? 15:02:45 From Miro : For the people who have lab now, where do you find the zoom-link? 15:03:01 From Miro : ok Ill take a look now, thank you! :) 15:03:26 From Quanwei Li : So everyone should take the both assigment and the labb_ 15:03:27 From Miro : Under modules? 15:03:28 From Joel Sigurdsson : are you supposed to have finnished the labb when you attend the zoom meeting?