User loginNavigation |
archivesmore power and less verbiageLSBU's Dennis Furey produced a language the likes of which you have never seen: There is a very small subset of the language vaguely resembling pure Lisp, and any program expressible in the language is expressible in this subset. However, programs are written mostly using operators representing functional combinators. The irreducible physicality of security propertiesThe recent discussion around Safe and Secure Software in Ada involved some amount of discussion around what is involved in proving software secure, and what role do PLs play in this. I recommend two papers for further discussion:
So I hereby advance three slogans:
Edited following Dave Griffith's remarks. By Charles Stewart at 2008-04-15 14:07 | Software Engineering | 41 comments | other blogs | 14058 reads
Fan Programming LanguageJust came across the Fan object-oriented programming Language, running on the JVM and the CLR. They're shooting for portability across both VMs. Looks like they took an interesting approach language-wise, such as default immutability for concurrency, closures, mixins and exporting namespaces as REST-like URIs. This last feature is one I first encountered in the Waterken capability-secure HTTP application server. I was disappointed to read that Fan eschews generics/parametric polymorphism however. All told, it seems to lean slightly more towards the dynamic end of the spectrum than C#/Java. |
Browse archivesActive forum topics |
Recent comments
16 weeks 2 days ago
16 weeks 2 days ago
16 weeks 2 days ago
38 weeks 4 days ago
42 weeks 6 days ago
44 weeks 3 days ago
44 weeks 3 days ago
47 weeks 1 day ago
51 weeks 5 days ago
51 weeks 5 days ago