Ubuntu 14.04 "Trusty Tahr": Software Packages presenti nella categoria Haskell (2a 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 mighttpd2 a yesod.

mighttpd2 (2.8.7-2) [universe]
classical web server on WAI/warp
mueval (0.9.1-1) [universe]
Safely evaluate pure Haskell expressions - executables
notmuch-web (0.2.0-1build1) [universe]
web interface to the notmuch email indexer
pandoc-citeproc (0.2-3build1) [universe]
Pandoc support for Citation Style Language - tools
ppsh (1.2-2) [universe]
Program to parse and pretty print arbitrary Haskell Show output
shelltestrunner (1.3.2-1) [universe]
test command-line programs or arbitrary shell commands
taffybar (0.2.1-1build1) [universe]
desktop bar extensible in Haskell
threadscope (0.2.2-2) [universe]
graphical thread profiler for Haskell programs
unlambda (0.1.3-4) [universe]
interpreter for the Unlambda language
x509-util (1.4.1-1) [universe]
utility for X.509 certificates and chains
yesod (1.2.4.1-1) [universe]
Helper executables for the Haskell web framework Yesod

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.