0:00 / 0:00
#gradualtyping#optionaltyping#giladbracha
STOP'15: Bracha v Felleisen
Jan Vitek
20 subscribers • 1 video on Hallway
- Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
- Presented by Gilad Bracha and Matthias Felleisen
- An opinion. It argues one side of a question engineers disagree on.
Advanced. Deep dive for people who know the field.
9.9K views11 years ago2 recommendations
Programming languagesLanguage design and type systemsFunctional programming
Gilad Bracha and Matthias Felleisen debate the merits and design of gradual and optional typing systems.
STOP'15 Workshop Panel: "Types for an Untyped World". A discussion between Gilad Bracha and Matthias Felleisen at the STOP workshop, co-located with ECOOP in Prague.Why it's here
2 people recommend thisu/Leading_Dog_1733in r/ProgrammingLanguages • Mentions
On “Does the programming language design community have a bias in favor of functional programming?”
…ategory theory (it gives a reason for it) rather than because that kind of correctness is actually needed in practical programming contexts.
There was an interesting talk between Matthias Fellesien and Gilad Barcha that I think exposes some of the ways that the language design world is unique (even if it is not discussed in exactly those terms): [video…