Kinds

Extending F#'s Capabilities Through Various Means (by kvwatkins)

Kinds Alternatives

Similar projects and alternatives to Kinds

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better Kinds alternative or higher similarity.

Kinds reviews and mentions

Posts with mentions or reviews of Kinds. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-05-01.
  • Tying lenses by their focuses
    4 projects | /r/haskell | 1 May 2022
    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.
    4 projects | /r/haskell | 1 May 2022
    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

Basic Kinds repo stats
2
2
0.0
over 1 year ago
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com