tag:blogger.com,1999:blog-4650294074444534066.post7948721671692696073..comments2024-03-13T03:49:34.330-07:00Comments on Typed Logic: Guarded Choice with MonadPlusgeophfhttp://www.blogger.com/profile/09936874508556500234noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-4650294074444534066.post-35694202900488357652011-05-31T09:13:08.430-07:002011-05-31T09:13:08.430-07:00This post is very informative, though I will need ...This post is very informative, though I will need some time to digest it. I am currently using nondeterminism in instruction selection for a compiler - it relates to branch instruction size being dependent on the offset jumped. This will involve some dependency analysis (via Data.Graph I imagine) - but currently just tries all options - which makes it scale pretty horribly when multiple branches instructions exist.Anonymoushttps://www.blogger.com/profile/02465922535777889052noreply@blogger.com