Как правильно сбросить результат (монадической) вычисления в F #

Question

В Haskell, я могу написать:

token: Parser a -> Parser a 
token p = do space 
      v <- p 
      space 
      return v 

В F #, я пришел далеко:

let token = compose { 
     let! _ = space 
     let! v = parser 
     let! _ = space 
     return v 
    } 

Другими словами, Я должен ввести эту неиспользуемую привязку let! _ =, чтобы отбросить значение синтаксиса анализатора пространства (монады), которое мне не нужно.

Как избежать этих бесполезных привязок в F #? Я попытался с помощью делать !, но я получаю сообщение об ошибке (потому что моя >>= функция не принимает блок типа, а «а):

let (>>=) (p: Parser<'a>) (f: 'a -> Parser<'b>) : Parser<'b> 

Вот мое определение строитель:

type ParserComposer() = 
    member x.Bind(p, f) = p >>= f 
    member x.Return(y) = ret y 
    member x.Zero() = failure 

мне нужно делать определить >> функция? Добавить Combine() в конструктор? Любые идеи, как это сделать правильно? Пример кода?

Answer 1

Предполагая, что тип возвращаемого space является Parser<unit> (что имело бы смысл, если он не представляет собой анализатор, который возвращает некоторый результат), вы можете написать:

let token = compose { 
    do! space 
    let! v = parser 
    do! space 
    return v 
} 

Это просто синтаксический сахар для того, что вы написали - так do! e переведен как let! _ = e который, в свою очередь, переведен на parser.Bind(e, fun _ -> ...). У меня есть образец для Additive parsers on Try Joinads, который также определяет Combine и еще несколько (возможно) полезных вещей, но для ключевого слова do! требуется только Bind.