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
.