9/12/2016

Update on the Software Languages Book

Deleting this post as it superseded by newer updates.

2 comments:

  1. Interesting that you've removed all Prolog. I seem to be hearing about a lot of use of Datalog in program analysis circles: any thoughts on that?

    ReplyDelete
    Replies
    1. Yes, Prolog and Datalog and DCG are great tools in metaprogramming. I just figured that I might get a bit more readers by more consistently relying on Haskell throughout. This nice side effect is that I now have many problems coded up both in Prolog and Haskell. Don't get anywhere interestingly deep into program analysis.

      Delete