The Curious Engineer

All blogs / Functional / PL theory

Tomas Petricek

tomasp.net

Tomas Petricek's latest blog posts about programming languages and tools, working with data, philosophy of science and more.

Functional / PL theoryOCaml / F#Essays / personal

’05’10’15’20’25
Posts
155 from 20 Nov 2004 to 21 Sep 2026
Posting
now and then (4 in the last year)
Kind
personal blog
Feed
https://tomasp.net/rss.xml

2026 4

  1. September 2026 (1)
  2. Completing Programming Adventures with Jev
  3. Baseline: Operation-Based Evolution and Versioning of Data
  4. Design Choices of Document-Oriented Programming Systems

2025 3

  1. Open substrates for transparent, accessible programming
  2. Choose Your Own Adventure Calculus
  3. February 2025 (1)

2023 5

  1. What can routers at Centre Pompidou teach us about software evolution?
  2. December 2023 (1)
  3. The Rise and Fall of Extensible Programming Languages
  4. Where programs live? Vague spaces and software systems
  5. February 2023 (1)

2022 4

  1. The Timeless Way of Programming
  2. September 2022 (1)
  3. No-code, no thought? Substrates for simple programming for all
  4. April 2022 (1)

2021 4

  1. Pop-up from Hell: On the growing opacity of web programs
  2. October 2021 (1)
  3. Software designers, not engineers: An interview from alternative universe
  4. April 2021 (1)

2020 7

  1. Is deep learning a new kind of programming? Operationalistic look at programming
  2. October 2020 (1)
  3. Creating interactive You Draw bar chart with Compost
  4. July 2020 (1)
  5. Data exploration calculus: Capturing the essence of exploratory data scripting
  6. April 2020 (2)
  7. On architecture, urban planning and software construction

2019 4

  1. What to teach as the first programming language and why
  2. December 2019 (1)
  3. What should a Software Engineering course look like?
  4. February 2019 (1)

2018 6

  1. Write your own Excel in 100 lines of F#
  2. November 2018 (1)
  3. Programming as interaction: A new perspective for programming language research
  4. October 2018 (1)
  5. Would aliens understand lambda calculus?
  6. May 2018 (1)

2017 8

  1. The design side of programming language design
  2. September 2017 (1)
  3. Getting started with The Gamma just got easier
  4. June 2017 (1)
  5. Papers we Scrutinize: How to critically read papers
  6. April 2017 (1)
  7. March 2017 (2)
  8. January 2017 (1)

2016 7

  1. other posts about programming languages
  2. October 2016 (1)
  3. September 2016 (2)
  4. August 2016 (1)
  5. July 2016 (1)
  6. May 2016 (2)
  7. April 2016 (1)

2015 10

  1. December 2015 (2)
  2. November 2015 (1)
  3. September 2015 (3)
  4. July 2015 (1)
  5. June 2015 (1)
  6. May 2015 (2)
  7. April 2015 (3)
  8. March 2015 (2)
  9. February 2015 (1)
  10. January 2015 (2)

2014 5

  1. December 2014 (1)
  2. May 2014 (3)
  3. April 2014 (2)
  4. March 2014 (1)
  5. January 2014 (2)

2013 12

  1. December 2013 (1)
  2. November 2013 (1)
  3. October 2013 (1)
  4. September 2013 (1)
  5. August 2013 (2)
  6. Read the complete article
  7. May 2013 (1)
  8. April 2013 (1)
  9. March 2013 (1)
  10. February 2013 (1)
  11. January 2013 (1)
  12. Read the complete article

2012 9

  1. December 2012 (2)
  2. Read the complete article
  3. October 2012 (1)
  4. August 2012 (3)
  5. June 2012 (2)
  6. April 2012 (1)
  7. March 2012 (4)
  8. February 2012 (5)
  9. January 2012 (2)

2011 9

  1. November 2011 (5)
  2. Read the complete article
  3. August 2011 (3)
  4. announced earlier
  5. July 2011 (2)
  6. Read the complete article
  7. June 2011 (2)
  8. May 2011 (2)
  9. March 2011 (4)

2010 11

  1. December 2010 (1)
  2. November 2010 (6)
  3. October 2010 (6)
  4. paper about joinads
  5. September 2010 (4)
  6. July 2010 (3)
  7. June 2010 (2)
  8. May 2010 (1)
  9. February 2010 (2)
  10. January 2010 (3)
  11. Read the complete article

2009 8

  1. December 2009 (3)
  2. Read the complete article
  3. July 2009 (1)
  4. June 2009 (3)
  5. May 2009 (2)
  6. April 2009 (1)
  7. March 2009 (2)
  8. February 2009 (1)

2008 11

  1. December 2008 (1)
  2. Read the complete article
  3. November 2008 (5)
  4. Read the complete article
  5. October 2008 (1)
  6. Read the complete article
  7. September 2008 (1)
  8. Read the complete article
  9. June 2008 (1)
  10. March 2008 (3)
  11. February 2008 (1)

2007 11

  1. December 2007 (2)
  2. November 2007 (6)
  3. an article
  4. October 2007 (1)
  5. September 2007 (1)
  6. August 2007 (1)
  7. July 2007 (2)
  8. April 2007 (2)
  9. March 2007 (2)
  10. February 2007 (3)
  11. January 2007 (2)

2006 8

  1. November 2006 (1)
  2. October 2006 (3)
  3. August 2006 (2)
  4. July 2006 (1)
  5. June 2006 (3)
  6. first, completely outdated, blog post
  7. May 2006 (2)
  8. April 2006 (2)

2005 7

  1. December 2005 (1)
  2. July 2005 (4)
  3. June 2005 (5)
  4. May 2005 (1)
  5. April 2005 (3)
  6. March 2005 (3)
  7. January 2005 (1)

2004 2

  1. December 2004 (3)
  2. November 2004 (2)