Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is u...
summary
A web-based FLAT toolkit is integrated with Learn-OCaml and OFLAT as an open-source library exposing types and functions for automata, regexes and grammars, used in two Portuguese universities with typical staff:student ratios around 1:100. The platform gives step-by-step execution (forward and back), animated graphical views, a bridge to import/export solutions, and automated grading via hard-coded tests; internal formats use a JSON/AST representation. Demo works end-to-end but formal assessment versus JFLAP and large-scale class efficacy remain pending.
AI-written summary · about
chapters (7)
- 0:00Intro
- 0:49Teaching Challenge
- 3:04Teaching Principles
- 5:50Architecture and Implementation
- 9:13Finite Automata
- 13:04Regular Expressions
- 15:35Context Free Grammars
related talks
20mLess Power for More Learning: Restricting OCaml Features for Effective Teaching
07h 18mFull Workshop
27mTry-Mopsa: Relational Static Analysis in Your Pocket
43mOCaml at LexiFi
35mLightning Talks
06mTraining-as-Code: Scaling Open Source Literacy
45mFun With Fluent Testing
30mSharing computational course material at larger scale: a French multi-tenant attempt