- We believe that adoption of functional programming will drive wider adoption of lightweight formal methods such as VDM. In return, formal methods could serve as the design method and language for functional programming. Would you agree and/or comment? http://metaphoren.blogspot.com/2014/12/vdm-sl-example-order-processing.html 15 comments haskell