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