Newbies What Next ? News Forums Calendar
Home | YouTube | Register | News | Forums | Portal Pages | MyLinks | New | Hot | Link Us


 Category Gateway
More Options

LinuxLinks News
 · A Beginner’s Introduction to Linux
 · Simon Tatham’s Portable Puzzle Collection – Games for the Brain
 · Captain Holetooth – Explorative 2D Platform Game for Kids
 · Taisei – A Classy, Frenetic Shoot’em Up Game in the Style of The Touhou Project
 · YouTube Channel
 · Minilens – Fun Open Source Puzzle Platform Game
 · Wizznic! – Highly Addictive Open Source Puzzle Game
 · Success! Beelink S1 Running Linux – Courtesy of the Open Source Community
 · Beelink S1 Mini PC and Linux – Comedy Gold
 · Fun Packed Open Source Action Games


Latest Links
Goober Gamer
Discreete Linux
Banshee 3D


Top : Software : Programming : Languages : Functional

A Beginner’s Introduction to Linux
Welcome to the wonderful world of Linux. You’ll embrace a plethora of free open source software, with more choices than you could possibly imagine. There are hundreds of actively-maintained Linux distributions, dozens of different desktop environments, and tens of thousands of open source applications covering the whole gamut: games, multimedia and graphics tools, internet apps, utilities, development environments, and much more.

