Slides Alternatives
Similar projects and alternatives to slides
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
slides reviews and mentions
-
A Gentle Introduction to Liquid Types
> static analysis isn't going to deal with every scenario like access based on inputs.
Not true.
With proper abstraction, static analysis proves the absence of bugs under all relevant inputs, which gives stronger guarantees than testing at development time (which only checks for a number of inputs), and is lighter than runtime checks (without runtime overhead).
An example is the use of a static type system, which eliminates a whole class of bugs under all possible values of the same type (those due to type mismatch: passing an integer into a function expecting a string), which is stronger than a test suite testing certain inputs, and does not have runtime overhead (unlike runtime checks).
Going further than usual type systems, people study refining types by possible values (such as positive integers as a refinement of all integers), and the result is refinement types, which is what Liquid Types is based on. And you can see this in action in the full example [1], such as { n : Int | 0 <= n } which refines n to be a positive integer.
[1]: https://github.com/Gabriella439/slides/blob/main/liquidhaske... "Full program - Scrap your Bounds Checks with Liquid Haskell"
PS: I figured that setting the record strict may benefit others, such as https://news.ycombinator.com/item?id=37380176.
Stats
Gabriella439/slides is an open source project licensed under Creative Commons Attribution 4.0 which is not an OSI approved license.
The primary programming language of slides is Haskell.
Popular Comparisons
Sponsored