sketches vs functional-declarative-design-methodology

sketches

A Haskell blog (by effectfully)

Suggest topics

Source Code

Suggest alternative

Edit details

functional-declarative-design-methodology

Article: Functional Declarative Design (by graninas)

Suggest topics

Source Code

Suggest alternative

Edit details

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.

www.influxdata.com

featured

WorkOS - The modern identity platform for B2B SaaS

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

workos.com

featured

sketches		functional-declarative-design-methodology
	Project
12	Mentions	4
122	Stars	192
1.6%	Growth	-
2.9	Activity	6.4
2 months ago	Latest Commit	about 2 months ago
Haskell	Language
-	License	-

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

sketches

Posts with mentions or reviews of sketches. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-06-02.

Hierarchical Free Monads: Mostly Pointless (2020)
1 project | news.ycombinator.com | 3 Jun 2023
Functional Declarative Design: A Comprehensive Methodology for Statically-Typed Functional Programming Languages
4 projects | /r/haskell | 2 Jun 2023

but free monads are an effect system and not an ergonomic one. I have a post on how one can do the same with constraints as with Hierarchical Free Monads, except with less boilerplate.
Teaching GHC to Play Minesweeper
1 project | news.ycombinator.com | 30 Nov 2022
Teaching GHC how to play Minesweeper
1 project | /r/haskell | 29 Nov 2022
What's the modern idiomatic way to write this? / Inductive typeclasses with Nat
1 project | /r/haskell | 12 Feb 2022

I have a post about pretty much exactly this problem. It has a good type families solution (no need to specify the arity of the zipping function) and an even better fundeps one.
A custom warning hack
2 projects | /r/haskell | 4 Sep 2021
Custom type equality errors
1 project | /r/haskell | 30 May 2021
Trouble in Paradise: Fibonacci
1 project | news.ycombinator.com | 17 Jan 2021
Trouble in paradise: Fibonacci
1 project | /r/haskell | 9 Jan 2021
Enumerating type variables
1 project | /r/haskell | 26 Dec 2020

functional-declarative-design-methodology

Posts with mentions or reviews of functional-declarative-design-methodology. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-06-02.