LIFT

• https://www.lift-project.org/presentations/2019/EDLA-2019.pdf
  
• 実装ではなく仕様を書くと最適な実装を見つけてくれるらしい