Kinds Alternatives
Similar projects and alternatives to Kinds
-
DontFearTheProfunctorOptics
Don't Fear the Profunctor Optics!
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Suave.IO
Suave is a simple web development F# library providing a lightweight web server and a set of combinators to manipulate route flow and task composition.
-
VisualFSharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
-
Fable: F# |> BABEL
F# to JavaScript, TypeScript, Python, Rust and Dart Compiler
-
-
Paket
A dependency manager for .NET with support for NuGet packages and Git repositories.
-
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.
Kinds reviews and mentions
-
Tying lenses by their focuses
It’s worth pointing out there are a few different ways to represent optics. The main ideas you’re playing around with would probably be cleared up by digging into category theory a bit as when you start to understand it it will click. Optics are a concrete implementation that you can use immediately as getters and setters without much background but there potential really lies in their categorical underpinnings that when used properly you can do some very interesting things like allowing local actions to pull back and be ran in a composed global state. Composition is tricky with our implementations though. https://github.com/kvwatkins/Kinds/blob/main/Kinds.Optics.Concrete/Concrete.fs this is your concrete composition for your optics (in fhsharp) you’ll notice the weird affineish optic in there that you don’t normally see that’s what will allow mixed concrete optics to compose cleanly. Profunctor optics are another representation if you dig into will clear things up. https://github.com/hablapps/DontFearTheProfunctorOptics/blob/master/Optics.md is a great read they have more flexible composition which is both a good and bad thing and is still debated. But understanding them and the notions of profunctor a in general applied to a domain will align your current natural intuition with the under pinnings.
So composition is tricky in a concrete implementation. https://github.com/kvwatkins/Kinds/blob/main/Kinds.Optics.Concrete/Concrete.fs is a demonstration of concrete composition for optics (in fhsharp) you’ll notice the weird affineish optic in there that you don’t normally see that’s what will allow mixed concrete optics to compose cleanly in a language that has generic parameters and doesn’t support type classes.
Stats
The primary programming language of Kinds is F#.