{-# OPTIONS -fglasgow-exts #-} {-# OPTIONS -fallow-overlapping-instances #-} -- http://feedvalidator.org/check.cgi?url=http://www.okmij.org/ftp/rss.xml -- http://feedvalidator.org/check.cgi?url=http://okmij.org/ftp/rss.xml module Main () where import RSS import System.Environment (getArgs) content = CLHead HeadAttrs { ha_title = "What's new", ha_description = "list of updates to this whole site", ha_DateRevision = (4,May,2008), ha_top = FileURL "README.html", ha_history_first = CLURL "ChangeLog-11.html" (August,2006) (July,2007), ha_history_last = CLURL "ChangeLog-0.html" (December,1995) (August,1996) } (updates [update (4, May, 2008) [ui (FileURLA "ML/ML.html" "persistent-delim2cc") [[a "Persistent twice-delimited continuations"]] "in OCaml"] [ui (FileURLA "Computation/Continuations.html" "shift-cgi") [[a "Persistent delimited continuations for CGI programming" "with nested transactions"]]] [ui (FileURLA "Prolog/Prolog.html" "pure-arithm") [[a "Pure, declarative, and constructive arithmetic relations"]] "in Prolog and Kanren -- now with explanations and proofs"] [ui (FileURLA "Haskell/misc.html" "reasoned-LP") [[a "Logic programming in Haskell optimized for reasoning"]]] [ui (FileURLA "Computation/Continuations.html" "genuine-shift") [[a "Delimited continuations with effect typing, full soundness," "answer-type modification and polymorphism"]]] ] [update (4, April, 2008) [ui (FileURLA "Computation/Generative.html" "meta-scheme") [[a "MetaScheme, or untyped MetaOCaml"]] "Meta-programming in Scheme with an arbitrary number of stages and" "cross-stage persistence. Or, why bracket is not a quasiquote."] [ui (FileURLA "Computation/Continuations.html" "tohoku-talk") "Talk:" [[a "Delimited Continuations in Computer Science and Linguistics"]]] ] [update (1, March, 2008) [ui (FileURLA "Computation/Generative.html" "diff-typeclass") [[a "Type(class)-directed symbolic differentiation"]]] [ui (FileURLA "Computation/Generative.html" "diff-th") [[a "Most optimal symbolic differentiation of compiled numeric functions"]]] [ui (FileURLA "Haskell/types.html" "restricted-datatypes") [[a "Do-notation for restricted monads:"]] [[code "Data.Set"]] "as" [[code "MonadPlus"]]] ] [update (1, February, 2008) [ui (FileURLA "Algorithms.html" "total-sp") [[a "Total stream processors and their applications to all" "infinite streams"]] br "Response to `Seemingly impossible functional programs'"] [ui (FileURLA "Computation/Generative.html" "metafx") [[a "Closing the Stage: from staged code to typed closures"]]] [ui (FileURLA "Computation/monads.html" "param-monad") [[a "Variable (type)state `monad'"]]] ] [update (1, January, 2008) [ui (FileURLA "Computation/tagless-typed.html" "tagless-final") [[a "Finally Tagless, Partially Evaluated:"]] "Tagless Staged Interpreters for Simpler Typed Languages" br "on a new web page on typed tagless interpretations," "typechecking, staging, and dependent types"] [ui (FileURLA "Computation/tagless-typed.html" "typed-compilation") [[a "Typed Compilation"]]] [ui (FileURLA "Computation/tagless-typed.html" "tagless-Eval") [[a "Tagless (staged) interpreter typeclass"]] "for typed languages"] [ui (FileURLA "Computation/tagless-typed.html" "tc-final") [[a "Typed compilation to HOAS as emulation of staging"]]] [ui (FileURLA "Computation/tagless-typed.html" "tc-GADT-tc") [[a "Metatypechecking:"]] "Staged Typed Compilation into GADT via typeclasses"] [ui (FileURLA "Computation/tagless-typed.html" "tc-GADT") [[a "Typed compilation via GADTs"]]] [ui (FileURLA "Computation/tagless-typed.html" "in-fin") [[a "Relating Final and Initial typed tagless representations"]]] ] [update (7, December, 2007) [ui (FileURL "Computation/meta-theory.html") "A new page on Meta-Theory and Logical Frameworks, with an" "example of formalizing" [[a "monadic System F"]] "and mechanically proving its type soundness"] [ui (FileURLA "Computation/my-summaries.html" "ACL2") "A summary of the J. Strother Moore's talk" [[a "Machine reasoning about machines: ACL2 theorem prover"]]] [ui (FileURLA "Computation/Continuations.html" "typed-control-fix") [[a "Fixpoint combinator from typed prompt/control"]]] [ui (FileURLA "Computation/Continuations.html" "delimcc-rectype") [[a "General recursive types via delimited continuations"]]] [ui (FileURLA "Computation/lightweight-dependent-typing.html" "Lightweight") "Noted that the paper" [[a "Lightweight static capabilities"]] "has been published in" "Electr. Notes Theor. Comput. Sci, 174(7), pp. 79-104, 2007"] ] [update (4, November, 2007) [ui (FileURL "Haskell/regions.html") "A new page" [[a "Monadic Regions"]] "with the description of Simple IO regions, in Haskell98 + existentials"] [ui (FileURLA "ML/ML.html" "poly-exn") [[a "Local globally-quantified exceptions"]] "in OCaml, and their relationship with delimited continuations"] [ui (FileURLA "Haskell/misc.html" "NewerCGI") [[a "Newer FastCGI"]] "and the memory-efficient IO interface"] [ui (URL "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Quines/") [[a "Self-quoting fix-points:"]] "Quines, in Scheme and MetaOCaml"] ] [update (5, October, 2007) [ui (FileURLA "Haskell/generics.html" "de-serialization") [[a "Generic de-serialization"]]] [ui (FileURLA "Computation/Generative.html" "staged-calculi") [[a "In quest for staged calculus"]]] [ui (FileURLA "Computation/Generative.html" "dependent-open-binding") [[a "Dependent open terms and the evaluation contexts that bind them"]]] ] [update (1, September, 2007) [ui (FileURLA "Computation/Continuations.html" "context-OS") [[a "Delimited continuations in operating systems"]]] [ui (FileURLA "Haskell/types.html" "state-algebra") [[a "State Monad as a term algebra"]]]] [update (1, August, 2007) [ui (FileURLA "Computation/Computation.html" "small-step-typechecking") [[a "Type checking as small-step abstract evaluation"]]] [ui (FileURLA "Computation/Continuations.html" "delimcc-type") [[a "A Substructural Type System for Delimited Continuations"]]] [ui (FileURLA "Haskell/generics.html" "Smash") [[a "Smash along your boilerplate"]] " -- an approach to generic programming in Haskell"] [ui (FileURLA "Haskell/generics.html" "unreal-traverse") [[a "Generic traversal of non-existent terms"]]] [ui (FileURLA "Haskell/types.html" "unsound-typeable") [[a [[code "Typeable"]] "makes Haskell98 unsound"]]] ] ) main = do [arg] <- getArgs case arg of "HTML" -> runHTMLRender . toHTML $ content "XML" -> runXMLRender (runRSSRender (toRSS content) (URL "http://okmij.org/ftp/"))