Previous
Top
Next
The Chip Model in Haskell
chip :: [Packet] → [Packet]
type
Packet = (Channel,Data)
type
Channel = Int
type
Data = [Word]
┌──────┐ ps ───┤ chip ├──► ps' └──────┘
One chip processes packets on a number of independent channels
Packet processing is
stateful
: the output for a packet can depend on
all
previous input on the
same
channel.