Pensando alla monade, mi è venuta l'idea di una monade come via per rompere con l'architettura di Von Neumann. L'architettura di Von Neumann utilizza una serie di istruzioni (chiamate programma) per modificare i dati in memoria e l'esecuzione di ciascuna istruzione del programma aggiorna un contatore di programma per sapere quale istruzione è l'esecuzione successiva.È possibile creare una Monade che conta il numero di istruzioni?
Se pensiamo all'architettura Von Neumann come monade, l'operatore di bind (>> =) aggiorna il contatore del programma. Possiamo creare una Monade che rompa l'architettura di Von Neumann per fare di più nel vicolo cieco. Ad esempio, possiamo avere una Monade che conta il numero di istruzioni eseguite nei nostri programmi.
Ma, quando ho cercato di attuare tale Monade in Haskell come:
data Counter a = Counter Integer a
deriving(Show)
instance Monad Counter where
(Counter n1 a) >>= f = let Counter _ b = f a
in (Counter (n1+1) b)
return a = Counter 1 a
mi accorgo che romperà le leggi de Monadi, ad esempio:
return x >>= f /= f x
do
a <- return 3
return a
do
return 3
I due blocchi sono gli stessi perché le leggi della monade, ma restituiranno qualcosa di diverso perché hanno un numero diverso di istruzioni (frasi)
Ho fatto qualcosa di sbagliato? o non è possibile avere tale Monade?
Questa è una buona domanda, potresti riscrivere per renderlo più chiaro? È un po 'difficile da leggere a causa degli errori. –
Beh, sembra che non infrangerebbe quelle leggi, se "return" non conta. – fuz
@ Matt Fenwick, riscrivo la domanda per sistemare la grammatica. – Zhen