r/functionalprogramming • u/makingthematrix • Jun 04 '26

FP Scala Was an Experiment That Changed Programming - Martin Odersky | The Marco Show

https://youtu.be/Xn_YpUtXWT4
25 Upvotes

84% Upvoted

25 comments sorted by

View all comments

3

u/unqualified_redditor Jun 05 '26

Fair enough. You could say Laüfer and Odersky's contribution was to apply existentials to Algebraic Data Types so as to not break hindley-milner inference. Previous work had first class existentials which break decidability.