Advanced features

Farkle has a couple of features that were not covered in other guides because they are less likely to be useful. In this guide, we will take a look at some of these features that truly push Farkle's capabilities to the fullest. So, are you ready? Let's do this!

The untyped API

The first feature we are going to discuss is a different API for creating grammars, which is called the untyped API. Usually, when we write our designtime Farkles, we do not only state how our grammar is structured, but also what should our parser do when he encounters a specific symbol. There are times however that we do not want to do the latter thing: we just want Farkle to create a grammar. Let's take a look at the following grammar which matches matching parentheses:

<S> ::= <S> ( <S> )
<S> ::= <>

In Farkle, one way to write this grammar, is to just write it, but return dummy types like units on every production:

// In all our examples, we always open this namespace.
open Farkle.Builder

let S = nonterminal "S"

    !% S .>> "(" .>> S .>> ")" =% (),
    empty =% ()

On larger grammars however, this habit of adding =% () to the end of each production tends to be repetitive. Also imagine if we had more complex terminals. We would have done something like this:

let X =
    |> terminal "X" (T(fun _ _ -> ()))

The parentheses-ridden delegate definition at the end would have to be repeated, for every terminal we would have to create.

For this reason, the untyped API was created, to minimize code duplication. Let's first see how we would write our terminal:


let X =
    |> terminalU "X"


DesigntimeFarkle X = Terminal.Create("X", myComplexRegex);

In F#, we use the terminalU function (guess what the U stands for), and in C# we just omit the delegate (it would have otherwise appeared between the name and the regex).

As you might have seen, the terminal is of type DesigntimeFarkle, without a generic parameter at the end. This means it can be normally used from other grammars (even typed), but it cannot be the significant member of a production. You can write for example !@ W .>> X (or W.Extended().Append(X) in C#), but not !@ W .>>. X (or W.Extended().Extend(X)).

If you don't remember how to use an API from C#, this guide can help you.

The nonterminals use a slightly different approach. Let's see how we would write the nonterminal that recognizes the balanced parentheses:


let S = nonterminalU "S"

    ProductionBuilder(S, "(", S, ")"),


var S = Nonterminal.CreateUntyped("S");

    new ProductionBuilder(S, "(", S, ")"),

Let's take a closer look. The ProductionBuilder's constructor accepts a variable amount of objects (or none, but this is essentially the empty one). You can pass designtime Farkles to be used in the resulting production as they are, or strings or characters to be used as literals. To avoid boxing, it's better to not pass characters at all, but not prohibited. If you pass any other type, an exception will be thrown. S is of type Farkle.Builder.Untyped.Nonterminal, which implements only the untyped DesigntimeFarkle interface.

In F#, instead of the last fourth line, we could have used the much terser !% S .>> "(" .>> S .>> ")", but unfortunately, it wouldn't work due to a nasty and totally unexplained compiler bug. This guide will be updated when the bug gets fixed.

Let's take a look at a different example. consider this F# designtime Farkle:

let number = Terminals.uint32 "Number"

let adder = "Add" ||= [!@ number .>> "+" .>>. number => (+)]

It does exactly what you think it does. Gets a string of the form X + Y, and returns an unsigned integer containing their sum.

A grammar that recognizes the same language without returning anything can be defined like this:

let number = Terminals.uint32 "Number"

let adder = "Add" |||= [ProductionBuilder(number, "+", number)]

The difference above is in the operator in the last line. In C# we can do the same thing like that:

DesigntimeFarkle<uint> Number = Terminals.UInt32("Number");
DesigntimeFarkle Adder = Nonterminal.CreateUntyped("Adder", new ProductionBuilder(Number, "+", Number))

Let's take a look now at how to actually use these untyped designtime Farkles. It's actually surprisingly simple, and can be done this way:


// This is of type `RuntimeFarkle<unit>`.
let adderRuntime = RuntimeFarkle.buildUntyped adder


// The object it returns will always be null.
RuntimeFarkle<object> AdderRuntime = Adder.BuildUntyped();

buildUntyped creates a RuntimeFarkle that does not return anything meaningful, and succeeds if the input text is valid.

Syntax checking

It is sometimes useful to just check if a string is syntactically valid, instead of giving it a meaning by returning an object out of it.

This is what the untyped API does, and we can call buildUntyped on a typed designtime Farkle to achieve the same.

Because building a designtime Farkle is expensive, if we already have a runtime Farkle, we can create a new one with the same grammar, but with a post-processor that does nothing. This post-processor is called a syntax checker. We can change the post-processor of a runtime Farkle this way:


open Farkle.PostProcessor

let designtime: DesigntimeFarkle<int> = foo()

let runtime: RuntimeFarkle<int> = RuntimeFarkle.build designtime

// syntaxChecker is of type RuntimeFarkle<unit>.
let syntaxCheck = RuntimeFarkle.changePostProcessor PostProcessors.syntaxCheck runtime


DesigntimeFarkle<int> Designtime = Foo();

RuntimeFarkle<int> Runtime = Designtime.Build();

RuntimeFarkle<object> SyntaxCheck = Runtime.SyntaxCheck();
// or
RuntimeFarkle<Unit> SyntaxCheck = Runtime.ChangePostProcessor(PostProcessors.SyntaxChecker);

Changing the post-processor is extremely cheap; no new grammar objects are created, and the syntax-checking post-processor is the same.

Actually, the post-processor used in both the F# and the C# example is the same object too. Post-processors are covariant like designtime Farkles, because they are interfaces. Runtime Farkles on the other hand are classes and therefore not variant at all.

Farkle has more APIs for various little features that would make this document too lengthy. Fortunately, they are well-documented in this site, as well as while you code.

So, I hope you enjoyed this little guide. If you did, don't forget to give Farkle a try, and maybe you feel especially untyped today, and want to hit the star button as well. I hope that all of you have a wonderful day, and to see you soon. Goodbye!

Multiple items
val int : value:'T -> int (requires member op_Explicit)

type int = int32

type int<'Measure> =