Esiste un interprete Haskell che accetta definizioni di tipo o preferibilmente tutti i tipi di istruzioni?Un interprete Haskell/definizioni di tipo w
Ho già provato ghci e hugs e nessuno di questi lo fa. C'è qualche ragione particolare per cui questo è difficile/impossibile?
Tradizionalmente, la risposta a questo è stata che il codice scritto in un interattivo vita rapide all'interno della monade IO. È come se ci fosse un'ombra main = do che si nasconde dietro lo Prelude>. Pensaci in questo modo, e l'assenza di dichiarazioni di tipo e sintassi di dichiarazione di primo livello ha senso, come tutte le istruzioni let.
Ma Ptival ha ragione: sembra che non ci si deve preoccupare di tutto questo presto.
Sembra che presto sarà fissato in GHCi, vedi:
Infatti. È già possibile in HEAD e la funzionalità sarà in 7.4. –
Cosa stai cercando di fare? Anche se penso che HBC sia stata in grado di accettare affermazioni arbitrarie di Haskell. Si noti che non è possibile fornire una definizione del tipo in ghci perché non ci sarà una funzione allegata per esso, sebbene 'let fx = x + 1 :: (Num a) => a -> a' dovrebbe lavoro. – ivanm
Condivido il tuo dolore. Ho tonnellate di 'Test.hs' in giro. Ancora peggio, la console ghci non gestisce correttamente l'azione incolla, almeno sul mio sistema (bug che ho appena segnalato). – gawi
@ivanm In realtà, in questo momento sono appena agli inizi e non sto ancora cercando di fare qualcosa di particolare. Mi sto solo chiedendo. – julkiewicz