Monthly Hask Anything (November 2021)

1. TreadMarks

   1 1 68 10.0 C++

   Battle tank combat racing!

   

   I'm looking to port some code from the game Tread Marks and ideally keep it functional.

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. distributive

   2 6 42 2.7 Haskell

   Dual Traversable

   

   Seems like a neat signature. Is it an instance of some deeper concept or property? Is there a general typeclass for it? It looks a little bit like distribute from distributive.

4. write-you-a-haskell

   3 4 3,375 0.0 Haskell

   Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

   

   I feel like Write You A Haskell was set out to introduce some of these foundational concepts in the right order: lambda calculus, to system-f to core - but that's more of a skeleton, right? What about logic? proofs? Is there anything else ... that can all be put together to create a "course" of some sort to master the theoretical concepts that Haskell stands upon?

5. constraints

   4 3 72 5.6 Haskell

   Tools for programming with ConstraintKinds in GHC

   

   If it's anywhere, I'd expect it in constraints, but it's not Dict and it's not Forall.

Suggest a related project