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	3048	November 7, 2017
Let _ = _ in _ , ';', match, and begin ... end Learning	19	1477	April 3, 2023
Proper style when discriminating over a value with boolean functions? Learning	7	1326	December 26, 2017
Checking value of a variable Learning	1	985	March 25, 2021
Lists and patterns / performance (Real world OCaml) Learning real-world-ocaml	7	1134	March 10, 2022

Declare variable and evaluate expression within pattern

Related Topics