Tag Archives: language

berp: an implementation of Python 3, now in AUR (compiler and interpreter)

berp, is an implementation of Python 3, written in Haskell. It is now available in AUR.

It provides a compiler and an interpreter. In both cases the input Python program is translated into Haskell code. The compiler turns the Haskell code into machine code. The interpreter runs the Haskell code immediately via the GHCi interpreter. The user interface of the interpreter imitates the one provided by CPython.

For more information:

Grammatical Framework, a programming language for multilingual grammar applications, now in Arch

GF, a programming language for multilingual grammar applications is
http://aur.archlinux.org/packages.php?ID=39561.

GF provides many tools for multi-language programming, and can be considered:

  • special-purpose language for grammars, like YACC, Bison, Happy, BNFC, but not restricted to programming languages
  • functional language, like Haskell, Lisp, OCaml, Scheme, SML, but specialized to grammar writing
  • natural language processing framework, like LKB, XLE, Regulus, but based on functional programming and type theory
  • categorial grammar formalism, like ACG, CCG, but different and equipped with different tools
  • logical framework, like Agda, Coq, Isabelle, but equipped with concrete syntax in addition to logic

GF can be used for building

GF is written in Haskell.

Atom : a domain specific language for hard realtime applications

Atom 0.1.0 has just been released by Tom Hawkins.

Atom is an open source language, embedded in Haskell, for writing embedded real-time software. It was originally designed and deployed at Eaton Corporation to improve development times and ease of verification of hydraulic hybrid systems in buses and trucks. It has been open sourced, and is starting to be used for other embedded systems programming tasks.

Atom uses ideas from conditional term rewriting to compile atomic transition rules into C code with guarantees of constant memory use and execution time.

The productivity benefits were impressive from April 2009:

  • 5K lines of Haskell/atom replaced 120K lines of matlab, simulink,
    and visual basic.
  • 2 months to port simulink design to atom. – 3K lines of atom generates 22K lines of embedded C.
  • Rules with execution periods from 1ms to 10s all scheduled at
    compile time to a 1 ms main loop.
  • Atom design clears electronic/sw testing on first pass.
  • Currently in vehicle testing with no major issues.

Atom compiles Haskell source to C (so you can use it for writing regular old C programs). Here’s an example Atom kernel by Lee Pike:

atom "computeFib" $ do
  cond $ value runFib
  cond $ value i >. 0
  decr i
  snd <== (value fst) + (value snd)
  fst <== value snd

Examples are included in the Atom source.

It is available for Arch Linux:

Resources for Atom Programming

Arch Haskell News: July 25 2009

Hackage now has 1443 (+48) Haskell packages, of which 1266 (+44) (87.7%) have been natively packaged for Arch in AUR. All these packages are available via AUR, using the “yaourt” tool.

Read the full list of updates.

Notable Updates

There were some quite significant new apps, and libraries this month.

Arch Haskell News: June 30 2009

Another update, since there was a bit of a package backlog.

Hackage now has 1395 (+130) Haskell packages, of which 1222 (+113) (87.6%) have been natively packaged for Arch in AUR. All these packages are available via AUR, using the “yaourt” tool.

The full log of updates and new packages is available here.

Notable Updates

Dozens of other packages have been added as well. Interestingly, a handful of new Haskell games have been published.

Arch Haskell News: May 10 2009

Another update, since there was a bit of a package backlog.

Hackage now has 1265 (+14) Haskell packages, of which 1109 (+14) (87.7%) have been natively packaged for Arch in AUR.  All these packages are available via AUR, using the “yaourt” tool.

Here’s today’s updates, broken down by category, so you can get a sense for what’s new in your area of interest:

Concurrency

Control

Cryptography

Data

Database

Devel

Graphics

Gui

Language

Math

Network

Text

Web

Unclassified

Arch Haskell News: May 3 2009

Another update, since there was a bit of a package backlog.

Hackage now has 1251 (+1) Haskell packages, of which 1095 (+43) (87.5%) have been natively packaged for Arch in AUR.  All these packages are available via AUR, using the “yaourt” tool.

Here’s today’s updates, broken down by category, so you can get a sense for what’s new in your area of interest:

Algorithm

Codec

Concurrency

Control

    Cryptography

    Data

      Database

      Devel

        Games

        Graphics

        Language

          Math

          Network

          Sound

          System

            Testing

            Text

            Web

            Arch Haskell News: May 2 2009

            Hackage now has 1250 (+87) Haskell packages, of which 1052 (+45) have been natively packaged for Arch in AUR.  All these packages are available via AUR, using the “yaourt” tool.

            Here’s this week’s updates, broken down by category, so you can get a sense for what’s new in your area of interest:

            Uncategorized

            Concurrency

            Control

            Cryptography

            Data

            Database

            Devel

              Distribubted Programming

              Games

              Graphics

                Language

                  Math

                  Music

                  Network

                  Sound

                  System

                    Testing

                    Text

                    Web

                    Xml

                    Arch Haskell News: Mar 14 2009: 1000 Haskell Packages

                    We’ve reached a milestone: more than 1000 Haskell packages packaged up for Arch Linux.

                    Hackage now has 1163 (+41) Haskell packages, of which 1007 (+33) have been natively packaged for Arch in AUR. That’s 33 new packages in two weeks, and lots of updates as well.

                    Here’s this week’s updates, broken down by category, so you can get a sense for what’s new in your area of interest:

                    Algorithm

                    Concurrency

                    Control

                    Cryptography

                    Data

                    Database

                    Devel

                    Graphics

                    Language

                    Network

                    System

                    Testing

                    Text

                    Web

                    Xml

                    The Arch Haskell Team maintains the Haskell toolchain on Arch Linux. You can join us in #arch-haskell on freenode.org, or on the mailing list.

                    Arch Haskell News: Mar 14 2009

                    A regular update of Haskell in Arch Linux

                    Hackage now has 1122 Haskell packages, of which 974 have been natively packaged for Arch in AUR. That’s 12 new packages this week, and lots of updates as well.

                    Notable releases this week

                    Here they all are, broken down by category, so you can get a sense for what’s new in your area of interest:

                    Codec

                    Compilers

                    Concurrency

                    Control

                    Cryptography

                    Data

                    Devel

                    Graphics

                    • haskell-ftgl-1.2: Portable TrueType font rendering for OpenGL using the Freetype2 library

                    Gui

                    Language

                    System

                    Testing

                    Text

                    Web

                    Xml

                    The Arch Haskell Team maintains the Haskell toolchain on Arch Linux. You can join us in #arch-haskell on freenode.org, or on the mailing list.