order-taking
functional-programming-jargon
Our great sponsors
order-taking | functional-programming-jargon | |
---|---|---|
2 | 17 | |
130 | 18,533 | |
- | - | |
0.0 | 2.5 | |
over 2 years ago | 6 months ago | |
Idris | ||
GNU General Public License v3.0 or later | MIT License |
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.
order-taking
-
Domain Driven Design Made Dependently Typed with Idris
https://youtu.be/QBj-4K-l-sg
My talk about DDD and the high level overview of the Idris implementation of the Domain Modeling Made Functional Book, where I used dependent types to formalize the Bounded Context and Workflow abstractions to create a full implementation which is hosted on NodeJS.
For more details see; https://github.com/andorp/order-taking/
-
Domain Driven Design made Dependently Typed
My talk about DDD and the high level overview of the Idris implementation of the Domain Modeling Made Functional Book, where I used dependent types to formalize the Bounded Context and Workflow abstractions to create a full implementation which is hosted on NodeJS. https://github.com/andorp/order-taking/ https://github.com/andorp/order-taking/blob/main/SLIDES.md
functional-programming-jargon
-
JavaScript-algorithms: Algorithms and data structures implemented in JavaScript
Another useful resource is Functional Jargon Explained (in Javascript): https://github.com/hemanth/functional-programming-jargon
-
What’s so great about functional programming anyway?
Functional Programming Jargon is great at explaining these concepts. Monad: https://github.com/hemanth/functional-programming-jargon#mon...
Purists will say it's not entirely correct, but we don't care about purism :)
- Ask HN: I like studying the concept of abstractions
-
Okay, so have you Heard about monads?
I've recently read this thing that really helped monads "click" for me. I find it useful to learn things by example, maybe you do too.
-
Functional programming jargon in plain English
Be the change you want to see in the world haha
https://github.com/hemanth/functional-programming-jargon/pul...
-
Hacker News top posts: Jul 4, 2022
Functional programming jargon in plain English\ (73 comments)
- Jargon from the functional programming world in simple terms
-
How Side Effects Work in FP
There's "Functional Programming Jargon" which explains all these concepts in Javascript: https://github.com/hemanth/functional-programming-jargon
- Functional Programming Jargon
What are some alternatives?
library - A comprehensive Domain-Driven Design example with problem space strategic analysis and various tactical patterns.
result4k
Spring Data JPA - Simplifies the development of creating a JPA-based data access layer.
mostly-adequate-guide - Mostly adequate guide to FP (in javascript)
idris-jvm - JVM bytecode back end for Idris
popcorn-android - Popcorn Time is a multi-platform, free software BitTorrent client that includes an integrated media player ( Android / AndroidTV ) A Butter-Project Fork
modular-monolith-with-ddd - Full Modular Monolith application with Domain-Driven Design approach.
pratica - 🥃 Functional Algebraic Data Types
ttlite - A SuperCompiler for Martin-Löf's Type Theory
functional-programming - Introduction to Functional Programming using TypeScript and fp-ts.
You-Dont-Need-Loops - Avoid The One-off Problem, Infinite Loops, Statefulness and Hidden intent.
effects-bibliography - A collaborative bibliography of work related to the theory and practice of computational effects