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	3427	November 7, 2017
Ocaml syntax extension Learning ppx	3	311	November 1, 2024
Ocaml interpreter Learning	2	377	June 27, 2024
Let _ = _ in _ , ';', match, and begin ... end Learning	19	2147	April 3, 2023
Pattern matching syntactic sugar Learning	11	469	April 18, 2025

Declare variable and evaluate expression within pattern

Related topics