I recommend to read as well "Reflections on Scala Days 2012" by Erik Bakker:
http://www.lunatech-research.com/archives/2012/04/20/reflections-scala-days-2012

Note that there were 4 parallel sessions, so the picture is still far from 
complete.

Martin Odersky built Sun's Java compiler javac, version 1.3; thereafter he 
created Scala. Martin has gathered other excellent compiler specialists in 
Lausanne, such as Paul Phillips and Eugene Burmako. They are now finishing 
project Kepler = compile-time metaprogramming = support for macro's; this 
yields the power of DotNet's Linq. 

WRT ACP:

I was very happy to see and hear that Eugene plans to take "my" DSL for the 
Algebra of Communicating Processes as a use case for the macro's. (see sheet 14 
of 
http://www.slideshare.net/jamesskillsmatter/project-kepler-compile-time-metaprogramming-for-scala).

IMO ACP is a kind of Maxwell theory of processes. It has extensions for time, 
space and money. See:

Real time process algebra
http://alexandria.tue.nl/repository/freearticles/589158.pdf

Real space process algebra
http://alexandria.tue.nl/repository/books/588986.pdf

Parallel Processes with Implicit Computational Capital 
http://alexandria.tue.nl/extra1/wskrap/publichtml/200635.pdf

Efficient Production Process Algebra
http://www.is-frankfurt.de/uploads/efficient_algebra.pdf

Op 20 apr. 2012, om 21:38 heeft John Nilsson het volgende geschreven:
> Thanks for summary. I've been looking forward to see what's happening in the 
> Scala world.
> 
> Btw. For the lurkers of this list who hasn't checked out Scala yet, do have 
> look. The parser combinators in the standard library is more or less an OMeta 
> implementation. Combined with Kojo for editing it should provide an 
> environment very much suited for experimenting with the ideas on this list.
> 
> BR, 
> John
> 
> Den 20 apr 2012 16:59 skrev "Andre van Delft" <andre.vande...@gmail.com>:
> Indeed I missed the link to the video of the 12 year old Shadaj Laddad.
> Here is it as yet:
> http://skillsmatter.com/podcast/scala/making-games-and-solving-puzzles-in-scala
> 
> Overview of the video's is here:
> http://skillsmatter.com/event/scala/scala-days-2012 
> Still many video's are not online. 
> 
> Anne Veling had a talk that got the most enthusiast tweets; it is not yet on 
> the list.
> 
> Simon Peyton-Jones (Microsoft Research) started his keynote with the 
> manifesto for teaching computer science in the 21st century, that was 
> launched two weeks earlier in the UK. He said that current ICT education 
> comes down to teaching Microsoft Office. I have observed the same with my two 
> children, in the Netherlands. French and German attendees of Scala Days told 
> me that ICT education in their country is like that.
> http://www.guardian.co.uk/education/itforschools
> 
> 
> 
> On Fri, Apr 20, 2012 at 4:09 PM, John Nilsson <j...@milsson.nu> wrote:
> I think one of the video links are wrong, should they both be the same? 
> BR, 
> John
> 
> Den 20 apr 2012 01:57 skrev "Andre van Delft" <andre.vande...@gmail.com>:
> Scala Days 2012 was held this week in London; 400 passionate developers; many 
> presentations on DSLs, parallelism, concurrency, FP, compiler technology and 
> much other stuff. http://days2012.scala-lang.org/ Enthusiastic tweets: 
> https://twitter.com/search/scaladays
> 
> The keynotes were by Guy Steele, Simon Peyton-Jones, Anthony Rose 
> (http://zeebox.com/) and Martin Odersky; I warmly recommend these, but right 
> now the videos are not yet online.
> 
> Twelve year old Shadaj Laddad had an awesome talk; he is a real good 
> programmer, and maybe even better teacher. The video is here: 
> http://skillsmatter.com/podcast/scala/subscript-extending-scala-with-the-algebra-of-communicating-processes
> 
> I presented my language extension based on the Algebra of Communicating 
> Processes; I have mentioned this theory a couple of times here the Fonc list. 
> ACP may be viewed as extending Boolean Algebra with actions, and from there 
> parallelism and communication. With some syntactic sugar added, it has much 
> of the power of BNF, CCS, Linda, pipes in Unix command shell. Implementation 
> as a language extension turns out to be fairly easy. I think ACP deserves 
> much more attention than it currently gets; it might IMO become as important 
> as the object-oriented and functional paradigms. 
> 
> The video of my talk is here:
> http://skillsmatter.com/podcast/scala/subscript-extending-scala-with-the-algebra-of-communicating-processes
> The sheets and accompanying paper are at 
> http://code.google.com/p/subscript/downloads/list
> 
> André
> 

_______________________________________________
fonc mailing list
fonc@vpri.org
http://vpri.org/mailman/listinfo/fonc

Reply via email to