Tomas Petricek
banner
tomasp.net
Tomas Petricek
@tomasp.net
Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
And the whole idea made it into a 2014 paper "The F# computation expression zoo": tomasp.net/academic/pap...

Now that #fsharp has "let! .. and!" for tasks, maybe it's time to add "match!" too.. 😉
tomasp.net
November 14, 2025 at 12:22 AM
We even had a web-based version of this so you could run the code in a web browser using Silverlight (!) tryjoinads.org

The web-based version built a bit later had a revised syntax and also added "let! .. and" for applicative functors.
November 14, 2025 at 12:20 AM
I worked on "match!" to #fsharp back in 2008/9 during an internship with @dsyme.bsky.social and parallel tasks was one example in my MSc thesis: tomasp.net/academic/the... (p. 78).

"match!" had the extra feature that you could do short-circuiting - so "_" means the task doesn't have to finish...
November 14, 2025 at 12:17 AM
Come to the train station 5 minutes earlier so that you can get a coffee before boarding :-).

But getting the train tickets should be much easier than it is. Which operator you book with determines where you can get a seat reservation in a funny way...
November 7, 2025 at 10:09 AM
Phlogiston scientists might be offended by this!

There's a curious debate in the history of science about whether abandoning phlogiston was rational and if retaining it would help scientists discover free electrons earlier.

See e.g. www.sciencedirect.com/science/arti...
Scientific Rationality: Phlogiston as a Case Study
I argue that it was rational for chemists to eliminate phlogiston, but that it also would have been rational for them to retain it. I do so on the gro…
www.sciencedirect.com
October 24, 2025 at 7:17 PM
To elaborate, I think @charlesuni.cuni.cz has many hard to quantify qualities that would put it above many of the other universities it is compared against.

But also, there are many objective metrics where we should be doing much better. Being the best in a tiny country is not a good excuse.
October 11, 2025 at 3:35 PM
TinyML 2.3 - Interpreter and step-by-step guide
www.youtube.com/watch?v=ZZbL...
TinyML 2.3 - Interpreter and step-by-step guide
YouTube video by Tomas Petricek
www.youtube.com
October 10, 2025 at 10:37 AM
TinyML 2.2 - Language features and theory
www.youtube.com/watch?v=eyVY...
TinyML 2.2 - Language features and theory
YouTube video by Tomas Petricek
www.youtube.com
October 10, 2025 at 10:37 AM
TinyML 2.1 - What you need to know about F#:
www.youtube.com/watch?v=wb1y...
TinyML 2.1 - What you need to know about F#
YouTube video by Tomas Petricek
www.youtube.com
October 10, 2025 at 10:37 AM
You can read the paper online in ACM DL: dl.acm.org/doi/10.1145/...
Or get the old-fashioned PDF from: tomasp.net/academic/pap...
September 30, 2025 at 6:15 AM
Check out the 5 minute video about Denicek! www.youtube.com/watch?v=xNl7...
Denicek: Computational Substrate for Document-Oriented End-User Programming (Video Preview)
YouTube video by Tomas Petricek
www.youtube.com
September 30, 2025 at 6:14 AM