Welcome to MSDN Blogs Sign in | Join | Help

Browse by Tags

All Tags » F#   (RSS)

SecPAL Parser Updated for VS2008 and F#1.9.6.16

I finally got around to updating the SecPAL Parser to run on the latest version of Visual Studio and F#. Development experience should be much cleaner now because F# is far better integrated into VS. If you run into any problems please post a note or

Language Oriented Programming

Chris Smith from the F# team has an awesome blog post on language oriented programming - and specifically LOP in F#. For those new to LOP Chris describes it as a style of programming that resembles a domain specific language - but is still valid in a
Posted by Jason Hogg | 1 Comments
Filed under: ,

F# is getting productized!

I just saw the announcement on Don and Soma's blogs about the fact that a product team has officially been established to productize F#. This is great news for Don Syme and James Margetson who have been working slavishly on F# for the last couple of years.
Posted by Jason Hogg | 0 Comments
Filed under:

Parser for SecPAL simplified English grammar now available!

One of the great strengths of SecPAL is its unique support for multiple representations of a security policy; XML for interoperability; and a simplified English grammar for human readbility. The SecPAL v1.1 Research Release (available from http://research.microsoft.com/projects/secpal)

Writing SecPAL Assertions In F# - Contd

In my earlier post I showed how SecPAL could be used to grant access to a particular user based on a token issued by an STS that we explicitly established a trust relationship with using the SecPAL "canSay" predicate. Now I am going to show you something
Posted by Jason Hogg | 0 Comments
Filed under: , , ,

Writing SecPAL assertions in F#

I figured I would try to learn F# over this summer - and thought what better way to start than create a couple of SecPAL samples in F#. I thought this might help people that are interested in learning more about F# , or potentially F# users that are interested
 
Page view tracker