Recaps my Values, Types and Foundations talk at the OMG September Technical Meeting. Describes the computational, logic and philosophical presentation topics. Describes the demonstrations based on Oleg Kiselov and Anton Setzer’s work in Haskell and Agda. Constrasts the approach with ISO 24707 Common Logic.
Archive for the ‘information flow’ Category
Information flows on the Giant Global graph because of regularities. Those regularities are the result of constraints on parts of the Giant Global Graph. The flow of information based on these constraints means there are WEBS of data, not THE web of data. Rick provides a number of recommendations for Linked Data.
Luckily a year ago I made a good choice in programming languages: Haskell. Language trends are harder to read. Think there’s a practical use for Second order Lambda Calculus with Polymorphism? I do. Category theory is embedded in the core libraries of the language which makes incorporating information flow and the logical environment of the Information Flow Framework a natural fit.