(Read more)
Eternal Lands
Eternal Lands is a multiplatform (Windows/Linux) 3D graphical online world that will evolve into a fully-featured MMORPG. It requires a hardware-accelerated video card that supports at least OpenGL 1.2. Read more


    AFNIX is a multi-threaded functional programming language with dynamic symbol bindings that support the object oriented paradigm. AFNIX features a state of the art runtime engine that supports both 32 and 64 bits platforms. AFNIX is distributed with several clients and a rich set of libraries that are designed to be platform independent.
  • Alice
    Alice is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming.
  • Artelys Kalis
    Artelys Kalis is an extensible constraint programming framework enabling the user to define its own constraints and search heuristics. It also includes several global constraints. It is available as a C++ library and its port to Xpress-Mosel environment (Xpress-Kalis) offers easy-to-use modeling capabilities.
  • BRL
    language designed for server-side WWW-based applications, particularly database applications. It is based on Scheme, which makes the syntax extremely simple yet powerful
  • Caml
    Caml is a strongly-typed functional programming language from the ML family. Caml Light and Objective Caml are two implementations of Caml developed at projet Cristal.
  • Cayenne
    Apache Cayenne is an open source persistence framework licensed under the Apache License, providing object-relational mapping (ORM) and remoting services. With a wealth of unique and powerful features, Cayenne can address a wide range of persistence needs.
  • CDuce
    CDuce is a modern XML-oriented functional language with innovative features. A compiler is available under the terms of an open-source license. CDuce is type-safe, efficient, and offer powerful constructions to work with XML documents.
  • Chicken
    a Scheme-to-C compiler supporting most of the language features as defined in the Revised^5 Report on Scheme. Chicken generates quite portable C code, and files compiled by it (including itself) should work without any changes on most platforms
  • ChocoSmallTalk
    The ChocoSmallTalk system is a hybrid Smalltalk/Lisp implementation in Common Lisp.
  • Clean
    Clean is a general purpose, state-of-the-art, pure and lazy functional programming language designed for making real-world applications.
  • ClearLisp
    ClearLisp is a Common LISP interpreter written in C# with the purpose of scripting in a .NET or Mono environment. The ClearLisp language supports a large subset of CL and has an object model with generic functions, class and instance methods, properties, and import of existing .NET classes. ClearLisp executes LISP scripts in interactive mode or in Web mode (IIS; XSP or Apache with Mono). Sample ClearLisp code is provided in the form of a personal, file-based wiki Web application.
    Common Lisp is a high-level, all-purpose, object-oriented, dynamic, functional programming language. CLISP includes an interpreter, a compiler, a debugger, CLOS, MOP, a foreign language interface, i18n, regular expressions, a socket interface, and more. An X11 interface is available through CLX, Garnet and CLUE/CLIO. Command line editing is provided by readline. CLISP runs Maxima, ACL2 and many other Common Lisp packages.
  • Clozure CL
    Clozure CL (often called CCL for short) is a free Common Lisp implementation with a long history. Some distinguishing features of the implementation include fast compilation speed, native threads, a precise, generational, compacting garbage collector, and a convenient foreign-function interface.
  • CMU Common Lisp
    a full-featured Common Lisp system, focusing on a very good compiler
  • Coconut
    Coconut is a simple, elegant, Pythonic functional programming language that compiles to Python. Since all valid Python is valid Coconut, using Coconut will only extend and enhance what you're already capable of in Python.
  • Eff
    Eff is a functional language with handlers of not only exceptions, but also of other computational effects such as state or I/O. With handlers, you can simply implement transactions, redirections, backtracking, multi-threading, and much more?
  • Elk
    Elk is an implementation of the Scheme programming language. In contrast to existing, stand-alone Scheme systems Elk has been designed specifically as an embeddable, reusable extension language subsystem for applications written in C or C++. Developers using Elk can deliver applications with different components written in different languages, such as an efficient core written in C or C++ and an extensible user interface layer implemented in Scheme. To help building hybrid application architectures, Elk supports a tightly-knit interworking of the C/C++ parts of applications with Scheme code.
  • Erlang
    Erlang is a small concurrent functional programming language developed by Ericsson. It is being used by Ericsson as a systems programming language for large concurrent fault-tolerant distributed systems.
  • Franz Allegro Common Lisp
    (commercial) Franz Inc. offers Allegro CL with AllegroCache that together provide an ideal environment to create complex, mission-critical applications that solve real world problems very quickly.
  • Guile
    Guile is designed to help programmers create flexible applications that can be extended by users or other programmers with plug-ins, modules, or scripts. With Guile you can create applications and games for the desktop, the Web, the command-line, and more.
  • Haskell
    a general purpose, purely functional programming language
  • Haskell++
    Haskell++ is an `object oriented' extension of Haskell, which supports a form of inheritance via extended class and instance declarations.
  • Hugs
    Hugs is a functional programming system based on Haskell 98, the de facto standard for non-strict functional programming languages.
  • husk
    husk is a dialect of Scheme written in Haskell that implements a subset of the R5RS standard. Advanced R5RS features are provided, including continuations, hygienic macros, and a full numeric tower.
  • Idris
    Idris is a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program?s behaviour can be specified precisely in the type.
  • Inlab-Scheme
    an independent implementation of the algorithmic language Scheme
  • J
    An APL with no special characters, by APL inventor Kenneth Iverson. Faster development than many languages. Free evaluation download.
  • JoCaml
    JoCaml is an extension of Objective Caml with primitives for network-transparent distributed and mobile programming.
  • Kokogut
    a compiler of Kogut - an experimental programming language which supports functional and scripting-style programming, and a non-traditional flavor of object-oriented programming. Its semantics is most similar to Scheme or Dylan, but the syntax looks more like ML or Ruby
  • Ksi Scheme
    an implementation of the Scheme programming language written in C
  • KSM-Scheme
    a Scheme interprter that integrates easily with functions and variables defined in C language. KSM-Scheme implements Revised5 Report on the Algorithmic Language Scheme standard. In addition to the standard, KSM-Scheme has extensions that enable to call C functions and to manipulate C variables
  • Larceny
    Larceny is a simple and efficient implementation of the Scheme programming language. Created originally as a test vehicle for research on garbage collection and compiler optimizations, Larceny has grown into a major multiplatform system, and is one of the very few implementations that support all four de facto standards for Scheme: IEEE/ANSI, R5RS, ERR5RS, and the R6RS.
  • LIME
    LIME is a dynamic programming language with LISP-like syntax. It started out as a minimal subset of LISP, and quickly incorporated several new features that enable different programming styles.
  • LispWorks
    a commercial complete Common Lisp system that has native compilation, extensive debugging tools, a Foreign Language Interface, and libraries for CORBA, GUI, database, and rule-based programming
  • Lithp
    Lithp is a basic, tiny LISP implementation. It was created to be a configuration/logic file format.
  • Logtalk
    an Open Source object-oriented extension to the Prolog programming language
  • mercury
    Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features.
  • Metacza
    Metacza is a language and its compiler which produces output in the C++ Meta Template Language.
  • Mezzo
    Mezzo is in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory.
  • MLWorks
    (commercial) Harlequin's implementation of SML
  • Mondrian
    a functional language designed to interwork closely in an OO environment, such as .NET
  • Moscow ML
    Moscow ML provides a light-weight implementation of Standard ML, a strict functional language widely used in teaching and research.
  • Nemerle
    Nemerle is a hybrid (functional, object-oriented and imperative) programming language for the .NET platform.
  • Objective Caml
    the latest implementation of the Caml dialect of ML. Caml is a strongly-typed functional programming language from the ML family
  • OpenComal
    a highly portable and free implementation of the Comal programming language. Comal is a crossover between Basic and Pascal, with the best features of both and none of the drawbacks of either
  • Petite Chez Scheme
    a complete Scheme system that is fully compatible with Chez Scheme but useshigh-speed threaded interpreter technology in place of Chez Scheme's incremental native-code compiler
  • PLAN
    PLAN is a resource-bounded functional programming language that uses a form of remote procedure call to realize active network packet programming. It is part of the SwitchWare Project.
  • Potigol
    Potigol is a modern language designed to be used by beginners. It features static typing with inference, multiparadigm, C-style syntax, and Portuguese-based language constructs.
  • Prolog IV
    a compiled constraint programming language. The language foundations defined by Alain Colmerauer, constitute a novel and rigorous mathematical model
  • QScheme
    a small and fast Scheme interpreter. It's more or less R5RS conformant
  • Qu-Prolog
    an extended Prolog designed primarily as a prototyping language and tactic language for interactive theorem provers. It is the implementation language for the Ergo theorem prover
  • Red language
    Red language is a native-code compiled functional, imperative, symbolic, and homoiconic programming language that re-uses most of REBOL's syntax and semantics.
  • Refal-5
    REcursive Functions Algorithmic Language
  • RPL/2
    RPL/2 is a special language. The reversed polish notation and the definitional working come from Forth, only keeping an anonymous stack; the control structures come from Lisp.
  • Scheme
    Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed tohave an exceptionally clear and simple semantics and few different ways to form expressions. A wide variety of programming paradigms, including imperative, functional, and message passing styles, find convenient expression in Scheme.
  • Scheme Scribe
    actually a true programming language, provided with high level features (such as objects, higher order functions, regular and syntactic parsing, etc.). Scribe is based on the Scheme programming language
  • Schemik
    Schemik is a high-level lexically-scoped implicitly-parallel dialect of Scheme and Common LISP. This means the parallel execution of programs is done independently of the programmer, and each program written in Schemik always produces the same results no matter which parts of the program are executed simultaneously.
  • SCM
    SCM is a Scheme implementation conforming to Revised5 Report on the Algorithmic Language Scheme and the IEEE P1178 specification. SCM includes Hobbit, the Scheme-to-C compiler originally written by Tanel Tammet. Hobbit generates C files whose binaries can be dynamically or statically linked with a SCM executable. SCM includes linkable modules for sequence-comparison, arrays, records, and byte-number conversions; and modules for POSIX system calls and network-sockets, readline, ncurses, and Xlib.
  • SICStus Prolog
    (commercial) follows the mainstream Prolog tradition in terms of syntax and built-in predicates. As of release 3.8, SICStus Prolog provides two execution modes: the iso mode, which is fully compliant with the International Standard ISO/IEC 13211-1 (PROLOG: Part 1--General Core); and the sicstus mode, which is largely compatible with e.g. C-Prolog and Quintus Prolog, supports code written in earlier versions of SICStus Prolog
  • Sisal
    a High Performance, Portable, Parallel Programming Language
  • SML
    Standard ML is a safe, modular, strict, functional, a polymorphic programming language with compile-time type checking and type inference, garbage collection, exception handling, immutable data types and updatable references, abstract data types, and parametric modules
  • STklos
    a free Scheme System (nearly) conform to R5RS. The aim of this implementation is to be fast as well as light. The implementation is based on an ad-hoc Virtual Machine. STklos can also be compiled as a library, so that one can easily embed it in an application
  • Streem
    Streem is a concurrent scripting language based on a programming model similar to shell, with influences from Ruby, Erlang and other functional programming languages.
  • SXM
    a portable implementation of the Scheme Programming language. It conforms to IEEE/ANSI standard of Scheme and supports all features of the R5RS Report on Scheme. In addition, SXM supports numerous features of Chez Scheme v6.0 and SRFIs 0, 6, 8, 11, and 16
  • TL3
    TL3 is a compact lisp interpretor that is an ancestor of Lush. It is pretty clean with a full online documentation, a graphic toolkit, an extension protocol, etc.
  • Unlambda
    an obfuscated functional programming language, a mixture of Intercal and Scheme

Matching Content

Share this Page
Bookmark and Share
Submit this page to popular social networks such as Digg, Twitter, StumbleUpon and more.

My LinuxLinks
  • Bookmarked links
  • Emailed Newsletter
  • Your own profile

  • Top Applications
    100 Essential Apps
    All Group Tests

    Top Free Software
    5 Office Suites
    3 Lean Desktops
    7 Document Processors
    4 Distraction Free Tools
    9 Project Management
    4 Business Solutions
    9 Groupware Apps
    14 File Managers
    10 Databases
    21 Backup Tools
    21 Productivity Tools
    5 Note Taking Apps
    9 Terminal Emulators
    21 Financial Tools
    5 Bitcoin Clients
    21 Text Editors
    21 Video Emulators
    21 Home Emulators
    42 Graphics Apps
    6 CAD Apps
    42 Scientific Apps
    10 Web Browsers
    42 Email Apps
    12 Instant Messaging
    10 IRC Clients
    7 Twitter Clients
    12 News Aggregators
    11 VoIP Apps
    42 Best Games
    9 Steam Games
    42 Audio Apps
    5 Music Streaming
    42 Video Apps
    5 YouTube Tools
    80 Security Apps
    9 System Monitoring
    8 Geometry Apps
    Free Console Apps
    14 Multimedia
    4 Audio Grabbers
    9 Internet Apps
    3 HTTP Clients
    5 File Managers
    8 Compilers
    9 IDEs
    9 Debuggers
    7 Revision Control Apps
    6 Doc Generators
    Free Web Software
    21 Web CMS
    14 Wiki Engines
    8 Blog Apps
    6 eCommerce Apps
    5 Human Resource Apps
    10 ERP
    10 CRM
    6 Data Warehouse Apps
    8 Business Intelligence
    6 Point-of-Sale

    Other Articles
    Migrating from Windows
    Back up your data
    20 Free Linux Books
    24 Beginner Books
    12 Shell Scripting Books

    Web Calendar
    Linux Licenses

    Advertise at


    Add Link | Modify Link | About | FAQ | Guide | Privacy | Awards | Contact |
    Portal Version 0.7. Intel Blade.
    Comments to the webmaster are welcome.
    Copyright 2009 All rights reserved.