Hacker News Reader

Comment by louthy | Hacker News Reader

I saw a similar computation expression implementation in F# (for MSIL):

http://stackoverflow.com/questions/14110532/extended-computa...

Thanks for the plug. While it's probably not clear from those two links, the IL builder actually tries to use the type system to enforce much more rigid correctness rules. For example, removing any of the opcodes in this example will result in a compile-time error because the IL would become invalid:

    il {
        ldc_i4 6
        ldc_i4_0
        ldc_i4 7
        add
        mul
        ret
    }

Reply on news.ycombinator.com