SaaSHub helps you find the best software and product alternatives Learn more →
OCaml Code Quality Projects
-
I notice there isn't fbinfer. It's pretty cool, and is used for this library.
-
Python now has an optional type system and if you add one of them such as mypy or pyre to your CI process and you can configure GitHub to refuse the pull request until types are added you can make it somewhat strongly typed.
If you have a preexisting codebase I believe the way you can convert it is to add the types that you know on commits and eventually you will have enough types that adding the missing ones should be easy. For the missing ones Any is a good choice.
https://pyre-check.org and https://github.com/python/mypy are popular.
-
InfluxDB
Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
OCaml Code Quality related posts
- silly guy
- Retrofitting null-safety onto Java at Meta
- The State of Affine Types in C++?
- OCaml 5.0.0 - First Beta
- Crunchy Bridge's Ruby Back End: Sorbet, Tapioca, and Parlour
- Formally Verifying Industry Cryptography
- Hard Things in Computer Science
-
A note from our sponsor - #<SponsorshipServiceOld:0x00007fea59d6f880>
www.saashub.com | 1 Feb 2023
Index
Project | Stars | |
---|---|---|
1 | infer | 13,792 |
2 | pyre-check | 6,208 |