Quali sono alcune intuizioni che supportano la chiamata del costruttore di Maybe in Haskell "Just"?

11

L'intuizione di un tipo facoltativo come Maybe Int è che sia no Int (quindi, c'è Nothing lì) o che c'è some Int; c'è qualcosa lì.

Per me è logico che chiamiamo il costruttore di tipi per il caso "negativo" Nothing , poiché significa esattamente questo: che non c'è Int lì. Ma perché usare la parola Just nel caso in cui l'enfasi è su qualcosa in realtà essere lì ?

Per me, la parola "Just" porta la connotazione che la cosa che sta descrivendo è less dell'alternativa; l'opposto di qualcosa che è effettivamente lì; ad esempio,

A: Are you doing anything tonight?

B: No; I'm just gonna stay in and watch TV.

A: Did you investigate the creepy ghost sounds around your house?

B: yeah, turns out it was actually just an owl.

Chiaramente mi manca qualsiasi intuizione basata su questa scelta di denominazione. Che cos'è? Perché per me, la parola Just significa il contrario di come è usata nel tipo Maybe .

    
posta vijrox 28.07.2017 - 01:32
fonte

1 risposta

2

Questo è stato spiegato in passato da Simon Peyton Jones. Implica che Niente può essere il valore o 'solo' un singolo valore di tipo diverso. C'è 'solo' un'altra cosa che può essere restituita come valore, o niente.

    
risposta data 19.09.2017 - 11:38
fonte

Leggi altre domande sui tag