Newsgroup: it.lavoro.informatica
Titolo: programmazione funzionale

Così per curiosità ci sono aziende (in italia ma anche no), che usano 
pesantemente programmazione funzionale??
Linguaggi tipo Haskell, Erlang o Ocaml??



Io sto giusto imparando Haskell, fa piacere sapere che c'è qualcun altro 
interessato ai linguaggi funzionali (del resto c'è interesse in Francia 
ed in Germania, perchè in Italia no?).
Informazioni sulle opportunità di lavoro per Haskell le trovi qui:
http://haskell.org/haskellwiki/Jobs
In linea di massima sono comunque linguaggi di ricerca, anche se ci hanno 
sviluppato cose interessanti non appartenenti a questo settore.
Per quanto riguarda Ocaml, tieni conto il linguaggio F# che la Microsotf 
ha cominciato a commercializzare da poco, è una implementazione di Ocaml 
per .NET (con alcune differenze, a quanto ho capito, Ocaml non l'ho mai 
studiato).
Sempre la Microsoft ha nel suo gruppo di ricerca un paio di persone (di  
certo Simon Peyton Jones) che hanno contribuito allo sviluppo di Haskell.
E, curiosità, tra le persone che hanno contribuito alla nascita di 
Haskell ci sono 2 italiani: Mario Coppo e Luca cardelli.
Manlio Perillo

andrea wrote:

Ci sono anche Lisp, Scheme nella compagnia! :-) Ma non so se in Italia
(e non solo) vengano usati in ambito aziendale. A parte le formule
Excel, che sono puro Lisp! :-) Ed a parte Autocad.

 Mario Coppo
Il docente dell'università di Torino?

Manlio Perillo ha scritto:

Io sto scrivendo la tesi in (e anche su per certi versi) haskell, e il 
mio professore di riferimento collabora e ha collaborato con Coppo per 
molte pubblicazioni...
Comunque credo che più che altro Erlang possa avere un grande futuro, ci 
sono già almeno mnesia e jaws (e ejabber) che ne dimostrano ampiamente 
la potenza.
Le aziende potrebbero trarre grandi vantaggi da linguaggi funzionali 
imho, la cosa difficile è trovare persone che li conoscano...

ispas ha scritto:

In che senso formule lisp?
Ci sarebbe un mini interprete (in autocad lo sapevo ma in excel mi è nuova)?
Lisp ci ho dovuto fare un progetto ma diciamo che c'è di molto meglio, è 
un po' sorpassato imho..

 imho, la cosa difficile è trovare persone che li conoscano...
In realtà è difficile proprio trovare bravi programmatori, anche se, in 
effetti, non è detto che un bravo programmatore in un linguaggio come 
C/C++/Java/Python riesca ad essere produttivo in un linguaggio funzionale.
Manlio Perillo

Manlio Perillo ha scritto:

Sì vero, infatti secondo me un bravo programmatore funzionale DEVE avere 
una buona base teorica, dalla teoria dei tipi al lambda calcolo etc etc..
Altrimenti difficilmente si capisce quello che stai facendo imho.

 etc.. Altrimenti difficilmente si capisce quello che stai facendo imho.
Va bene la base teorica, ma non si deve fare l'errore di cercare di 
spiegare un linguaggio come Haskell, ad esempio, basandosi solo sulla 
teoria.
Molti concetti matematici su cui si basa Haskell sono complessi, ma 
assolutamente non necessari per capire il linguaggio.
Manlio Perillo

 meglio, è un po' sorpassato imho..
Sicuramente l'attuale standard Lisp, che dovrebbe essere il Common
Lisp, è enorme e complicato. Molto più sintetico lo Scheme, che è una
specie di Lisp in scala ridotta.
Altri funzionali non li conosco in dettaglio, per cui non so dire se
sono meglio o peggio. Certo può essere solo una questione di ricchezza
di libreria, e non di struttura sintattica del linguaggio, che in
Lisp/Scheme è di una semplicità allucinante :-)

Manlio Perillo ha scritto:

Forse dici così perché tu già li conosci questi concetti.
O forse sono io che non riesco a fare nulla se non capisco perché 
funziona in quella maniera, ma finché non mi sono chiarito parecchie 
cosette "teoriche" non è che ci capivo molto di programmazione funzionale.
Non serve poi moltissimo, ma senza conoscere benissimo funzioni domini e 
un po' di lambda calcolo non vedo come si possa programmare in modo 
funzionale...

 cosette "teoriche" non è che ci capivo molto di programmazione funzionale.
Poiche' io faccio parte della categoria "fino a quando non ho capito 
abbastanza bene le  cose teoriche riesco a combinare poco" e poiche' 
avevo iniziato
a studiarmi un po' di o'caml (ma poi, per vari motivi non sono riuscito
ad approfondire), potresti postare qualche link o dare comunque
qualche riferimento per trovare qualcuno dei menzionati "chiarimenti" ?
Ciao,
Marco
-- 
questo articolo e` stato inviato via web dal servizio gratuito 
http://www.newsland.it/news
 segnala gli abusi ad 
ab...@newsland.it

 
Per haskell qua trovi parecchia roba:
http://en.wikibooks.org/wiki/Haskell
La maggior parte dei concetti li avevo appresi in vari corsi 
universitari, da analisi a informatica teorica...