Arrows are a generalisation of monads introduced by John Hughes. ... “Type and Translation Rules for Arrow Notation in GHC”, Ross Paterson and Simon Peyton ...
確定! 回上一頁