What is it about Haskell that has led to it's rise in popularity among experts in the FP world?
Ci sono alcune cose diverse che ho visto:
-
È un romanzo. Per quanto gli entusiasti di FP possano cacare tutte le mode in termini di programmazione imperativa e OO, sono ancora umani. Lisp è in giro dagli anni '60. ML dagli anni '70. Un sacco di persone hanno passato molto tempo a giocare con loro, estendendoli, esplorandoli. Haskell offre nuove opportunità per la ricerca e l'esplorazione.
-
È puro. Non penso che sia controverso affermare che gli entusiasti del FP non sono di gran lunga i più pratici. Apprezzano l'eleganza e aborrono il tipo di compromessi (effetti collaterali, limitazioni del sistema di tipo) realizzati da altri linguaggi funzionali nel nome della praticità. Essendo puro e utilizzabile, Haskell ha affermato tutte le loro argomentazioni nel corso degli anni in cui FP poteva essere fantastico se fatto bene.
-
È profondo. La caratteristica principale di Haskell è il suo digita sistema . Dal momento che gran parte del suo pubblico di destinazione sono più accademici che cercano di implementare strane cose accademiche nella lingua, quel tipo di sistema è vitale poiché fornisce un campo da gioco per quegli utenti. È il principale elemento di differenziazione per il linguaggio per questi tipi di utenti.
-
Funziona. Haskell ha un compilatore solido. Ha un supporto di libreria decente per un linguaggio funzionale. Una volta arrivati ai margini della popolarità, avere un buon supporto per i compilatori non è un dato di fatto. Avere un compilatore che produce codice abbastanza performante è un lusso, e GHC è piuttosto buono.