Category Archives: Security

Modular Manipulation of the Link-Time Environment

Posted on 2013 April 16 by

I’m in the process of hammering out a concrete design for Awelon, and my design efforts have taken me to some interesting places. My current application model looks like this: An Awelon application consists of a set of anonymous modules. … Continue reading →

Posted in Language Design, Modularity, Open Systems Programming, Security, State | 3 Comments

Why Not FFI

Posted on 2013 April 16 by

FFI – foreign function interface – is a common way for new languages to integrate with existing systems. But FFI is problematic in many ways. FFI represents ambient authority (the ability to ‘import’ authority to ad-hoc resources without a specific … Continue reading →

Posted in Language Design, Modularity, Open Systems Programming, Security | 3 Comments

Local State is Poison

Posted on 2012 October 21 by

Up through early 2011, my visions of RDP still called for `new` (as in `new Object()` or `newIORef`). At that time, my vision of an RDP language was a two-layer model: the language would support a separate initialization step for … Continue reading →

Posted in Concurrency, Language Design, Modularity, Open Systems Programming, Security, State | 35 Comments

Social Aspects of PL Design

Posted on 2012 January 11 by

Software development is ultimately a social experience. And I’m not just talking about teams of coders. Even sharing or using code via library, or services via API, is a social experience involving communication and relationships between humans. Consequently, there exists … Continue reading →

Posted in Language Design, Modularity, Open Systems Programming, Security | 1 Comment