Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Use of the and keyword in F# in discriminated unions

I was faced today with the following DUs declarations:

type Grammar = Definition list

and  Definition = Def of string * Expression

and  Range =
     | Char  of char
     | Range of char * char

Why would one use the keyword and instead of type, here?

like image 363
devoured elysium Avatar asked Aug 22 '11 22:08

devoured elysium


2 Answers

The and is needed for the definitions of Grammar and Definition to compile correctly. The Grammar type is listed first but depends on the type Definition which is defined later. In order to compile properly it must be linked with and which tells the F# compiler the type definitions are dependent / related.

There is no reason for Range to be declared in such a way and should be declared with type

like image 87
JaredPar Avatar answered Nov 09 '22 16:11

JaredPar


It's used to create mutually related types. Usually in F#, you need to forward declare each type before you use it - but this isn't always possible, for example when you need to introduce a cyclic dependency on two or more types.

In your example, if you defined Definition with type rather than and, you wouldn't be able to compile the definition of Grammar, unless you switched the order in which they're defined.

The code example you've posted isn't exactly a good one, because the mutual relation isn't necessary in it - you can change the order. (Unless there were some more types defined further down which depended on the above).

like image 22
Mark H Avatar answered Nov 09 '22 16:11

Mark H