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.
blog.jot.fm
Conference Report — The JOT Blog
http://blog.jot.fm/category/conference-report
European Research Project Symposium at ECOOP 2011. Filed under: Conference Report. 8212; Tags: ecoop. 8212; szschaler @ 16:17. The text below is based on contributions from each of the projects. HATS Highly Adaptable Trustworthy Software. Many software projects make strong demands on the. Of the developed software, while the contradictory goal of ever faster time-to-market is a constant drum beat. Current development practices do not make it possible to produce highly adaptable. The core of the method is...
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!
whiley.org
Whiley | FPGA
http://whiley.org/tag/fpga
A Programming Language with Extended Static Checking. Bob Atkey's Blog. Will Cook's Fusings. Testing out my Papilio FPGA! By Dave, on December 20th, 2012. Recently, I got hold of a Papilio One (which you can think of as the Arduino of FPGAs). The Papilio board has a Xilinx Spartan 3 on board, which is plenty enough to get started learning about FPGAs. Here’s what the board looks like:. Now, it might look big above … . . . → Read More: Testing out my Papilio FPGA! The Liquid Metal Project.
