A talk about the wonderful world of types and programming languages, with a dash of formal verification. Does your programming language get you down? It probably should! Ever wish you could prove that your program was correct? Maybe you can! Join us as we briefly explore some alternatives with typed functional programming languages. With a bit of luck you will catch a glimpse into how programming languages can make your lives easier, and the world a better and safer place. Types aren't the Java-esk horrors of your nightmares, instead they can make programming a pure delight! Let's discover why that annoying person keeps talking about Haskell, and why that even more obnoxious person won't shut up about Idris.
Chobbes/TypeTalk
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Calvin Talks Types
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published