Monthly Hask Anything (October 2021)

1. haskell-lox

   1 3 5 0.0 Haskell

   

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

   2 1 66 4.7 Haskell

   Dependently-typed finite maps (partial dependent products)

   

   Are there any clever ways to abstract the reallyUnsafePtrEquality traversal trick (as found e.g. here). Integrating it into something like uniplate was the only real idea I had, but I'm sure the overhead there would more than negate the saved allocations.

4. haskell-platform

   3 11 390 1.8 Haskell

   Discontinued Distribution of Haskell with batteries included

   

   Why does the haskell platform (https://www.haskell.org/platform/ ) require it in order to install the IDE?

5. nixpkgs

   4 1,031 20,488 10.0 Nix

   Nix Packages collection & NixOS

   

6. Hasklig

   5 13 5,622 0.0 Python

   Hasklig - a code font with monospaced ligatures

   

   self: super: { hasklig = self.callPackage ({ lib, fetchzip }: let version = "1.2"; in fetchzip { name = "hasklig-${version}"; url = "https://github.com/i-tu/Hasklig/releases/download/v${version}/Hasklig-${version}.zip"; postFetch = '' unzip $downloadedFile install -m444 -Dt $out/share/fonts/opentype OTF/*.otf ''; sha256 = "sha256-8lY1m0P1qQIbR4e7kX68jVoKZmEfPWNwK3AFLoaBEak="; meta = with lib; { homepage = "https://github.com/i-tu/Hasklig"; description = "A font with ligatures for Haskell code based off Source Code Pro"; license = licenses.ofl; platforms = platforms.all; maintainers = with maintainers; [ davidrusu Profpatsch ]; }; }) {}; }

7. zeal

   6 103 12,132 7.0 C++

   Offline documentation browser inspired by Dash

   

   I like to use the Zeal documentation browser: https://zealdocs.org/

8. data-category

   7 1 56 3.3 Haskell

   Library of categories, with categorical constructions on them

   

   Even a fairly simple statement like "F preserves direct limits over N" is basically impossible to express like this. You can step further from Hask and work at the type level until the very end (which I believe is the approach taken by data-category), you can resign yourself to only expressing things that can be "defunctionalized" (an appropriate use of the term, I think, if not a correct one) down to Haskell functions, which gets you (Co)Yoneda, Lan, Ran, etc. in the general case and I think Traversable in this particular instance, or you can take some intermediate approach with constrained functions and/or explicit witnesses in your data types, but you can't make proper category theory "just work" the way it should.

9. SaaSHub

   www.saashub.com featured

   SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

   

Suggest a related project