GitHub - mbj/stratosphere: Haskell EDSL and type-checker for AWS CloudFormation templates

AWS CloudFormation is a system that provisions and updates Amazon Web Services (AWS) resources based on declarative templates. Common criticisms of CloudFormation include the use of JSON as the template language and limited error-checking, often only available in the form of run-time errors and stack rollbacks. By wrapping templates in Haskell, it is possible to easily construct them and help ensu

[igrep]

"EDSL to specify CloudFormation templates. Since it is embedded in Haskell, it is type-checked ..." Haskellらしくて素晴らしい！

[lotz84]

AWS CloudFormation の Haskell EDSL。事前に型検査出来るのが良い