RacketScript — Language of the Future?
summary
Talk explains applying formal methods and Model Checking in applied/frontend development and the difficulties of using separate tools like Alloy and TLA+ because their codebase is separate from the target system. It presents RacketScript (and Racket) as a promising alternative that could integrate formal-methods work into application code, and describes the speaker’s involvement in RacketScript development.
AI-written summary · about
chapters (13)
- 0:00Introduction
- 5:30What is RacketScript
- 9:23Programming evolution limits
- 15:04What is model checking
- 23:09Model checking in web
- 27:47Technology gap and F*
- 29:11Why RacketScript chosen
- 34:06RacketScript for model checking
- 36:57RacketScript problems outlook
- 39:02RacketScript React demo
- 45:17RacketScript development plans
- 47:24Why RacketScript future language
- 49:55Q&A
related talks
01h 45mIntroduction to Typed Racket
34mClojureScript: The Essence of Alchemy
56mWhy OCaml on the Frontend
24mUsing backend languages for frontends: Why ClojureScript is an awesome idea!
29mAre we there yet? Remix
49mClojureScript: Fun and productive web development with next level tooling
49mPurescript (Maybe this time we get Javascript right)
11mKyle Simpson (Getify Solutions) interviewed at Fluent 2014