Tony Morris

@djspiewak @darinmorrison you are playing the odersky card. That is why progress is not being made. Why not just learn it is wrong?

@dibblego @darinmorrison I’m frustrated because I have stated very clearly my justifications and you have discounted and insulted them.

@djspiewak @darinmorrison I just want to clear on your position. It is very obvious a beginner mistake. I'd rather just learn it and move on

@dibblego @darinmorrison My position is that the runtime which gives meaning to a program is part of the program.

@djspiewak @darinmorrison I can see how you might think this is true but it cannot make sense no matter how I look at it.

@dibblego @darinmorrison It’s a line of thinking that I believe is worth pursuing, because it leads to ideas about pure “regions”.

@djspiewak @darinmorrison These have been implemented, even in Scala. Do you know the free monad?

@dibblego @darinmorrison Or, more precisely, free monads allow joining of these regions, which is more important.