Still plugging away and trying to grasp the concepts here. I love it, and I am committed now, but just wanted to stop and ask everyone something pretty general — How you do read the types? As in, what words go through your head in your attempt to translate these things. A good example for me is t…

If I’m reading them to myself: (a → b) → a → b (A to B) to A to B a → (a → b) → b A to (A to B) to B where the words in parentheses are said more quickly together. If I’m explaining them to someone else: (a → b) → a → b a function that takes two arguments and returns a B. The first of argument …

(a -> b) -> a -> b A function that takes a function from a to b and an a and returns a b. a -> (a -> b) -> b A function that takes an a and a function from a to b and returns a b.

[image] r4z4: when I try to just explain these type definitions I cannot really do it. There are multiple aspects in that type definition that make it a little harder than most. (<|) : (a → b) → a → b First, you need to mention that this is a function that is designed to be used infix. An i…

This is a fun question! I find when things get complicated, I try to use different sentence patterns for the same concepts to help distinguish between different levels of nesting. And I tend to repeat small chunks to myself and then build up larger chunks. So in your examples, I might think: (<|…

@avh4 @pdamoc @plaxdan @Lucas_Payr @dta Thank you all! I think I was almost just relieved that I was not completely off in my own mind. Its one of those seemingly mundane things but I find myself questioning myself a lot when it comes to this particular practice, so just hearing how you all approa…

How Do You Read Types?

Learn

plaxdan February 2, 2022, 5:21am 6

<| = converter -> thing -> result
|> = thing -> converter -> result

Topic		Replies	Views
Infix operators - lower precedence than \|> and <\|? Learn	7	2047	May 10, 2018
Function signatures Learn	1	1260	March 16, 2019
Understanding weird infinite type loop { b \| fn : ∞ -> a } Learn	5	920	March 19, 2021
Chat about elm/parser operators \|. and \|= Request Feedback	10	1767	June 1, 2020
Questions about Custom Types Learn	4	1869	January 2, 2019

How Do You Read Types?

Related topics