Monthly Hask Anything (November 2021)

• TreadMarks

  1 63 10.0 C++

  Battle tank combat racing!

  

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

• distributive

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

• InfluxDB

  www.influxdata.com featured

  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.

  

• write-you-a-haskell

  4 3,304 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?

• constraints

  3 70 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