Several Haskell libraries ported to Frege

[gulp21]

Hi,

as I’ve already mentioned earlier, I have ported some Haskell libraries
to Frege, and now they are available at GitHub[1]. The following
libraries can be found in the Libraries folder:

System.FilePath version 1.4.1.0 (original code from
http://hackage.haskell.org/package/filepath-1.4.1.0)
Text.ParserCombinators.Parsec version 3.1.9 (without permutation
parsers; http://hackage.haskell.org/package/parsec-3.1.9)
Data.Data and Data.Generics from Scrap Your Boilerplate 0.3 (mkT, mkQ,
everything and everywhere have been tested, other functions might work,
some functions have not been ported;
http://hackage.haskell.org/package/syb-0.3)
Data.DList 0.7.1.2 (http://hackage.haskell.org/package/dlist-0.7.1.2)

I’d like to thank rdegnan for his port of Data.Typeable[2] and Ingo for
his support with working around bugs in Frege’s type checker.

Regards
Markus

[1] https://github.com/mabre/cspmf/tree/frege
[2] https://github.com/rdegnan/typeable

[Ryland Degnan]

Fantastic! Porting a CSPM library was actually the reason I started looking at Data.Typeable in the first place, though I was intending to port the library used by FDR (https://github.com/tomgr/libcspm). Are you intending to port the CSPM-Interpreter package as well?

I think support for CSP along with formal verification tools could be a killer app for Frege -- I look forward to trying this out!

-Ryland

[support...@googlemail.com]

My bachelor thesis is about the portation of cspmf to Frege, which is used by the ProB animator and model checker. There are currently no plans for a CSPM Interpreter in Frege.

[Alexander Myltsev]

Hi,

gulp21, why you didn't embed Parsec to a standalone library so everyone could refer it as dependency?

[gulp21]

Hi,

when you can tell what I have to do in order to make it usable as a
standalone library, I’d do that. I’ve never used Frege with build
systems like gradle.

Den 16.12.2016 kl. 15:47, skrev Alexander Myltsev:
> Hi,
>
> gulp21, why you didn't embed Parsec to a standalone library so everyone
> could refer it as dependency?
>
> On Friday, 29 July 2016 02:31:23 UTC-6, gulp21 wrote:
>
> Hi,
>
> as I’ve already mentioned earlier, I have ported some Haskell libraries
> to Frege, and now they are available at GitHub[1]. The following
> libraries can be found in the Libraries folder:
>
> System.FilePath version 1.4.1.0 (original code from
> http://hackage.haskell.org/package/filepath-1.4.1.0

> <http://hackage.haskell.org/package/filepath-1.4.1.0>)

> Text.ParserCombinators.Parsec version 3.1.9 (without permutation
> parsers; http://hackage.haskell.org/package/parsec-3.1.9

> <http://hackage.haskell.org/package/parsec-3.1.9>)

> Data.Data and Data.Generics from Scrap Your Boilerplate 0.3 (mkT, mkQ,
> everything and everywhere have been tested, other functions might work,
> some functions have not been ported;
> http://hackage.haskell.org/package/syb-0.3

> <http://hackage.haskell.org/package/syb-0.3>)
> Data.DList 0.7.1.2 (http://hackage.haskell.org/package/dlist-0.7.1.2
> <http://hackage.haskell.org/package/dlist-0.7.1.2>)

>
> I’d like to thank rdegnan for his port of Data.Typeable[2] and Ingo for
> his support with working around bugs in Frege’s type checker.
>
> Regards
> Markus
>
> [1] https://github.com/mabre/cspmf/tree/frege
> <https://github.com/mabre/cspmf/tree/frege>
> [2] https://github.com/rdegnan/typeable

> <https://github.com/rdegnan/typeable>
>
> --
> You received this message because you are subscribed to a topic in the
> Google Groups "Frege Programming Language" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/d/topic/frege-programming-language/TF6XFMy6NFY/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to
> frege-programming-l...@googlegroups.com
> <mailto:frege-programming-l...@googlegroups.com>.
> For more options, visit https://groups.google.com/d/optout.