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	3550	November 7, 2017
Musings on extended pattern-matching syntaxes Community	56	7991	February 10, 2020
Ocaml syntax extension Learning ppx	3	349	November 1, 2024
Inlining partial pattern matches Learning	7	561	April 16, 2024
Pattern matching in generic recursive function is not working Learning	3	293	June 12, 2024

Declare variable and evaluate expression within pattern

Related topics