Lizardsquid, maker of noises @lizardsquid@computerfairi.es

@popefucker@cybre.space for functions with no side effects (those that just take something and return something) it doesn't matter what order we do them in.

but functions that ask the user questions and wait for responses? the order matters!

so we have to wrap up whatever our function does in a higher order type:

askAndResponse :: String -> IO (String)

let's say this function displays whatever string we pass to it to the user, then waits for user response...

@popefucker@cybre.space monoids aren't so important, but monads are significant because they're what allows for composable code with "side effects"

typically, we want to be able to compose functions together:

h = f . g

because this makes designing programs easier.

but when it comes to functions that have side effects (like writing files or displaying stuff on the screen), we want those to be isolated from other functions, because the *order* in which we do things is suddenly important

@popefucker@cybre.space there's so much more - feel free to ask me any questions about anything

@popefucker@cybre.space

* the equals sign works the same as in algebra - whenever you see the LHS, you can just replace it with the RHS (and visa versa)

* types are just sets - if you write a function, it takes elements from one set and returns elements of another set, for example:

isEven :: Integer -> Boolean
isEven n = case n `mod` 2 of
0 -> True
otherwise -> False

is a function that takes elements from the set of all integers, and returns elements from the set of Booleans.

@popefucker@cybre.space http://haskellbook.com/ is pretty good and starts from first principles, but costs money

http://book.realworldhaskell.org/ goes into a bunch of mathematical details later on.

those are both kinda generic, though, so I'll give you some specific stuff that might be useful to someone with a maths background in the next toot

hey sometimes I get too affectionate and snuggy, so if I ever make you uncomfy, I'm sorry.

and please... tell me, so I can improve

@ktsukik@cybre.space jpg definitely won't work!

you need to put in a bmp or something similar, if you try and do anything to a jpg it will just break

@kibi oh gosh that sucks, I hope tomorrow is better friend ❤

@radtabby wow I've never seen this... and yet I feel soooo much nostalgia

@ktsukik@cybre.space what file formats are you using? some formats just don't work

@DialMforMara woah nice!!!

@DialMforMara oh wow, maybe I'll tune in at some point...

@DialMforMara ooo, how long is there left?

@HTHR@cybre.space bones!!!!