I’ve been learning OCaml for a compiler course, and while parsing s-expression I encountered the following scenario ... match (sexp_list : sexp list) with ... | Symbol(id)::rest when (id == keyword_add) -> (parse_binary Add ...) | Symbol(id)::rest when (id == keyword_sub) -> (parse_binary Sub ...) …

Just to be clear, adding computations to patterns is called active patterns . While it is possible to implement them in the language, their compilation will be very different. Right now, patterns are compiled into efficient decision trees, leveraging the fact that the pattern language is fully static…

Declare variable and evaluate expression within pattern

Learning

SkySkimmer January 16, 2020, 5:43pm 5

1 Like

Topic		Replies	Views
[Solved] Help with match clause needed Learning	7	3384	November 7, 2017
Ocaml syntax extension Learning ppx	3	309	November 1, 2024
Ocaml interpreter Learning	2	376	June 27, 2024
Let _ = _ in _ , ';', match, and begin ... end Learning	19	1997	April 3, 2023
Proper style when discriminating over a value with boolean functions? Learning	7	1385	December 26, 2017

Declare variable and evaluate expression within pattern

Related topics