whiley.org
Whiley | Implementation
http://whiley.org/tag/implementation
A Programming Language with Extended Static Checking. Bob Atkey's Blog. Will Cook's Fusings. Whiley v0.3.33 Released! By Dave, on April 8th, 2015. The next release of Whiley is upon us! Work got a little bogged down with the start of term, but should hopefully now pick up a little. The main component of this release is the removal of the string and char data types from the language. This is quite a big change, but is . . . → Read More: Whiley v0.3.33 Released! Looking Forward to 2015. With the upcoming v...
whiley.org
Whiley | Development
http://whiley.org/tag/devel
A Programming Language with Extended Static Checking. Bob Atkey's Blog. Will Cook's Fusings. Looking Forward to 2015. By Dave, on January 6th, 2015. It’s scary to think that 2014 has been and gone, and that I still haven’t released the next major version of Whiley! Despite this, I have been busy improving the compiler and language and I thought it would be helpful for me to recap what was achieved last year, and what the goals going . . . → Read More: Looking Forward to 2015. A Story of Cast Expressions.
mariusgheorghe.info
Marius Gheorghe | opinion
http://www.mariusgheorghe.info/category/opinion.aspx
Building software : make it work, make it good, make it fast. Its just a binding failure. A GitHub extension VS bug. Caused some serious damage for some dude. It was very sad to see the actual cause of the bug. Though. A frigging WPF checkbox binding failure case GitHub projects to always be created public. It's funny because a lot of people who do XAML figured out that MVVM/binding is the wrong way to tackle UIs of a reasonable complexity but on the other hand it's still sad to see it fail so miserably.
mobilechameleon.com
Toolkits Using Python - Mobile Chameleon
http://www.mobilechameleon.com/toolkits-using-python.html
There is a handful of toolkits enabling developers to develop iOS and Android apps using Python:. Python bindings for Qt). Some other toolkits let you use Python, but there are caveats…. Lets you do scripting in. But projects using Boo will still work). Lets you do scripting with Python. It's possible to interface Python with C/C code, so in principle you might be able to use Python with any of the. Two examples I know about are. A community-contributed Python interpreter. That can be used with.
following-flo.blogspot.com
Following Flo: April 2009
http://following-flo.blogspot.com/2009_04_01_archive.html
Montag, 27. April 2009. Summary JAX, SOACON, Eclipse Forum Europe. Did you have the chance to visit this years JAX. I thought it will be mostly about Java-related technologies. Surely, I have already heard about Scala, Rails, Groovy or JRuby, but the huge amount of different programming languages that exist nowadays and that were presented there, really overwhelmed me! Have you already heard about F#, Newspeak, Fortress or Boo? At least, I didn't. What Markus Voelter. Has been opened again. A while n...
whiley.org
Whiley | Java
http://whiley.org/tag/java
A Programming Language with Extended Static Checking. Bob Atkey's Blog. Will Cook's Fusings. A Story of Cast Expressions. By Dave, on September 5th, 2014. Input / Output and the Object-Oriented Paradigm. By Dave, on May 16th, 2013. Comparing I/O in C with Java. By Dave, on November 28th, 2012. Profiling Field Initialisation in Java. By Dave, on September 30th, 2012. Java versus C Performance. By Dave, on August 13th, 2012. Recently, I came across an interesting discussion of C versus Java performance ove...
whiley.org
Whiley | Concurrency
http://whiley.org/tag/concurrency
A Programming Language with Extended Static Checking. Bob Atkey's Blog. Will Cook's Fusings. Connecting the Dots on the Future of Programming Languages. By Dave, on January 18th, 2012. Yesterday, I serendipitously came across two things which got me thinking about the future of programming languages:. Parallel Sum in Whiley. By Dave, on August 3rd, 2011. To implement the parallel sum, I divide the . . . → Read More: Parallel Sum in Whiley. Actor Syntax in Whiley. By Dave, on May 16th, 2011. The [ Actor M...
whiley.org
Whiley | Flow Typing
http://whiley.org/tag/flow-typing
A Programming Language with Extended Static Checking. Bob Atkey's Blog. Will Cook's Fusings. Flow Typing with Constrained Types. By Dave, on August 3rd, 2016. Flow-sensitive typing (a.k.a. “Flow Typing”) is definitely getting more popular these days. Ceylon, Kotlin, TypeScript, Racket, Whiley all support flow typing in some form. Then, of course, there’s Facebook Flow and the list goes on! Understanding why Union Types are useful. By Dave, on July 31st, 2013. By Dave, on October 31st, 2012. The Whiley la...
whiley.org
Whiley | Git
http://whiley.org/tag/git
A Programming Language with Extended Static Checking. Bob Atkey's Blog. Will Cook's Fusings. By Dave, on November 24th, 2010. Well, after some persuasion, I’ve finally moved the Whiley code over from sourceforge onto github. The repository is here: http:/ github.com/DavePearce/Whiley. This means you’ll be able to see the compile changing right before your eyes … joy 😉. Program Specification in Practice? Flow Typing with Constrained Types. Reference Lifetimes in Whiley. Whiley v0.3.40 Released!
