SkillsCast
Program Description Based Programming
2
SkillsCast
About the Speaker
Photos
Please log in to watch this conference skillscast.
During this talk, you will learn about the implementation and usage of a library, PDBP, written using the Dotty language, implementing FP, the language presented by John Backus during his Turing Award winning lecture.
Like FP:
- PDBP promotes a pointfree functional programming style
Unlike FP:
- PDBP separates the description of a program from possible meanings of the program
- PDBP can be extended with extra programming capabilities
- PDBP effects are pure (they are described rather than executed)
The foundations of the library are monads and arrows:
- monads promote a pointful programming style (they can programmed pointfree using Kleisli arrows)
- arrows promote a pointfree programming style (they can programmed pointful using arrow calculus)
YOU MAY ALSO LIKE:
Thanks to our sponsors
Program Description Based Programming
Luc Duponcheel
Luc is a Functional Programming Veteran. He has a Phd in Mathematics. He is a Trainer and Consultant for Java and Scala related projects. He has worked, among others, with Erik Meijer and Mark P. Jones on Monads.