awesome-talkscurated list on GitHubRecommends
Under “Functional Programming”
Types are like the Weather, Type Systems are like Weathermen by **Matthias Felleisen** (Clojure/West 2016) 1:15:18
0:00 / 0:00
#typesystems#typedracket#clojure
Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen
ClojureTV
111K subscribers • 135 videos on Hallway
- Recommended by 2 people: 1 on Hacker News and 1 curated list.
- Presented by Matthias Felleisen, co-developer of Racket
- An opinion. It argues one side of a question engineers disagree on.
Intermediate. Assumes working knowledge.
15K views10 years ago2 recommendations
Programming languagesSoftware designLanguage design and type systemsFunctional programming
Matthias Felleisen uses weather prediction as an analogy to explain how type systems forecast software errors and discusses his work on Typed Racket.
Whether you checked the weather app or not on the day before 22 Jan 2016, a huge snow storm covered the Eastern United States that weekend. If you lived in New York or DC, you had to dig out from under a large load of snow the next morning. In the face of such storms, the good news is that people have almost perfected the art of weather prediction over the past few decades. A snow storm or hurricane will no longer catch anyone by surprise. If we act on these predictions in time, we can easily prevent the bad disasters of the days gone by. My keynote will expand on this theme. Bring an umbrella.Why it's here
2 people recommend thisWhat people say. Engineers recommend this talk for its insightful perspective on the limitations of static type systems like Hindley-Milner.
jhckon Hacker News • Recommends
On “Racket v6.6”
Matthias Felleisen, one of the developers of Racket, recently gave a talk about the motivation behind typed Racket; it can be found here: link to this video
iLemmingon Hacker News • Mentions
On “Clojure/Conj 2017 – Opening Keynote by Rich Hickey [video]”
One thing that was a personal shocker for me to hear, from not just anyone, but Matthias Felleisen himself - "My research group has investigated the topic for almost 3 decades, and we came to the conclusion that Hindley-Millner doesn't really work". I was really baffled. That was at ClojureWest 2016. Here's the talk itself link to this video . That talk is not about Clojure - Felleisen doesn't even use Clojure. That happened before Clojure.spec was announced. I couldn't really figure out what exactly he was talking about. Not until later, when I tried Spec.
moocowtruckon Hacker News • Mentions
On “Nx: Multi-dimensional tensors Elixir lib with multi-staged compilation (CPU/GPU)”
how is static typing lacking evidence? don't we use that in rust to prevent the existence of large swaths of errors vs say C? i know for sure when turning on typescript for some javascript projects at work we found many issues, those all seem like wins? Why when I look at some dynamic languages say for example clojure i see stuff like type annotations in their core libraries, and then spec's to help provide a lot of what a type system can do? do you have maybe a counter argument to this fellow link to this video
u/ledgerdevin r/ProgrammingLanguages • Mentions
On “Help with creating a typed superset for a dynamically typed language”
Here's a great video where Anders describes the Typescript compiler.
https://channel9.msdn.com/Blogs/Seth-Juarez/Anders-Hejlsberg-on-Modern-Compiler-Construction
This is a good video on Typed Racket.
link to this video