<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"><channel><title>Jake Donham</title><description>Writing about coding and related topics.</description><link>https://jaked.org/</link><item><title>How to implement a TypeScript-style type checker (Reconstructing TypeScript), part 6: narrowing</title><link>https://jaked.org/blog/2021-11-11-Reconstructing-TypeScript-part-6/</link><guid isPermaLink="true">https://jaked.org/blog/2021-11-11-Reconstructing-TypeScript-part-6/</guid><pubDate>Thu, 11 Nov 2021 00:00:00 GMT</pubDate></item><item><title>How to implement a TypeScript-style type checker (Reconstructing TypeScript), part 5: intersection types</title><link>https://jaked.org/blog/2021-10-28-Reconstructing-TypeScript-part-5/</link><guid isPermaLink="true">https://jaked.org/blog/2021-10-28-Reconstructing-TypeScript-part-5/</guid><pubDate>Thu, 28 Oct 2021 00:00:00 GMT</pubDate></item><item><title>How to implement a TypeScript-style type checker (Reconstructing TypeScript), part 4: union types</title><link>https://jaked.org/blog/2021-10-14-Reconstructing-TypeScript-part-4/</link><guid isPermaLink="true">https://jaked.org/blog/2021-10-14-Reconstructing-TypeScript-part-4/</guid><pubDate>Thu, 14 Oct 2021 00:00:00 GMT</pubDate></item><item><title>Reconstructing TypeScript, part 3: singleton types and operators</title><link>https://jaked.org/blog/2021-10-06-Reconstructing-TypeScript-part-3/</link><guid isPermaLink="true">https://jaked.org/blog/2021-10-06-Reconstructing-TypeScript-part-3/</guid><pubDate>Wed, 06 Oct 2021 00:00:00 GMT</pubDate></item><item><title>Reconstructing TypeScript, part 2: functions and function types</title><link>https://jaked.org/blog/2021-09-27-Reconstructing-TypeScript-part-2/</link><guid isPermaLink="true">https://jaked.org/blog/2021-09-27-Reconstructing-TypeScript-part-2/</guid><pubDate>Mon, 27 Sep 2021 00:00:00 GMT</pubDate></item><item><title>Reconstructing TypeScript, part 1: bidirectional type checking</title><link>https://jaked.org/blog/2021-09-15-Reconstructing-TypeScript-part-1/</link><guid isPermaLink="true">https://jaked.org/blog/2021-09-15-Reconstructing-TypeScript-part-1/</guid><pubDate>Wed, 15 Sep 2021 00:00:00 GMT</pubDate></item><item><title>Reconstructing TypeScript, part 0: intro and background</title><link>https://jaked.org/blog/2021-09-07-Reconstructing-TypeScript-part-0/</link><guid isPermaLink="true">https://jaked.org/blog/2021-09-07-Reconstructing-TypeScript-part-0/</guid><pubDate>Tue, 07 Sep 2021 00:00:00 GMT</pubDate></item><item><title>Recurse Center Retro</title><link>https://jaked.org/blog/2021-07-30-Recurse-Center-Retro/</link><guid isPermaLink="true">https://jaked.org/blog/2021-07-30-Recurse-Center-Retro/</guid><pubDate>Fri, 30 Jul 2021 00:00:00 GMT</pubDate></item><item><title>Slate Explorer, a tool for exploring the Slate API</title><link>https://jaked.org/blog/2021-02-26-Slate-Explorer/</link><guid isPermaLink="true">https://jaked.org/blog/2021-02-26-Slate-Explorer/</guid><pubDate>Fri, 26 Feb 2021 00:00:00 GMT</pubDate></item><item><title>How to run Electron on Linux on Docker on Mac</title><link>https://jaked.org/blog/2021-02-18-How-to-run-Electron-on-Linux-on-Docker-on-Mac/</link><guid isPermaLink="true">https://jaked.org/blog/2021-02-18-How-to-run-Electron-on-Linux-on-Docker-on-Mac/</guid><pubDate>Thu, 18 Feb 2021 00:00:00 GMT</pubDate></item><item><title>Recurse Center</title><link>https://jaked.org/blog/2021-02-12-Recurse-Center/</link><guid isPermaLink="true">https://jaked.org/blog/2021-02-12-Recurse-Center/</guid><pubDate>Fri, 12 Feb 2021 00:00:00 GMT</pubDate></item><item><title>Logic programming in Scala, part 3: unification and state</title><link>https://jaked.org/blog/2011-06-08-logic-programming-in-scala-part-3/</link><guid isPermaLink="true">https://jaked.org/blog/2011-06-08-logic-programming-in-scala-part-3/</guid><pubDate>Wed, 08 Jun 2011 00:00:00 GMT</pubDate></item><item><title>Logic programming in Scala, part 2: backtracking</title><link>https://jaked.org/blog/2011-04-29-logic-programming-in-scala-part-2/</link><guid isPermaLink="true">https://jaked.org/blog/2011-04-29-logic-programming-in-scala-part-2/</guid><pubDate>Fri, 29 Apr 2011 00:00:00 GMT</pubDate></item><item><title>Logic programming in Scala, part 1</title><link>https://jaked.org/blog/2011-04-06-logic-programming-in-scala-part-1/</link><guid isPermaLink="true">https://jaked.org/blog/2011-04-06-logic-programming-in-scala-part-1/</guid><pubDate>Wed, 06 Apr 2011 00:00:00 GMT</pubDate></item><item><title>Three uses for a binary heap</title><link>https://jaked.org/blog/2010-11-24-three-uses-for-binary-heap/</link><guid isPermaLink="true">https://jaked.org/blog/2010-11-24-three-uses-for-binary-heap/</guid><pubDate>Wed, 24 Nov 2010 00:00:00 GMT</pubDate></item><item><title>Reading Camlp4, part 11: syntax extensions</title><link>https://jaked.org/blog/2010-09-10-reading-camlp4-part-11-syntax/</link><guid isPermaLink="true">https://jaked.org/blog/2010-09-10-reading-camlp4-part-11-syntax/</guid><pubDate>Fri, 10 Sep 2010 00:00:00 GMT</pubDate></item><item><title>ocamljs 0.3</title><link>https://jaked.org/blog/2010-08-26-ocamljs-03/</link><guid isPermaLink="true">https://jaked.org/blog/2010-08-26-ocamljs-03/</guid><pubDate>Thu, 26 Aug 2010 00:00:00 GMT</pubDate></item><item><title>Mixing monadic and direct-style code with delimited continuations</title><link>https://jaked.org/blog/2010-08-20-mixing-monadic-and-direct-style-code/</link><guid isPermaLink="true">https://jaked.org/blog/2010-08-20-mixing-monadic-and-direct-style-code/</guid><pubDate>Fri, 20 Aug 2010 00:00:00 GMT</pubDate></item><item><title>Reading Camlp4, part 10: custom lexers</title><link>https://jaked.org/blog/2010-08-13-reading-camlp4-part-10-custom-lexers/</link><guid isPermaLink="true">https://jaked.org/blog/2010-08-13-reading-camlp4-part-10-custom-lexers/</guid><pubDate>Fri, 13 Aug 2010 00:00:00 GMT</pubDate></item><item><title>Reading Camlp4, part 9: implementing antiquotations</title><link>https://jaked.org/blog/2010-08-05-reading-camlp4-part-9-implementing/</link><guid isPermaLink="true">https://jaked.org/blog/2010-08-05-reading-camlp4-part-9-implementing/</guid><pubDate>Thu, 05 Aug 2010 00:00:00 GMT</pubDate></item><item><title>Reading Camlp4, part 8: implementing quotations</title><link>https://jaked.org/blog/2010-08-03-reading-camlp4-part-8-implementing/</link><guid isPermaLink="true">https://jaked.org/blog/2010-08-03-reading-camlp4-part-8-implementing/</guid><pubDate>Tue, 03 Aug 2010 00:00:00 GMT</pubDate></item><item><title>Reading Camlp4, part 7: revised syntax</title><link>https://jaked.org/blog/2010-07-27-reading-camlp4-part-7-revised-syntax/</link><guid isPermaLink="true">https://jaked.org/blog/2010-07-27-reading-camlp4-part-7-revised-syntax/</guid><pubDate>Tue, 27 Jul 2010 00:00:00 GMT</pubDate></item><item><title>Reading Camlp4, part 6: parsing</title><link>https://jaked.org/blog/2010-05-19-reading-camlp4-part-6-parsing/</link><guid isPermaLink="true">https://jaked.org/blog/2010-05-19-reading-camlp4-part-6-parsing/</guid><pubDate>Wed, 19 May 2010 00:00:00 GMT</pubDate></item><item><title>How froc works</title><link>https://jaked.org/blog/2010-05-07-how-froc-works/</link><guid isPermaLink="true">https://jaked.org/blog/2010-05-07-how-froc-works/</guid><pubDate>Fri, 07 May 2010 00:00:00 GMT</pubDate></item><item><title>orpc 0.3</title><link>https://jaked.org/blog/2010-04-02-orpc-03/</link><guid isPermaLink="true">https://jaked.org/blog/2010-04-02-orpc-03/</guid><pubDate>Fri, 02 Apr 2010 00:00:00 GMT</pubDate></item><item><title>Updated backtrace patch</title><link>https://jaked.org/blog/2010-03-27-updated-backtrace-patch/</link><guid isPermaLink="true">https://jaked.org/blog/2010-03-27-updated-backtrace-patch/</guid><pubDate>Sat, 27 Mar 2010 00:00:00 GMT</pubDate></item><item><title>Inside OCaml objects</title><link>https://jaked.org/blog/2010-03-23-inside-ocaml-objects/</link><guid isPermaLink="true">https://jaked.org/blog/2010-03-23-inside-ocaml-objects/</guid><pubDate>Tue, 23 Mar 2010 00:00:00 GMT</pubDate></item><item><title>Reading Camlp4, part 5: filters</title><link>https://jaked.org/blog/2010-03-02-reading-camlp4-part-5-filters/</link><guid isPermaLink="true">https://jaked.org/blog/2010-03-02-reading-camlp4-part-5-filters/</guid><pubDate>Tue, 02 Mar 2010 00:00:00 GMT</pubDate></item><item><title>Lwt and Concurrent ML</title><link>https://jaked.org/blog/2009-05-27-lwt-and-concurrent-ml/</link><guid isPermaLink="true">https://jaked.org/blog/2009-05-27-lwt-and-concurrent-ml/</guid><pubDate>Wed, 27 May 2009 00:00:00 GMT</pubDate></item><item><title>Sudoku in ocamljs, part 3: functional reactive programming</title><link>https://jaked.org/blog/2009-05-11-sudoku-in-ocamljs-part-3-functional/</link><guid isPermaLink="true">https://jaked.org/blog/2009-05-11-sudoku-in-ocamljs-part-3-functional/</guid><pubDate>Mon, 11 May 2009 00:00:00 GMT</pubDate></item><item><title>Sudoku in ocamljs, part 2: RPC over HTTP</title><link>https://jaked.org/blog/2009-05-03-sudoku-in-ocamljs-part-2-rpc-over-http/</link><guid isPermaLink="true">https://jaked.org/blog/2009-05-03-sudoku-in-ocamljs-part-2-rpc-over-http/</guid><pubDate>Sun, 03 May 2009 00:00:00 GMT</pubDate></item><item><title>Sudoku in ocamljs, part 1: DOM programming</title><link>https://jaked.org/blog/2009-04-26-sudoku-in-ocamljs-part-1-dom/</link><guid isPermaLink="true">https://jaked.org/blog/2009-04-26-sudoku-in-ocamljs-part-1-dom/</guid><pubDate>Sun, 26 Apr 2009 00:00:00 GMT</pubDate></item><item><title>Monadic functional reactive AJAX in OCaml</title><link>https://jaked.org/blog/2009-04-23-functional-reactive-ajax-in-ocaml/</link><guid isPermaLink="true">https://jaked.org/blog/2009-04-23-functional-reactive-ajax-in-ocaml/</guid><pubDate>Thu, 23 Apr 2009 00:00:00 GMT</pubDate></item><item><title>Equeue compared to Lwt</title><link>https://jaked.org/blog/2009-02-09-equeue-compared-to-lwt/</link><guid isPermaLink="true">https://jaked.org/blog/2009-02-09-equeue-compared-to-lwt/</guid><pubDate>Mon, 09 Feb 2009 00:00:00 GMT</pubDate></item><item><title>Reading Camlp4, part 4: consuming OCaml ASTs</title><link>https://jaked.org/blog/2009-01-27-reading-camlp4-part-4-consuming-ocaml/</link><guid isPermaLink="true">https://jaked.org/blog/2009-01-27-reading-camlp4-part-4-consuming-ocaml/</guid><pubDate>Tue, 27 Jan 2009 00:00:00 GMT</pubDate></item><item><title>Reading Camlp4, part 3: quotations in depth</title><link>https://jaked.org/blog/2009-01-22-reading-camlp4-part-3-quotations-in/</link><guid isPermaLink="true">https://jaked.org/blog/2009-01-22-reading-camlp4-part-3-quotations-in/</guid><pubDate>Thu, 22 Jan 2009 00:00:00 GMT</pubDate></item><item><title>Reading Camlp4, part 2: quotations</title><link>https://jaked.org/blog/2009-01-04-reading-camlp4-part-2-quotations_04/</link><guid isPermaLink="true">https://jaked.org/blog/2009-01-04-reading-camlp4-part-2-quotations_04/</guid><pubDate>Sun, 04 Jan 2009 00:00:00 GMT</pubDate></item><item><title>Reading Camlp4, part 1: the OCaml AST</title><link>https://jaked.org/blog/2008-12-28-reading-camlp4-part-1-ocaml-ast/</link><guid isPermaLink="true">https://jaked.org/blog/2008-12-28-reading-camlp4-part-1-ocaml-ast/</guid><pubDate>Sun, 28 Dec 2008 00:00:00 GMT</pubDate></item></channel></rss>