Haskell IO - maniglia chiusa

Question

Sto cercando di capire Haskell IO ma questa caratteristica di stdin in ultima analisi, mi confonde: Quando provo ad usare qualche funzione come getContents, per esempio in:

let main = do x<-getContents; putStrLn x 

ho la errore seguente:

hGetContents: illegal operation (handle is closed) 

Come dovrei fare IO con questo? C'è qualche correzione o dovrei cercare un'altra funzione di I/O analogica?

Answer 1

Ti suggerisco di indagare anche su un approccio alternativo. Esistono alcuni problemi inerenti a getContents e operazioni simili:

1. È possibile avere un handle non valido: un handle già chiuso. Questo è comune nella maggior parte delle lingue, ma possiamo fare di meglio. Idealmente, vorremmo essere sicuri che una volta chiusa una maniglia, non potremmo utilizzarla ulteriormente.
2. getContents è un lazy IO, che significa (tra gli altri problemi) che:
   • Abbiamo poco o nessun controllo di when (if) the handle is closed.
   • Durante l'elaborazione della stringa restituita da getContents, i dati vengono letti utilizzando le operazioni lazy IO. Ciò significa che all'interno dei calcoli puri possiamo ottenere effetti ed errori IO.

Un'alternativa più sicura è quella di utilizzare un altro concetto, chiamato iteratees, conduits o tubi. L'idea è che descrivi i tuoi componenti come cose che leggono alcuni dati di input e/o scrivi output e poi li combinano insieme. Questo ti permette di scrivere codice molto robusto ed elegante.

Answer 2

getContents == hGetContents stdin. Infatti hGetContents segna il suo handle (semi-) chiuso e questo significa che qualsiasi tentativo di leggere da stdin di nuovo avrà esito negativo.

Date un'occhiata al After using getContents nel Haskell User Guide

Answer 3

This does not reproduce in normal operation

Se si tenta di utilizzare getContents dall'interno ghci, come ti sembra di fare, questo è esattamente ciò che accadrà quando lo si utilizza la seconda volta in giro. La prima chiamata imposterà lo handle nello stato (semi) closed e tutti i successivi tentativi di utilizzo falliranno.