atomic
milewski-ctfp-pdf
atomic | milewski-ctfp-pdf | |
---|---|---|
12 | 75 | |
32 | 10,751 | |
- | - | |
6.8 | 5.3 | |
5 days ago | 9 days ago | |
JavaScript | TeX | |
MIT License | GNU General Public License v3.0 or later |
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.
atomic
-
Should all Clojure functions be polymorphic by default?
I wanted ClojureScript, without transpilation, in the browser so badly I implemented much of it in plain JS. But JS still lacks first-class protocols (although there is a T39 proposal for them) so I have to implement protocols first. And I can tell you from having implemented much of Clojure myself in plain JS that it's protocols all the way down. 80% of my library are types and their protocols.
-
Do you do full-on FP in JavaScript? Want it?
I've watched a lot of talks, but it was Rich Hickey's which most captivated me and, ultimately, inspired big change in how I coded. After discovering Clojure I was so desiring FP (i.e. ClojureScript) in the browser without a build step and hoard of dependencies that I wrote my own library.
-
FP and JavaScript/TypeScript
I fell in love with Clojure and ported most of the tools to plain ol' JavaScript. I stole reactives and FRP from Elm. I write a functional core then wrap it with an imperative shell. It's been my mainstay for 10 years now.
-
What do functional programmers like functional programming?
What I did was looked past the languages at the ideas and saw they could be applied everywhere, including JavaScript. Take a look at my example programs (via prior link) and you can see Clojure applied to the JavaScript/browser realm.
-
Writing Javascript without a build system
I have found that the amount of code needed to support any page/app need not be massive. I have implemented modern board games with 250-300KB of js and the core lib I use on all my projects maxes out around 250KB, unminified. The lib itself is built on the premise of build avoidance.
-
Do you guys work with other languages?
I do JavaScript most of the time, but I was so inspired that I ported the Clojure mindset into the web development world so I could use it even in the absence of Clojure. I know there's ClojureScript, but I wanted the goodness without transpilation.
-
On Not Drinking the FP Kool-Aid
So I don't even do Clojure per se. I do Clojure in JavaScript without ClojureScript.
-
side effects in fp: to accept or not to accept
I use functional core, imperative shell. It would have you write a core which is a pure simulation. Write everything in the core using immutable data and pure functions. I elaborate on that here, along with examples.
- GitHub - mlanza/atomic: Write Clojuresque functional core, imperative shell programs in JavaScript.
- Clojuresque functional core, imperative shell programs in JavaScript
milewski-ctfp-pdf
-
reflect-cpp - Now with compile time extraction of field names from structs and enums using C++-20.
Category Theory for Programmers by Bartosz Milewski (https://github.com/hmemcpy/milewski-ctfp-pdf/releases)
-
Category Theory for Programming
Strangely similar name to the well-known 'Category Theory for Programmers'
https://github.com/hmemcpy/milewski-ctfp-pdf
-
Polynomial Functors: A Mathematical Theory of Interaction [pdf]
There's this, but the programmer doesn't have to be working:
https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
- Monads vs Classes
- 今天看到的,是真的离谱。
-
Reading recomendations on Category Theory
Milewski's "Category Theory for Programmers".
- Ask HN: Math for Programmers?
- [Math] Category Theory for Programmers
-
Some math topics get mentioned a bunch in functional programming articles and forums. Which ones have ever actually helped you in writing your programs?
(3) category theory. I was never advised to read any, but found that bartosz's introduction really good. https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/. Helps to rewire the brain.
-
what is the relation of a class in programming and category theory?
It's also possible to model programming languages using category theory, but I know less about that. If you're interested in following this up, then Benjamin Pierce has what I'm told is a good introduction to category theory for computer scientists, and Bartosz Milweski has an online book (it might be available in hard copy as well, I'm not sure) called Category Theory for Programmers. I believe simple programming languages like the simply typed lambda calculus end up being modelled as Cartesian closed categories.
What are some alternatives?
vscode-haskell - VS Code extension for Haskell, powered by haskell-language-server
semantic-source - Parsing, analyzing, and comparing source code across many languages
episode-code-samples - 💾 Point-Free episode code.
web-dev-golang-anti-textbook - Learn how to write webapps without a framework in Go.
electric - a reactive Clojure dialect for web development that uses a compiler to infer the frontend/backend boundary
paip-lisp - Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
squint - Light-weight ClojureScript dialect
practicing-ruby-manuscripts - Collection of source manuscripts for publicly released Practicing Ruby articles
proposal-command-syntax - Proposal: Command Syntax for JavaScript
owasp-masvs - The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
euphoria - The Euphoria programming language (https://openeuphoria.org/)
Yup - Dead simple Object schema validation