The discussion and reasons of "data first" vs. "data last" can be found by searching these terms (including type inference"). For example for Rescript (TAFKA Bu

The discussion and reasons of "data first" vs. "data last" can be found by searching these terms (including type inference"). For example for Rescript (TAFKA Bucklescript) which changes OCaml's data last to a dáta first syntax. https://www.javierchavarri.com/data-first-and-data-last-a-comparison/ https://www.javierchavarri.com/data-first-and-data-last-a-co... which does explain the actual "technical" reasons behind the decision.