May be of interest to some NWRUGgers, one sentence in the middle caught my eye…
Begin forwarded message: > From: Rick Moynihan <[email protected]> > Subject: [GeekUp] Programming with Dependent Types - Monday 19th August, 7pm; > Madlab Lambda Lounge > Date: 13 August 2013 14:26:38 BST > To: "[email protected]" > <[email protected]>, [email protected] > Reply-To: [email protected] > > This monday the Lambda Lounge will be meeting at @madlabuk at 7pm and > listening to Chris Warburton tell us about an advanced branch of type systems > known as dependent types. > > Functional programming languages such as Haskell and ML are known for > their powerful type systems which can prevent many common programming > errors. Recently, these type systems have been growing more complex and > confusing in order to capture more program properties. > > At the same time, a number of languages have emerged which use Dependent > Types instead, such as Coq, Agda and Idris. Dependent Types are more powerful > than those of ML or Haskell, but are conceptually simpler. Their flexibility > captures everything from dynamically-typed scripts up to fully verified > systems. > > This introductory talk will describe the basics of Dependent Types, work > through some examples in the Idris language to incrementally verify more and > more properties of a simple algorithm, then discuss the consequences and > drawbacks of using dependently typed languages. > > Details as always can be found online at: > > http://lambdalounge.org.uk/ > > R. > > -- > -- > http://geekup.org/ | http://geekup.org/wiki/ | http://jobboard.geekup.org/ > > To post e-mail: [email protected] > Or go online: http://groups.google.com/group/geekup/ > > To unsubscribe e-mail: [email protected] > --- > You received this message because you are subscribed to the Google Groups > "GeekUp" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/groups/opt_out. > > -- http://www.patchspace.co.uk/ http://www.linkedin.com/in/ashmoran
smime.p7s
Description: S/MIME cryptographic signature
