Domande con tag 'ocaml'

domande con tag
2
risposte

Tipo di controllo e tipi ricorsivi (Scrivere il combinatore Y in Haskell / Ocaml)

Quando si spiega il combinatore Y nel contesto di Haskell, di solito si nota che l'implementazione diretta non effettuerà il check-in di tipo Haskell a causa del suo tipo ricorsivo. Ad esempio, da Rosettacode : The obvious definition of th...
posta 27.10.2013 - 21:43
4
risposte

OCaml è utile per l'analisi numerica? [chiuso]

Attualmente sto usando C e alcuni FORTRAN per risolvere numericamente sistemi di equazioni differenziali. Sono un po 'stufo di entrambi questi linguaggi, ma ho bisogno di un codice (piuttosto) efficiente ... Sto pensando di passare a OCaml....
posta 20.02.2011 - 02:41
0
risposte

Hoes incide sull'incidenza della produttività di Lisp e OCaml confronta? [chiuso]

Sto per iniziare un nuovo progetto e non posso decidere se scegliere OCaml o Lisp per il progetto. La mia preoccupazione principale riguarda la differenza di produttività, se esiste. Programma OCaml dal 1998 e, anche se non ho provato a misur...
posta 25.01.2014 - 03:47
1
risposta

Lo stato mutabile globale privato è sempre appropriato, ovvero quando viene usato per prevenire l'uso improprio dell'API?

Sto scrivendo un controllo di tipo per un dialetto ML che implica la generazione di variabili di tipo "fresche" (nuove e univoche) "(valori che rappresentano le incognite). La mia strategia e la strategia che sembra essere utilizzata nelle eserc...
posta 23.08.2018 - 03:41
1
risposta

Quali sono alcuni usi pratici dei tipi di dati algebrici generalizzati? [chiuso]

Tutte le esercitazioni su GADT che ho visto (in Haskell, Coq e Idris) usano una stessa versione di un interprete ben tipizzato per mostrare come le GADT possono essere utili, in cui si utilizza l'indice di tipo per codificare il tipo di GADT ter...
posta 27.02.2017 - 16:23
1
risposta

come differiscono gli interpreti per le lingue tipizzate staticamente o dinamicamente?

La scrittura di un interprete per un linguaggio tipizzato in modo dinamico di solito comporta la creazione di un Ambiente, una struttura di dati che memorizza le mappature dei nomi di variabili ai loro valori. I valori sono racchiusi in una sort...
posta 08.07.2015 - 05:20
1
risposta

Come gestire configurazioni rigide a livello di componente?

Distinguo tre livelli di organizzazione durante la programmazione: il livello di libreria, il livello di componente e il livello di applicazione. Una libreria definisce le funzioni per risolvere una serie di problemi correlati o operazioni relat...
posta 30.12.2013 - 12:52
1
risposta

Qual è la differenza tra moduli applicativi e generativi e classi di tipi?

Leggendo i commenti a questo post sul blog mi sono reso conto che non ne so molto di alcune funzioni davvero interessanti meccanismi tra linguaggi come Haskell, OCaml e Standard ML. Mi piacerebbe una panoramica di alto livello non sulla sintas...
posta 01.08.2016 - 17:56