-
-
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.
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.
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.