— Introduction & Summary
When: 7:00p Monday 14 February 2019
Venue: The Pittsburgh Functional Programming Meetup
Where: Catapult CoWork, 4327/Butler St. 2nd floor/Pittsburgh, PA 15201
Abstract: This presentation discusses the purpose, key mechanisms and capabilities of the Omega languages and contrasts them with traditional programming languages. Omega is a general purpose problem solving language with an informal conversational interface. Like pure functional programming languages, It is declarative and side-effect free. It is a pure calculus of types where each type characterizes a category of things. Omega expands the range of applications of automated systems by validly characterizing and answering questions about anything that can be imagined including infinite, incomplete knowable and nonexistent things.