Lambda Days 2018 - Oskar Wickström - Finite-state machines? Your compiler wants in!

Thanks! Share it with your friends!

You disliked this video. Thanks for the feedback!

Added by admin
11 Views
Register to Lambda Days newsletter to receive updates: http://www.lambdadays.org/lambdadays2018/#contact

Oskar Wickström

After some years of musical education, Oskar Wickström began his journey into the world of software. He's currently doing remote work in Haskell. Among the technical topics that interest Oskar are functional programming, systems design, web technology, and programming languages. His more aesthetic side, which mostly involves music, draws him towards graphics and UI design every now and then.

wickstrom.tech

Finite-state machines? Your compiler wants in!

When modeling problem domains, we collect different possible states, legal transitions between states, and relevant data for each state. Finite-state machines emerge. To verify that programs are constructed correctly, and to have a living machine-verified documentation, we should let the compiler in on our trade secrets.

In this talk we will look at motivations and examples of encoding finite-state machines, using expressive type systems in functional languages.
Category
Lambda Day 2018

Post your comment