F # has several mechanisms for programming in a style that can be called "language oriented."
Firstly, syntactic subtleties (function calls do not require brackets, they can define their own infix operators, ...) make many user libraries look like built-in DSLs.
Secondly, the F # "quotations" mechanism can allow you to quote code and then run it using an alternative semantics / evaluation mechanism.
Thirdly, F # "calculation expressions (for example, workflows, monads, ...) also provide a way to provide alternative semantics for certain blocks of code.
All of these species fall into the EDSL category.