I wholeheartedly agree!
When I previously applied Haskell to cleantech, I also relied heavily on dimensional. This is one of the gems on Hackage!
I am intrigued by this line:
who I hack on Haskell clean tech with in our free time
What are you working on?
Haskell also has green threads! ![]()
We haven’t published anything yet (we will, eventually). The examples in my post are loosely based on what we’re working on (simplified, of course).
In case it takes longer than expected, I don’t want to disclose too much publicly, yet ![]()
What sort of projects have you applied it to?
I co-founded a startup (shut down about a year ago
) that ran a local electricity market on smart electricity meters in the US.
The platform’s back-end was entirely Haskell: Cloud Haskell as the base platform coordinating smart meters in a peer-to-peer topology. We used javelin and beam for time-series analytics. We started implementing a Haskell client library for Enode as well, but we never finished.
We also wrote a Haskell interface to the HiGHS linear programming engine to optimize the electrical networks. I should really find some time to open-source that last part; the Haskell DSL we came up with was very nice.
Edit: We also usedalgebraic-graphs a lot to manipulate the topology of electrical networks! Damn we had a lot of fun
That’s so cool! Sad to hear it shut down.
Hey, we should have a seminar!
I have quite a Haskell codebase in our small renewable energy company, the most general parts are open source. E.g. closed-intervals to match (mostly) time intervals in timeseries, provenience to document financial calculations and a client for talking to wind farm SCADA servers.
When I needed to write a well-documented, composable simulation for Power-To-X applications, I reached for literate Haskell with just a RWST monad as the main driver. We threw lots of linear algebra at a stupid electricity tax problem. Haskell is feeding our time-series databases. All our invoices are generated through a Haskell system.
in our small renewable energy company
I’m curious ![]()
Which one?
Hey, we should have a seminar!
Definitely!
Lackmann Phymetric
A good place for functional programmers in Germany is the BOB conference. See announcement.
7 posts were split to a new topic: Energy efficiency of Haskell
This was definitely a cool blog post, thanks for sharing. I’m very much in favor of Haskell being used outside of the Blockchain and DoD lol.