Ubuntu 14.04 "Trusty Tahr": Software Packages presenti nella categoria Haskell (1a parte).

Haskell è un linguaggio di programmazione, creato da un apposito comitato negli anni ottanta e chiamato così in onore del logico Haskell Curry.

È un linguaggio funzionale, dove l'esecuzione del programma non è dettata dai passi successivi dei linguaggi procedurali tradizionali, ma è il risultato della soluzione di equazioni matematiche.

Rispetto ad altri linguaggi dello stesso tipo supporta una semantica di tipo lazy in cui gli argomenti delle funzioni vengono valutati solo se e quando richiesto.

Altre caratteristiche distintive riguardano il sistema dei tipi, la purezza delle funzioni e l'applicazione parziale di funzioni automatiche.

Tutto il software presente nella prossima versione di Ubuntu 14.04 "Trusty Tahr" relativo alla Categoria Haskell.


Come al solito una recensione, sceheda tecnica e istruzioni per il download di ogni programma.

Dai più conosciuti come Acl2, Alt Ergo, Axiom e Cantor (senza tralasciare il popolare Gnumeric) ad altri semplici tools come Cogides, Eukleide e  Grinvin

In ordine alfabetico da agda a leksah.

agda-bin (2.3.2.2-1) [universe]
commandline interface to Agda
arbtt (0.7-2) [universe]
Automatic Rule-Based Time Tracker
cabal-install (1.16.0.2-2) [universe]
command-line interface for Cabal and Hackage
djinn (2011.7.23-1) [universe]
generate Haskell expressions from types
ghc (7.6.3-8) [universe]
The Glasgow Haskell Compilation system
ghc-dynamic (7.6.3-8) [universe]
Dynamic libraries for the Glasgow Haskell Compilation system
ghc-haddock (7.6.3-8) [universe]
Documentation tool for annotated Haskell source code
ghc-mod (3.1.4-1) [universe]
Happy Haskell programming on Emacs
ghc-prof (7.6.3-8) [universe]
Profiling libraries for the Glasgow Haskell Compilation system
ghc-testsuite (7.6.3-1) [universe]
GHC testsuite results
gitit (0.10.3.1-6build1) [universe]
Wiki engine backed by a git or darcs filestore
gtk2hs-buildtools (0.12.4-2) [universe]
Tools to build the Gtk2Hs suite of User Interface libraries
haskell-platform (2013.2.0.0.debian3) [universe]
Standard Haskell libraries and tools
haskell-platform-prof (2013.2.0.0.debian3) [universe]
Standard Haskell libraries and tools; profiling libraries
hbro (1.1.2.0-3build3) [universe]
minimal KISS-compliant web browser
hledger (0.22-1) [universe]
command-line double-entry accounting program
hledger-interest (1.4.3-1) [universe]
interest computing for (h)ledger
hledger-web (0.22-1) [universe]
web interface for the hledger accounting tool
hlint (1.8.53-2) [universe]
Haskell source code suggestions
hopenpgp-tools (0.4-1) [universe]
hOpenPGP-based command-line tools
hsbrainfuck (0.1-6) [universe]
interpreter for the brainfuck programming language
hsx2hs (0.13.1-1) [universe]
- preprocessor
jmacro (0.6.8-1build4) [universe]
utility for jmacro JavaScript generation library
leksah (0.12.1.3-4) [universe]
haskell editor - GHC interface
leksah-server (0.12.1.2-3build2) [universe]
haskell editor - GHC interface

Se ti è piaciuto l'articolo , iscriviti al feed cliccando sull'immagine sottostante per tenerti sempre aggiornato sui nuovi contenuti del blog:
reeder
Luca Soraci

Luca Soraci

Ubuntu giunge alle nostre orecchie solo perché è stato mutuato come nome per un sistema operativo di successo; lo abbiamo sentito nei discorsi di Mandela, del vescovo Tutu, ed è uno dei concetti fondanti di quel movimento di rinascimento che vuole far fiorire il continente africano al di sopra delle difficoltà attuali.

Nessun commento:

Posta un commento

Powered by Blogger.