Haskell Cloudformation Projects
Haskell EDSL and type-checker for AWS CloudFormation templates
Typecheck, template and modularize your AWS CloudFormation with DhallProject mention: The Dhall Configuration Language | news.ycombinator.com | 2022-07-14
I have been writing a fair amount of Dhall using autogenerated CloudFormation bindings ( https://github.com/jcouyang/dhall-aws-cloudformation/ ). It is a fantastic way to reduce boilerplate and factor out recurring blobs. My main frustration is that the type checker is not smart enough (or maybe the type system is undecidable?) - every time you want to use a polymorphic function, you must pass in the type parameters yourself (this is also true for empty lists and `None`). This makes simple FP idioms extremely noisy, to the point where you're better off writing longhand. In a language that's meant to be alleviating YAML/JSON boilerplate.
It's still a massive improvement, but it could be so much better if the typechecker was smarter.
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Haskell Cloudformation related posts
Typecheck and Modularize AWS CloudFormation with Dhall
1 project | news.ycombinator.com | 30 Mar 2021
Are you hiring? Post a new remote job listing for free.