What is Haskell?

Transcript

1. Do you have a favorite programming language?
2. Do you have a favorite programming language?
3. What programming language do you like?
4. What programming language do you like?
5. What is Haskell? My favorite language. Takashi.sato 2023/0/09
6. Haskell is …
7. Haskell is … (1/2) ・Functional language In particular, it is a pure functional language.
8. Haskell is … (1/2) ・Functional language ・Compiled language In particular, it is a pure functional language. However, it can also be called from an interpreter like a script language.
9. Haskell is … (2/2) ・a strongly typed language In other words, it is type safe. It also has a feature called type inference.
10. Haskell is … (2/2) ・a strongly typed language In other words, it is type safe. It also has a feature called type inference. ・a popular language for holidays ・also said to be "Real programmers use Haskell" These are rumors. (By the way, the latter is one of the Haskell books.
11. (Pure)Functional language is …
12. (Pure) Functional language is … (1/2) ・a programming language that has only functions Processes are realized by combining functions. Instructions are not written line by line.
13. (Pure) Functional language is … (1/2) ・a programming language that has only functions Processes are realized by combining functions. Instructions are not written line by line. ・usually side-effect free Side effects refer to features that change the logical state of the computer. So it has referential transparency.
14. (Pure) Functional language is … (2/2) ・no variables and its values are immutable For convenience we call them “values”, but you can see constant functions that always return the same value. So this is also a function.
15. (Pure) Functional language is … (2/2) ・no variables and its values are immutable For convenience we call them “values”, but you can see constant functions that always return the same value. So this is also a function. a = 10
16. (Pure) Functional language is … (2/2) ・no variables and its values are immutable For convenience we call them “values”, but you can see constant functions that always return the same value. So this is also a function. a = 10 <- not “assign”, call “bind”
17. (Pure) Functional language is … (2/2) ・no variables and its values are immutable For convenience we call them “values”, but you can see constant functions that always return the same value. So this is also a function. a = 10 <- not “assign”, call “bind” ・not have “for” and “while” Loops are implemented with recursive calls.
18. More keywords …
19. More keywords … ・Lazy evaluation ・Partial adaptation ・Currying ・Monad ・Lambda calculus/functions etc… If you are interested, come to me
20. Thank you for your attention. Have a nice programming life!