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.
È 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:
Nessun commento:
Posta un commento