redjamjar

7 ms·

31.
Presentation on the Whiley Programming Language (video)(whiley.org)
1 points by redjamjar 15y ago|0 comments
32.
Not all Tests are Passing ... is that so Bad?(whiley.org)
1 points by redjamjar 15y ago|0 comments
33.
What Kind of Revert are You?(whiley.org)
1 points by redjamjar 15y ago|0 comments
34.
Design by Contract is Most Requested Feature?(whiley.org)
1 points by redjamjar 15y ago|0 comments
35.
Where's the JLS gone?(java.sun.com)
1 points by redjamjar 15y ago|0 comments
36.
by redjamjar 15y ago
ahh, that's interesting I didn't realise that!!
37.
by redjamjar 15y ago
So whilst it doesn't work yet, I actually will support type switches as well ...
38.
by redjamjar 15y ago
Hey, So, what do you think would be better than "~="? (that's a genuine question since the syntax is not locked down yet by any means). I thought about "isa", also "<:" (following academic papers) and, of course, plain old "instanceof
39.
by redjamjar 15y ago
The good news about undecidability is that, for the most part, it's not a problem. That is, the problem instances that arise in practice are almost never actually undecidable.
40.
Musing about Actors on the JVM(whiley.org)
2 points by redjamjar 16y ago|0 comments
41.
Implementing Structural Types (+code)(whiley.org)
4 points by redjamjar 16y ago|1 comments
42.
Why don't more languages use Structural Subtyping?(whiley.org)
6 points by redjamjar 16y ago|1 comments
43.
Implementing Actors on the JVM(whiley.org)
3 points by redjamjar 16y ago|0 comments
44.
Indentation Syntax in Whiley(whiley.org)
2 points by redjamjar 16y ago|0 comments
45.
Thoughts on the X10 Programming Language(whiley.org)
2 points by redjamjar 16y ago|1 comments