Parsing with Haskell

Re:Parsing with Haskell by massysett on Thursday July 07, 2022 @09:10AM (#32013625)

From Text.Megaparsec:

    {-# LANGUAGE FlexibleContexts #-}
    {-# LANGUAGE FlexibleInstances #-}
    {-# LANGUAGE MultiParamTypeClasses #-}
    {-# LANGUAGE RankNTypes #-}
    {-# LANGUAGE Safe #-}
    {-# LANGUAGE ScopedTypeVariables #-}
    {-# LANGUAGE TypeFamilies #-}
    {-# LANGUAGE UndecidableInstances #-}

And you do have to understand TypeFamilies to use Megaparsec.

[ Parent | on HN ]

Re:Parsing with Haskell by nimih on Thursday July 07, 2022 @02:09PM (#32017350)

> And you do have to understand TypeFamilies to use Megaparsec.

This is only the case if you're using custom input streams, right? Writing a parser that just operates on ByteString/Text seems like a pretty gentle/reasonable introduction to this style of parsing and doesn't require any understanding of TypeFamilies as far as I can tell (I certainly didn't understand TypeFamilies when I learned to use megaparsec).

[ Parent | on HN ]

Re:Parsing with Haskell by massysett on Thursday July 07, 2022 @08:52PM (#32021684)

The types of many basic and essential functions, including ‘satisfy’ and ‘token’, use type families with associated types, but yes, it is possible to use megaparsec without actually understanding the types.

[ Parent | on HN ]

Re:Parsing with Haskell by simonmic on Monday July 11, 2022 @01:17AM (#32052499)

No you don't.

[ Parent | on HN ]