Как я могу иметь функцию, которая возвращает различные типы в F #?

Question

Я сделал сканер на F #. В настоящее время он возвращает список групп кортежей с типом (Token, string).

В идеале я хотел бы вернуть список кортежей, которые могут содержать разные типы. Например:

(Token, string) 
//if it's an identifier

(Token, float)
//if it's a float. 

(Token, int)
//etc

Итак, в основном я хотел бы вернуть тип (Token, _), но я не уверен, как это указать. Прямо сейчас есть ошибки, связанные с несовпадающими типами. Я просматриваю свою книгу и вики-книги, но я не совсем уверен, как это называется.

Если это действительно невозможно, я думаю, что смогу позже преобразовать типы, но я надеялся, что смогу просто так вернуть вещи

Answer 1

Есть два относительно простых способа справиться с этим в F #.Один из них - создать объединенное распознавание:

type Expression =
| Identifier of string
| FloatValue of float
| IntValue of int
| ...

, а затем определить вашу функцию, чтобы она возвращала (Token * Expression) list.Другая возможность состоит в том, чтобы поместить все в объект и затем вернуть (Token * obj) list.Это немного проще для производителя списка, но намного раздражает для потребителя.

Answer 2

Я думаю, что использование дискриминационного объединения, как подсказывает kvb, - это путь. Чтобы добавить больше информации, при написании сканеров на F # обычно определяют тип токена Token, в котором перечислены различные типы токенов, которые могут содержать дополнительную информацию, например:

type Token = 
// Some toknes with no additional information
| LParen | RParen | Begin | End
// Some tokens with additional values
| Identifier of string
| IntValue of int
| ...

Затем вы полностью избавляетесь от необходимости представлять значение отдельно от токена, и вы можете работать только с Token list.

Answer 3

В дополнение к предыдущим ответам посмотрите на типы выбора (и варианты выбора, такие как Choice1of3 и т. Д.).