Skip to main content

Home/ Haskell/ Group items tagged compilation

Rss Feed Group items tagged

Filter: All | Bookmarks | Topics Simple Middle
Javier Neira

Bluish Coder: Dynamic Compilation and Loading of Modules in Haskell - 0 views

www.bluishcoder.co.nz/...ompilation-and-loading-of.html

haskell ghc dynamic compilation howto

shared by Javier Neira on 09 Dec 09 - Cached
  • Javier Neira on 09 Dec 09
     
    The Haskell system GHC has libraries that provide the ability to compile Haskell code and dynamically load it into a running Haskell program. A library that provides this functionality is hs-plugins. Unfortunately hs-plugins doesn't work with the latest GHC release, 6.10.1.
Javier Neira

Leksah - Haskell IDE in Haskell - 0 views

leksah.org/index.html

haskell programming IDE leksah

shared by Javier Neira on 25 Nov 09 - Cached
  • Javier Neira on 25 Nov 09
     
    Leksah is a Haskell IDE (Integrated Development Environment) written in Haskell based on Gtk+ and gtk2hs. Leksah is a practical tool to support the Haskell development process. It is platform independent and runs on any platform where GTK+, gtk2hs and GHC can be installed. It is currently been tested on Windows and Linux but it should work on the Mac. It works with the Glasgow Haskell Compiler (GHC). Leksah is completely free and distributed under the Gnu Public License 2.0
Javier Neira

Smart constructors - HaskellWiki - 0 views

www.haskell.org/...Smart_constructors

type haskell constructor restriction

shared by Javier Neira on 24 Jan 10 - Cached
  • The most interesting are probably the static checks that can be done with Type arithmetic, that enforce the number of bands at compile time, rather than runtime, by lifting the band count into the type level.
  • typecheck perform the check statically, using phantom types and Peano numbers.
  • So encode a type-level version of the bounds check. Only resistors with bands >= 4 and <= 8 are valid:
  • ...1 more annotation...
  • Further checks can be obtained by separating the metal and ceramic values on the type level, so no function that takes a metal resistor can be accidentally passed a ceramic one. A newtype is useful for this:
1 - 6 of 6
Showing 20▼ items per page