Giter Site home page Giter Site logo

askyer / frege Goto Github PK

View Code? Open in Web Editor NEW

This project forked from frege/frege

0.0 1.0 0.0 97.71 MB

Frege is a non-strict, pure functional programming language in the spirit of Haskell. Frege programs are compiled to Java and run in a JVM.

Home Page: https://github.com/Frege/frege/wiki/_pages

License: Other

frege's Introduction

What is Frege?

Frege is a non-strict, pure functional programming language in the spirit of Haskell. It enjoys a strong static type system with type inference. Higher rank types are supported, though type annotations are required for that.

Frege programs are compiled to Java and run in a JVM. Existing Java Classes and Methods can be used seamlessly from Frege.

The Frege programming language is named after and in honor of Gottlob Frege. (This is surprisingly hard for english speakers to pronounce, but you can use this translator page to get it right. Just click the audio symbol in the left (german) part.)

Motivation

There have been attempts to port Haskell to the JVM, though said projects seem failed or stuck. The common wisdom suggests that it is not easily possible.

Frege is thought as a substitute for this missing GHC port. While not derived from any existing Haskell implementation, it is more or less equivalent to Haskell 2010. Please see the wiki page that details the differences.

Project State

The compiler, an Eclipse plugin and a provisional version of the documentation can be downloaded. Note that Frege requires JDK 7 to compile and run programs.

The compiler and the documentation tool are quite stable, the documentation provisional and the library is evolving. It already supports important parts of the Haskell 2010 standard library.

See the Getting Started page for getting started at the command-line or read the Eclipse plugin page.

There is also an interpreter (REPL). An online version of the REPL is available here.

Contributions

If you are interested in contributing, here are some hot topics:

  • write Frege code to support more of the Java API
  • port Haskell libraries or tools
  • open issues on the Issues page if you find bugs, errors in documentation, etc.
  • help make Frege popular by writing code for projects like Rosetta Stone or Computer Language Shootout.
  • contribute to Real World Frege

Contact

You can contact the project members through the discussion group devoted to the Frege programming language. Specific programming problems are best solved on Stack Overflow, we check questions tagged "frege" on a regular basis.

If you find a bug or have an idea for enhancements, please let us know by opening an issue in the issue tracker. (You'll need a GitHub account to do this.)

Please understand that the issue tracker is neither a discussion forum nor a place to ask questions.

Links

Frege Wiki

Author's Blog

Language reference

Online Docs (Runtime Javadoc)

Online Docs (Frege)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.