So I was listening to a random podcast: http://scalatypes.com/episode-20-interview-with-benjamin-pierce
and apparently there are security oriented languages: http://www.cis.upenn.edu/~stevez/sol/ that have fancy type checkers to do more to ensure secure distributed programming: http://research.microsoft.com/en-us/projects/fstar/ and it looks fascinating. Also reading up on object capability model and the Actor model -- I'm surprised it's not more popular. Will.
_______________________________________________ langsec-discuss mailing list [email protected] https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
