St Andrews FP Group

We are the functional programming group at the University of St Andrews. Abstraction, types, static analysis, parallelism, implementation, design, ...

[St Andrews FP Group @SAFPGroup]

@Simon_JF It’s not *that* bad l

[joomy @joomy]

the cat is out of the bag. here's the paper @d_christiansen and I wrote for the TyDe workshop at ICFP, about customizing the editor interactions of Idris using metaprogramming. come see me give a talk on September 27th in St. Louis, MO!

[Ruth Hoffmann @ruthhoffmann]

The second IDIR Summer Workshop 2018 is nearly here!! On the 16th of August there will be talks all about Health&Simulation Data! Let me know if you want to attend. https://t.co/p51vTfJhCG @StAndrewsIDIR @StAndrewsCS @SICSA_Scotland

[Galois @galois]

Facebook awards Galois $100,000 grant to explore 1) adding C++ verification capabilities to SAW, 2) proving two verified HKDF implementations to serve as examples of use; and 3) building CI-ready verification scripts for the proofs. https://t.co/GzhkOulknd

[Functional Jobs @functionaljobs]

Full-time: Haskell : Backend & Web App Developer at Tripshot (Anywhere) https://t.co/4SCfSNzbyu #jobs #hiring

[St Andrews FP Group @SAFPGroup]

@Franck_FS @xkcdComic We can do better, though!

[Galois @galois]

Galois spins out systems re-engineering company Tangram Flex to revolutionize how large and complex embedded systems are created and modernized https://t.co/X4uEq9MEvA

[Galois @galois]

.@d_christiansen and @josecalderon are holding a Haskell Mini-Course at the Implementation and Application of Functional Languages Symposium. If you're attending, come join us on September 5th! https://t.co/bGA2QrONH0

[David Thrane Christiansen @d_christiansen]

Topics include GADTs, datakinds, type families, and how we use these in programming language implementation. The course is free (free food too!) and also open to people who aren't attending IFL. It's at UMass Lowell, within train range of Boston.

Hope to see you!

[Rob Stewart @robstewartUK]

Lazy web, is there a parser combinator #Haskell library like attoparsec/megaparsec/.., specifically for parsing XML documents? There's xml-parsec on hackage, but isn't maintained.

I.e. a Haskell library of parser combinators that would do much of the XML heavy lifting for me?

[University of St Andrews @univofstandrews]

Happy birthday to Harry Potter and our very own honorary graduate @jk_rowling 🎉

We all know St Andrews is #basicallyhogwarts 😍

#HappyBirthdayJKRowling #HappyBirthdayHarryPotter

[David Van Horn @lambda_calculus]

I have a graduating MS student w/ background in Haskell (etc) looking for a US-based functional programming job. Hit me up if you know of something.

[Stephen Diehl @smdiehl]

In Amsterdam for the weekend if anyone fancies meeting for coffee and Haskell. ☕

[University of St Andrews @univofstandrews]

Joining us in September?

Download our Orientation App to find out everything you need to know, including pre-arrival resources and details of the Orientation Week programme and your induction into the University of St Andrews. #FreshSaints

https://t.co/YxpfrYH80M

[Lambda Days @LambdaDays]

#LambdaDays 2019 is on Feb21 & we’re going full speed ahead to make sure it’s as awesome as the last 5editions https://t.co/uFb3ED57wb Want more functional programming in your life? Secure your spot now https://t.co/TWmEaHB4tv Also here are the 2018 videos https://t.co/bnxLCLLml1

[St Andrews FP Group @SAFPGroup]

@jfdm Get the presentation out of the way then work on whatever’s most fun :)

[Functional Jobs @functionaljobs]

Full-time: Expert-Grade Software Engineer for Enterprise Software on Distributed Ledger Technology (Blockchain) at MCZ Moschin Executive AG https://t.co/YCIjm35ntE

[St Andrews FP Group @SAFPGroup]

@edwinbrady Congratulations, all!

[Kevin Hammond @khstandrews]

Call out to companies interested in types, verification etc. We are looking for industry partners to engage with a U.K. Doctoral Training Centre bid. Various options available, giving access to students, IP etc. Contact me if you are interested in discussing further