タグ

2017年8月26日のブックマーク (1件)

  • An ASM Monad

    Two weeks ago, I briefly introduced a way of representing Assembly Language in Haskell code, in order to illustrate the programming paradigm to which it belongs. In a move that is sure to scare off both high-level and low-level programmers, I shall now explain how a Monad implementing 6502 Assembly can be created. In real code, this would use more abstract or efficient types, but in this article I

    Nnwww
    Nnwww 2017/08/26
    MonadFixの説得力のある例の1つ。循環するアクションが記述できると、アセンブリDSLのモナドを実装する際に未来のシンボルへのjmp命令が書けるようになる