There's incredibly interesting research into programming languages going on a...

There's incredibly interesting research into programming languages going on at Microsoft: https://lnkd.in/dMuUTJK

https://lnkd.in/dizvafg sounds interesting: designed for distibuted cloud native applications and enables deep automated code reasoning.

https://lnkd.in/d7zNDgM a functional language designed for automating program verification e.g. functional correctness and security.

hashtag #software hashtag #engineering hashtag #research hashtag #bosque hashtag #f* …more

---

Originally posted on LinkedIn