ocaml

5calore

1risposta

funzione restituisce la lista in ordine inverso in OCaml

Voglio leggere alcuni numeri da un file, portarli a una lista e, infine, li visualizza sullo schermo. numbers.txt ha attualmente 2 3 5 7 11 tuttavia come output sto ricevendo 11 7 5 3 2 - : unit =() P

11calore

1risposta

confronto F # e OCaml

So approssimativamente come F # e OCaml differiscono in termini di "caratteristiche" (ad esempio, funtori, camlp4, unità di misura ...). Mi chiedo quanto segue: Riguardo al codice che non contiene le

5calore

2risposta

È possibile dividere un set di funzioni ricorsive in 2 file in OCaml?

Ho un file molto molto lungo che contiene un insieme di funzioni ricorsive. La ricorsione è necessaria e anche il codice è efficace. Ma voglio solo dividere il file in 2 o più file per avere una migli

10calore

2risposta

Come scrivere il codice in F # per ciò che fanno i funtori in OCaml?

Ho molti programmi scritti in OCaml, alcuni usano i funtori. Ora, sto considerando di scrivere e riscrivere una parte di codice in F # (per beneficiare di alcuni vantaggi che OCaml non ha). Una cosa d

9calore

1risposta

Scrivere un parser per un DSL in OCaml con PPX e l'estensione punto

Recentemente, è stato annunciato in OCaml github ufficiale che Camlp4 è sostituito dal ppx rewriters and extension points (https://github.com/ocaml/camlp4): camlp4 faceva parte della distribuzione uff

5calore

1risposta

OCAML Depth-First Search

Ho fatto un tutorial in OCaml (non chiedermi perché, ho appena deciso di espandere la mia conoscenza delle lingue, credo) e sono arrivato al punto in cui sono lavorare con i grafici. Il tutorial mi ha

8calore

2risposta

Possiamo avere variabili di tipo nella posizione del costruttore nel sistema di tipo Hindner Milner?

In Haskell possiamo scrivere il seguente tipo di dati: data Fix f = Fix { unFix :: f (Fix f) } Il tipo variabile f ha il tipo * -> * (cioè esso è un tipo di costruzione sconosciuto). Quindi, Fix ha

6calore

2risposta

Come faccio una semplice richiesta GET in OCaml?

Sto provando a fare qualcosa che dovrebbe essere semplice: fai una richiesta GET a un URL. Tuttavia, quando cerco esempi su come farlo, spesso finisco con un linguaggio quasi senza parole come this. Q

5calore

2risposta

Come ottenere un tipo di modulo da un'interfaccia?

Mi piacerebbe avere la mia implementazione di un modulo esistente ma mantenere un'interfaccia compatibile con il modulo esistente. Non ho un tipo di modulo per il modulo esistente, solo un'interfaccia

5calore

1risposta

Dove sono i contro di Reason (: :) operatore?

L'operatore cons (::) è una parte fondamentale di 1) scrivere le funzioni della lista ricorsiva in OCaml e lingue simili e 2) la corrispondenza degli schemi negli elenchi. Tuttavia, non riesco a trova