User loginNavigation |
ScalaScala woes?A fork in the back? See discussion over at HN. People in the know are encouraged to shed light on the situation. Jeeves
From what I gather, Jeeves takes Aspect Oriented approach to privacy. This is of course not a new idea. I presume that many of the classic problems with AOP would apply to Jeeves. Likewise, using information flow analysis for handling privacy policies is not an new idea. Combining the two, however, seems like a smart move. Putting the enforcement at the run-time level makes this sound more practical than other ideas I have heard before. Still, I personally think that specifying privacy policies at the end-user level and clarifying the concept of privacy at the normative, legal and conceptual levels are more pressing concerns. Indeed, come to think of it: I don't really recall a privacy breach that was caused by a simple information flow bug. Privacy expectations are broken on purpose by many companies and major data breaches occur when big databases are shared (recall the Netflix Prize thing). Given this, I assume the major use-case is for Apps, maybe even as a technology that someone like Apple could use to enforce the compliance of third-party Apps to their privacy policies. I haven't looked too closely, so comments from more informed people are welcome. Jeeves is implemented as an embedded DSL in Scala and Python. By Ehud Lamm at 2014-02-26 18:33 | DSL | Scala | Software Engineering | 7 comments | other blogs | 10077 reads
Typesafe Activator
You can download Activator here. Truth be told, the web site has too much hype and not enough details for my tastes. Had I not known about some of the technologies behind the Typesafe Platform I wouldn't go past the first page. Hopefully this side of things will be improved. People developing in Scala might want to share their experiences in the comments. Tool Demo: Scala-Virtualized
Scala has always had a quite good EDSL story thanks to implicits, dot- and paren-inference, and methods-as-operators. Lately there are proposals to provide it with both macros-in-the-camlp4-sense and support for multi-stage programming. This paper goes into some depth on the foundations of the latter subject. By Paul Snively at 2012-05-26 22:28 | DSL | Implementation | Meta-Programming | Object-Functional | Scala | Semantics | Type Theory | login or register to post comments | other blogs | 12780 reads
Effective ScalaBy Ehud Lamm at 2012-02-07 18:41 | Scala | Software Engineering | 11 comments | other blogs | 17649 reads
Announcing Ozma: extending Scala with Oz concurrencyI am happy to announce the release of Ozma, a conservative extension to Scala that adds Oz concurrency. Ozma was developed as a master's thesis by Sébastien Doeraene under my supervision (see the implementation and the master's thesis). Oz is a multi-paradigm language that has strong support for concurrent and distributed programming. It compiles to its own virtual machine (called Mozart) that supports dataflow synchronization and lightweight threads. Scala is a functional and object-oriented language with implementations for the JVM and .Net. It is completely interoperable with Java. Ozma is an attempt at making the concurrency concepts of Oz available to a larger public. Ozma implements the full Scala specification and runs on the Mozart VM. It can therefore be seen as a new implementation of Scala. Ozma extends Scala with dataflow variables (allowing tail-recursive list functions), declarative (deterministic) concurrency, lazy declarative concurrency, and message-passing concurrency based on ports. Almost all the concurrency examples of CTM can be translated easily to Ozma. We can say that Ozma lifts the duality of Scala, namely the combination of functional and object styles, to concurrent programming. Scala Team Wins ERC Grant
This may yet lead to very interesting developments. By Ehud Lamm at 2011-01-10 15:13 | Parallel/Distributed | Scala | 25 comments | other blogs | 18147 reads
Type Classes as Objects and ImplicitsType Classes as Objects and Implicits
Martin Odersky and team's design decisions around how to do type classes in a unified OO and FP language continue to bear fascinating fruit. Implicits look less and less like "poor man's type classes," and more and more like an improvement upon type classes, in my opinion given a quick read of this paper. By Paul Snively at 2010-08-04 22:25 | Implementation | Object-Functional | Scala | Type Theory | 50 comments | other blogs | 41285 reads
Compiling Structural Types on the JVMHere's a little sausage making article for JVM language implementors. In Compiling Structural Types on the JVM: A Comparison of Reflective and Generative Techniques from Scala’s Perspective, Gilles Dubochet and Martin Odersky describe
There's no discussion of the the proposed JVM "method handles" and whether they might be an even better solution than runtime reflection. Whiteoak was mentioned previously on LtU. By James Iry at 2010-06-30 15:18 | Cross language runtimes | Implementation | Scala | 5 comments | other blogs | 13591 reads
Scala Lift Off 2009Last year, Ehud said the only reason he missed the Scala Lift Off was because it didn't have enough marketing. So this year I'm spam^h^h^h^h posting it on the LtU front page.
Further details and registration are at the conference site. I'll add comments to this topic as more information becomes available. |
Browse archives
Active forum topics |
Recent comments
25 weeks 3 days ago
25 weeks 3 days ago
25 weeks 3 days ago
47 weeks 4 days ago
51 weeks 6 days ago
1 year 1 week ago
1 year 1 week ago
1 year 4 weeks ago
1 year 8 weeks ago
1 year 8 weeks ago