The phrase Denotational Semantics is an academic term for mapping programs to mathematical objects as a way to define their meanings. This phrase is not well-known in industry but we use it here to make it clear that this presentation is a shamelss rip off of a talk by Erik Meijer of a similar title. Erik Meijer, the founder of Applied Duality, is often cited as the inventor of 'reactive', a group of frameworks which have shown up in almost every programming language. The universal applicability of Meijer's initial reactive framework is attributed by Meijer to long-established mathematical principles such as currying, duality, and coproducts. With these few simple constructions we can understand a wide variety of interfaces in a deeper way. As a practical example, we will cover Meijer's derivation of Observable/Observer interfaces as duals of Iterable/Iterator interfaces. The takeaway is that every developer can apply denotational semantics to better design and implement common programs.

Speaker: Justin Thomas
Justin is an awesome, funny Math guy who's became a Java prodigy in the last 5 years - switching from academia to the software industry. He holds a PhD in Mathematics from Northwestern University, and works at PCI as a Senior Principal Developer. He's got a passion for system architecture and super-clean well-structured code.

Brent Wilkins

Andres Barbaro

Jason Lee

OKC JUG

Science & Education

Java

Software Development

Education & Technology

Learning

Computer Programming

Java Virtual Machine

Knowledge Sharing

Server Side Javascript

J2EE

Web Development

Reactive Programming Applying Duality: The Lost Art of Denotational Semantics

StarSpace 46

Share

OKC JUG

Reactive Programming Applying Duality: The Lost Art of Denotational Semantics

OKC JUG

Details

Members are also interested in