&gt; Your TLA+ comment isn&#x27;t relevant to this discussion and seems to only promote TLA+.<p>pron has this habit of being negative and dismissive towards functional programming and related things, recommending non-FP alternatives instead. Which is fine, only that sometimes he&#x27;s too trigger happy and just gives unsolicited advice without any build up or with weak topical relevance. Like here.