Ws58imktt4w5sibsljbk
SkillsCast

Program Description Based Programming

13th December 2018 in London at Business Design Centre

There are 50 other SkillsCasts available from Scala eXchange London 2018

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

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.

SkillsCast

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

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

About the Speaker

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.

Photos