È tempo Haskell ha un REPL moderno come quello di Mathematica (o meglio).
Effettua ogni calcolo eseguito in un thread separato, in modo che l'utente abbia il controllo sulle risorse di ciascuna casella di calcolo (possibilità di mettere in pausa, riprodurre, annullare, riprodurre, impostare memoria / stack / limiti di tempo, ecc.). Consenti anche l'output della grafica (come?).
Quindi scollega queste scatole dalla moderna tela GHCi 1D nello spazio 2D, consenti alle caselle di essere clonate (un clone riceve la stessa sorgente, aspetta che l'utente prema il pulsante "riproduci" ...), il loro codice sorgente modificato (consenti anche per più di una riga.
Quindi consenti a queste scatole di essere assemblate in catene - o reti - se i tipi si adattano (deduci nuovi vincoli, se ce ne sono, come nel solito inferenza di tipo). Rendi le scatole unite in un'unica funzione / modulo, produci automaticamente il file sorgente risultante, ecc. Ecc.
È fattibile? Una comunità di esperti può auto-organizzarsi per produrre qualcosa del genere, "per un grande bene"?