Alt.Net Talks - Make type system great again

Transcript

1. Make type system great again From runtime errors to compile-time type errors
2. About Me I am a passionate developer doing .NET stuff MiKaDoO MiKaDo_O
3. Feedback loops are great!
4. That’s why we love unit tests
5. UTs are fast
6. Imagine even faster feedbacks
7. A type error gives you… …at compile time that an error exists the file the error is in what line the error is on a hint as to what the problem is
8. A good type system is compile time unit test
9. What is a type system?
10. In programming languages, a type system is a set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules. The main purpose of a type system is to reduce possibilities for bugs in computer programs by defining interfaces between different parts of a computer program, and then checking that the parts have been connected in a consistent way. Type system from Wikipedia
11. Not all languages are equal
12. Be concise and composable
14. Describe honnestly
17. Ensure correctness
19. Express intent
22. Checked documentation
23. FSDN
24. Check completeness
26. Design states
28. Let the compiler do the job
30. Remember if it compiles it works
31. Static Types Tests Dynamic C#, Java, … Haskell, F#, … Js, Python, …
32. So… types versus tests?
33. Nop… use types and tests :)
34. And why not use property-based testing :p
35. F# Paris meetup F# Software Foundation
36. Thanks, that's all! Any question?