User loginNavigation |
SpotlightApplied Category Theory - The Emerging Science of CompositionalityAn enjoyable 25-minute introductory talk: YOW! Lambda Jam 2019 - Ken Scambler - Applied Category Theory (slides)
Previously: Seven Sketches in Compositionality: An Invitation to Applied Category Theory. (via Brian McKenna) By Manuel J. Simoni at 2019-08-05 14:08 | Category Theory | Paradigms | Spotlight | 11 comments | other blogs | 97080 reads
Simon Peyton Jones elected into the Royal Society FellowshipSimon Peyton Jones has been elected as a Fellow of the Royal Society. The Royal Society biography reads:
Congratulations SPJ! By Ohad Kammar at 2016-04-30 19:44 | Functional | General | Implementation | Paradigms | Semantics | Software Engineering | Spotlight | Teaching & Learning | Theory | 4 comments | other blogs | 64249 reads
OCaml 3.0.9The most recent version of Objective Caml is 3.09.0. It was released on 2005-10-27. Some of the highlights in release 3.09 are:
For more information, please consult the comprehensive list of changes. By Mark Evans at 2005-11-10 03:34 | General | Object-Functional | Spotlight | 13 comments | other blogs | 13100 reads
Games for Logic and Programming Languages: Etaps'05
In case you are in Edinburgh on April 2-3, here is the workshop program. Introducing ComegaO'Reilly has an article, Introducing Comega, which covers some of the basic features of Cω: streams, "choice" and "nullable" types, anonymous structs and syntax support for XPath and relational query constructs. I begin to see the point of language integration for XML processing, although the thought of using XML for general data storage and management still gives me the shivers... Darcs: an open source version control system implemented in HaskellSlashdot today links to an interview with David Roundy, the author of darcs, one of a number of proposed replacements for CVS. Darcs is, rather thrillingly, based on a
Also interesting is his choice of Haskell for an implementation language, and the reasons he gives for this:
Roundy also notes that he has had no difficulty finding Haskell coders to help with the project:
|
Browse archives
Active forum topics |
Recent comments
25 weeks 6 days ago
26 weeks 6 min ago
26 weeks 12 min ago
48 weeks 1 day ago
1 year 2 days ago
1 year 1 week ago
1 year 1 week ago
1 year 4 weeks ago
1 year 9 weeks ago
1 year 9 weeks ago