corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0879e-89c3-7051-9983-9762cf806c44

Features of a dream programming language: 3rd draft

magnemg.eu · published 27 March 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at magnemg.eu Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
548
Words captured
30,795

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://probablydance.com/2016/02/27/functional-programming-is-not-popular-because-it-is-weird/
probablydance.com
https://en.wikipedia.org/wiki/Curse_of_knowledge
en.wikipedia.org
https://twitter.com/yukihiro_matz/status/1451548965019668489?s=20&t=qgCvp6ROsbH7h9Wt5MQDAA
twitter.com
https://www.ruby-lang.org/en/
ruby-lang.org
https://www.youtube.com/watch?v=6qzWm_eoUXM
youtube.com
https://dev.to/redbar0n/features-of-a-dream-programming-language-cio/
dev.to
https://news.ycombinator.com/item?id=29716998
news.ycombinator.com
https://dev.to/redbar0n/features-of-a-dream-programming-language-2nd-draft-p7j
dev.to
https://quoteinvestigator.com/2014/05/22/solve/
quoteinvestigator.com
https://t.co/u0EFh15eg7
t.co
https://www.goodreads.com/quotes/6341736-any-fool-can-write-code-that-a-computer-can-understand
goodreads.com
https://www.interaction-design.org/literature/topics/affordances
interaction-design.org
https://en.wikipedia.org/wiki/First-class_citizen
en.wikipedia.org
https://en.wikipedia.org/wiki/Domain-specific_language
en.wikipedia.org
https://en.wikipedia.org/wiki/Linguistic_relativity
en.wikipedia.org
https://www.quora.com/What-did-Alan-Kay-mean-by-Lisp-is-the-greatest-single-programming-language-ever-designed/answer/Alan-Kay-11?comment_id=46099908&comment_type=2
quora.com
https://wiki.c2.com/?EwDijkstraQuotes
wiki.c2.com
https://talks.golang.org/2015/simplicity-is-complicated.slide
talks.golang.org
https://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD473.html
cs.utexas.edu
https://en.wikipedia.org/wiki/Language_and_thought
en.wikipedia.org
It's not what programming languages do, it's what they shepherd you to Read at the source ↗
nibblestew.blogspot.com
https://youtu.be/mVVNJKv9esE?t=914
youtu.be
https://en.wikipedia.org/wiki/Type_system
en.wikipedia.org
https://twitter.com/garybernhardt/status/1391800319609171968?s=20
twitter.com
https://medium.com/javascript-scene/master-the-javascript-interview-what-is-a-closure-b2f0d2152b36
medium.com
https://medium.com/javascript-scene/transducers-efficient-data-processing-pipelines-in-javascript-7985330fe73d
medium.com
https://youtu.be/6mTbuzafcII?t=145
youtu.be
https://youtu.be/XkIoGmWkEpM?t=996
youtu.be
https://en.m.wikipedia.org/wiki/Partial_application
en.m.wikipedia.org
https://wiki.c2.com/?PrimitivesAndMeansOfComposition
wiki.c2.com
https://youtu.be/ltCgzYcpFUI?t=1421
youtu.be
https://wiki.c2.com/?ZeroOneInfinityRule
wiki.c2.com
A curious case of the ternaries Read at the source ↗
prettier.io
https://ziglang.org/learn/why_zig_rust_d_cpp/
ziglang.org
http://www.wall.org/~larry/pm.html
wall.org
https://dev.to/redbar0n/what-happened-to-components-being-just-a-visual-thing-22hc
dev.to
https://dwheeler.com/readable/
dwheeler.com
https://dwheeler.com/readable/retort-lisp-can-be-readable.html
dwheeler.com
https://news.ycombinator.com/item?id=21840137
news.ycombinator.com
https://rescript-lang.org/docs/manual/latest/function
rescript-lang.org
https://www.codeproject.com/Articles/1186940/Lisps-Mysterious-Tuple-Problem
codeproject.com
https://youtu.be/5fG_lyNuEAw?t=798
youtu.be
https://youtu.be/nD-QHbRWcoM?t=606
youtu.be
https://twitter.com/magnemg/status/1449005438339530754?s=20
twitter.com
https://news.ycombinator.com/item?id=16011111
news.ycombinator.com
https://youtu.be/5fG_lyNuEAw?t=965
youtu.be
https://news.ycombinator.com/item?id=12056169
news.ycombinator.com
https://hackernoon.com/the-beauty-of-go-98057e3f0a7d
hackernoon.com
Less is exponentially more Read at the source ↗
commandcenter.blogspot.com
https://www.python.org/dev/peps/pep-0020/
python.org
https://m.signalvnoise.com/provide-sharp-knives/
m.signalvnoise.com
https://www.infoq.com/presentations/Simple-Made-Easy/
infoq.com
https://en.wikipedia.org/wiki/Ruby_(programming_language
en.wikipedia.org
https://www.youtube.com/watch?v=_ahvzDzKdB0
youtube.com
https://youtu.be/doZ0XAc9Wtc?t=1930
youtu.be
https://c-harrison.medium.com/how-i-learned-to-stop-worrying-and-love-the-trailing-comma-480f3a73d203
c-harrison.medium.com
https://www.youtube.com/watch?v=GqmsQeSzMdw
youtube.com
https://wiki.c2.com/?PrematureAbstraction
wiki.c2.com
The Wrong Abstraction Read at the source ↗
sandimetz.com
https://youtu.be/mVVNJKv9esE?t=877
youtu.be
https://wiki.c2.com/?PrincipleOfLeastPower
wiki.c2.com
https://hirrolot.github.io/posts/rust-is-hard-or-the-misery-of-mainstream-programming.html
hirrolot.github.io
https://www.builder.io/blog/qwik-1-2-performance-autopilot
builder.io
https://youtu.be/CpvzeyzgQdw?t=436
youtu.be
https://blog.codinghorror.com/the-principle-of-least-power/
blog.codinghorror.com
https://youtu.be/PNx9WqQ9QeA?t=124
youtu.be
The “Bug-O” Notation Read at the source ↗
overreacted.io
https://youtu.be/2V1FtfBDsLU?t=1607
youtu.be
https://github.com/nagydani/seedling/blob/master/RATIONALE.md
github.com
https://dockyard.com/blog/2015/11/18/phoenix-is-not-rails
dockyard.com
https://stackoverflow.com/q/68461184/380607
stackoverflow.com
https://youtu.be/PSGEjv3Tqo0?t=416
youtu.be
Classes, Complexity, and Functional Programming Read at the source ↗
kentcdodds.com
http://tomasp.net/blog/2015/library-frameworks/
tomasp.net
https://en.wikipedia.org/wiki/Inversion_of_control
en.wikipedia.org
https://youtu.be/PNx9WqQ9QeA?t=646
youtu.be
https://medium.com/@ericclemmons/javascript-fatigue-48d4011b6fc4
medium.com
https://codemix.com/blog/why-babel-matters/
codemix.com
https://paul.kinlan.me/the-reverse-polyfill/
paul.kinlan.me
https://twitter.com/peterpme/status/1729518122674073669
twitter.com
https://en.wikipedia.org/wiki/Hygienic_macro
en.wikipedia.org
https://youtu.be/43XaZEn2aLc?t=918
youtu.be
https://biblehub.com/isaiah/55-11.htm
biblehub.com
https://blog.jle.im/entry/first-class-statements.html
blog.jle.im
https://youtu.be/q3Ies_XTo_s?t=327
youtu.be
https://bugzilla.mozilla.org/show_bug.cgi?id=513379
bugzilla.mozilla.org
Against SQL Read at the source ↗
scattered-thoughts.net
https://github.com/crystal-lang/crystal/wiki/FAQ
github.com
http://www.dcs.gla.ac.uk/~pat/cpM/jchoco/nqueens/Goto-Harmful-Dijkstra.pdf
dcs.gla.ac.uk
https://en.wikipedia.org/wiki/Ostension
en.wikipedia.org
https://en.wikipedia.org/wiki/Von_Neumann_programming_languages
en.wikipedia.org
http://theory.stanford.edu/~aiken/other/backus.pdf
theory.stanford.edu
http://curtclifton.net/papers/MoseleyMarks06a.pdf
curtclifton.net
Is your programming language unreasonable? Read at the source ↗
fsharpforfunandprofit.com
https://en.wikipedia.org/wiki/Universal_grammar
en.wikipedia.org
https://www.w3.org/TR/rdf-concepts/
w3.org
https://wiki.c2.com/?HomoiconicLanguages
wiki.c2.com
https://youtu.be/s3HvMvyHTUY?t=280
youtu.be
https://en.wikipedia.org/wiki/Cyclomatic_complexity
en.wikipedia.org
https://en.wikipedia.org/wiki/Graph_reduction
en.wikipedia.org
https://hirrolot.github.io/posts/why-static-languages-suffer-from-complexity
hirrolot.github.io
https://twitter.com/anuraghazru/status/1569377505462857734
twitter.com
https://www.reddit.com/r/ProgrammingLanguages/comments/cy009u/patterns_as_types/
reddit.com
https://github.com/brillout/research/issues/1
github.com
https://ziglang.org/documentation/0.9.1/
ziglang.org
https://rescript-lang.org/docs/manual/latest/external
rescript-lang.org
https://nexusjs.org/
nexusjs.org
https://gcanti.github.io/io-ts/
gcanti.github.io
https://news.ycombinator.com/item?id=18414562
news.ycombinator.com
https://tailwindcss.com/
tailwindcss.com
https://youtu.be/Gv2I7qTux7g?t=632
youtu.be
https://youtu.be/rI8tNMsozo0?t=1571
youtu.be
https://thoughtbot.com/upcase/videos/ruby-keyword-arguments
thoughtbot.com
https://github.com/lannonbr/vscode-js-annotations
github.com
https://blog.dubenko.dev/typescript-vs-reason/
blog.dubenko.dev
https://en.wikipedia.org/wiki/Smalltalk
en.wikipedia.org
https://rescript-lang.org/blog/uncurried-mode Read at the source ↗
rescript-lang.org
https://stackoverflow.com/a/12846865
stackoverflow.com
https://javascript.info/currying-partials
javascript.info
https://stackoverflow.com/questions/5091528/in-python-partial-function-application-currying-versus-explicit-function-defi
stackoverflow.com
https://forum.rescript-lang.org/t/uncurried-by-default/274/29
forum.rescript-lang.org
https://discourse.haskell.org/t/is-currying-worth-it/2853
discourse.haskell.org
https://youtu.be/rI8tNMsozo0?t=1558
youtu.be
https://forum.rescript-lang.org/t/uncurried-by-default/274/19
forum.rescript-lang.org
https://youtu.be/1AZA1zoP-II?t=2182
youtu.be
https://news.ycombinator.com/item?id=31018833
news.ycombinator.com
https://news.ycombinator.com/item?id=28586862
news.ycombinator.com
https://youtu.be/YR5WdGrpoug?t=1213
youtu.be
https://ericnormand.me/article/clojure-and-types
ericnormand.me
https://youtu.be/6YbK8o9rZfI?t=3593
youtu.be
https://en.wikipedia.org/wiki/Top-down_and_bottom-up_design
en.wikipedia.org
https://stackoverflow.com/a/59951418/380607
stackoverflow.com
https://elm-lang.org/docs/records
elm-lang.org
https://medium.com/@chinesehuazhou/hello-readers-b6933bd109d1
medium.com
https://blog.plover.com/prog/haskell/what-goes-wrong-2.html
blog.plover.com
https://blog.plover.com/2018/09/03/
blog.plover.com
https://quorumlanguage.com/
quorumlanguage.com
https://youtu.be/1AZA1zoP-II?t=2053
youtu.be
https://youtu.be/1AZA1zoP-II?t=2242
youtu.be
https://www.pavley.com/2020/02/20/no-modes/
pavley.com
https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/this
developer.mozilla.org
https://github.com/sinelaw/infernu
github.com
https://www.sonarsource.com/docs/CognitiveComplexity.pdf
sonarsource.com
https://www.eecg.utoronto.ca/~jzhu/csc326/readings/iverson.pdf
eecg.utoronto.ca
https://www.infoq.com/interviews/Steele-Interviews-John-McCarthy/
infoq.com
https://www.thefeedbackloop.xyz/stroustrups-rule-and-layering-over-time/
thefeedbackloop.xyz
https://mobily.github.io/ts-belt/
mobily.github.io
https://www.javierchavarri.com/data-first-and-data-last-a-comparison/
javierchavarri.com
https://yinwang0.wordpress.com/2011/05/08/layout/
yinwang0.wordpress.com
https://www.ruby-forum.com/t/why-not-adopt-python-style-indentation-for-ruby/104458
ruby-forum.com
https://www.pyret.org/index.html
pyret.org
https://go.dev/blog/gofmt
go.dev
https://www.ruby-forum.com/t/why-not-adopt-python-style-indentation-for-ruby/104458/5
ruby-forum.com
https://github.com/BSVino/JaiPrimer/blob/master/JaiPrimer.md
github.com
https://learnxinyminutes.com/docs/lambda-calculus/
learnxinyminutes.com
https://cacm.acm.org/blogs/blog-cacm/248985-dijkstra-was-wrong-about-radical-novelty-metaphors-in-cs-education/fulltext
cacm.acm.org
https://www.researchgate.net/publication/330791815_Identifying_Embodied_Metaphors_for_Computing_Education
researchgate.net
https://en.wikipedia.org/wiki/Subject%E2%80%93verb%E2%80%93object
en.wikipedia.org
https://en.wikipedia.org/wiki/Fluent_interface
en.wikipedia.org
https://youtu.be/q_WgVR9xtBw?t=541
youtu.be
https://www.yegor256.com/2018/03/13/fluent-interfaces.html
yegor256.com
https://en.wikipedia.org/wiki/Open%E2%80%93closed_principle
en.wikipedia.org
https://youtu.be/QyJZzq0v7Z4?t=1343
youtu.be
https://rescript-lang.org/docs/manual/v8.0.0/pipe
rescript-lang.org
https://news.ycombinator.com/item?id=21562007
news.ycombinator.com
https://medium.com/webdevops/data-structures-548cbea9c520
medium.com
https://en.wikipedia.org/wiki/Unlambda
en.wikipedia.org
What Is Functional Programming? Read at the source ↗
blog.jenkster.com
https://youtu.be/PNx9WqQ9QeA?t=90
youtu.be
https://stackoverflow.com/a/4801291/380607
stackoverflow.com
https://reactjs.org/docs/composition-vs-inheritance.html
reactjs.org
https://youtu.be/6YbK8o9rZfI?t=3563
youtu.be
https://medium.com/@olxc/referential-transparency-93352c2dd713
medium.com
http://www.fpish.net/topic/None/58676
fpish.net
Why Functional Programming? The Benefits of Referential Transparency Read at the source ↗
sookocheff.com
https://stackoverflow.com/a/310980/380607
stackoverflow.com
https://stackoverflow.com/q/10212928/380607
stackoverflow.com
https://en.wikipedia.org/wiki/Tail_call
en.wikipedia.org
https://www.lua.org/manual/5.3/manual.html
lua.org
https://youtu.be/yiiDFRs62lQ?t=1290
youtu.be
https://en.wikipedia.org/wiki/Formal_verification
en.wikipedia.org
https://github.com/austral/austral
github.com
Discipline doesn’t scale Read at the source ↗
sicpers.info
https://xkcd.com/292/
xkcd.com
https://xkcd.com/356/
xkcd.com
https://news.ycombinator.com/item?id=17905267
news.ycombinator.com
https://news.ycombinator.com/item?id=17905222
news.ycombinator.com
https://youtu.be/6YbK8o9rZfI?t=3315
youtu.be
https://youtu.be/1AZA1zoP-II?t=2345
youtu.be
https://youtu.be/Gv2I7qTux7g?t=1337
youtu.be
https://ericlippert.com/2007/08/14/c-and-the-pit-of-despair/
ericlippert.com
https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/symbol-and-operator-reference/
docs.microsoft.com
https://www.tutorialspoint.com/clojure/clojure_operators.htm
tutorialspoint.com
https://clojuredocs.org/clojure.core/cons
clojuredocs.org
https://clojuredocs.org/clojure.core/conj
clojuredocs.org
https://youtu.be/18F5v1diO_A?t=204
youtu.be
https://en.wikipedia.org/wiki/Sociolect
en.wikipedia.org
https://en.wikipedia.org/wiki/Dataflow_programming
en.wikipedia.org
https://en.wikipedia.org/wiki/LLVM
en.wikipedia.org
https://xstate.js.org/
xstate.js.org
Linklog | What Color is Your Function? Read at the source ↗
journal.stuffwithstuff.com
The Hundred-Year Language Read at the source ↗
paulgraham.com
https://github.com/ramda/ramda/issues/297
github.com
https://quorumlanguage.com/evidence.html
quorumlanguage.com
https://medium.com/@willy.schott/one-can-say-the-same-about-fp-ca7b3944a32b
medium.com
https://www.goodreads.com/quotes/835238-indeed-the-ratio-of-time-spent-reading-versus-writing-is
goodreads.com
https://www.trankynam.com/atext/
trankynam.com
https://code.visualstudio.com/docs/editor/userdefinedsnippets
code.visualstudio.com
https://www.w3.org/2001/tag/doc/leastPower.html
w3.org
https://en.wikipedia.org/wiki/Finite-state_machine
en.wikipedia.org
https://youtu.be/mVVNJKv9esE?t=1046
youtu.be
https://elixir-lang.org/getting-started/pattern-matching.html
elixir-lang.org
https://doc.rust-lang.org/book/ch18-03-pattern-syntax.html
doc.rust-lang.org
https://rescript-lang.org/docs/manual/latest/pattern-matching-destructuring
rescript-lang.org
Pattern Matching in JavaScript Read at the source ↗
kyleshevlin.com
The Bagel Language Read at the source ↗
brandons.me
https://www.solidjs.com/
solidjs.com
https://jotai.org/
jotai.org
https://github.com/radix-ui/primitives/blob/main/philosophy.md
github.com
https://maecapozzi.com/composition-vs-configuration/
maecapozzi.com
https://web.archive.org/web/20190316032907/https://medium.com/@roman01la/understanding-transducers-in-javascript-3500d3bd9624
web.archive.org
https://youtu.be/XkIoGmWkEpM?t=963
youtu.be
Checked exceptions: Java’s biggest mistake Read at the source ↗
literatejava.com
https://youtu.be/YR5WdGrpoug?t=623
youtu.be
https://youtu.be/T8J0j2xJFgQ?t=151
youtu.be
https://crystal-lang.org/
crystal-lang.org
https://docs.microsoft.com/en-us/dotnet/csharp/nullable-references
docs.microsoft.com
https://youtu.be/OMPfEXIlTVE?t=904
youtu.be
https://twitter.com/magnemg/status/1417517013321273345?s=20
twitter.com
https://twitter.com/magnemg/status/1429914312211054602?s=20
twitter.com
https://graphql.org/learn/best-practices/
graphql.org
https://web.archive.org/web/20161022020746/http://blog.coverity.com/2013/11/20/c-non-nullable-reference-types/
web.archive.org
https://blog.jonstodle.com/in-which-i-claim-rich-hickey-is-wrong/
blog.jonstodle.com
https://medium.com/@thejameskyle/type-systems-covariance-contravariance-bivariance-and-invariance-explained-35f43d1110f8
medium.com
https://www.reddit.com/r/haskell/comments/a1ofh2/maybe_not_rich_hickey/eawpz30/
reddit.com
https://qr.ae/pGPMUk
qr.ae
https://lispcast.com/why-are-corner-cases-the-devil-%f0%9f%98%88/
lispcast.com
https://www.youtube.com/watch?v=T8J0j2xJFgQ
youtube.com
https://en.wikipedia.org/wiki/Evaluation_strategy
en.wikipedia.org
https://bambielli.com/til/2016-07-24-CBV-vs-CBN/
bambielli.com
https://en.wikipedia.org/wiki/Lazy_evaluation
en.wikipedia.org
https://prog21.dadgum.com/40.html
prog21.dadgum.com
http://pchiusano.blogspot.com/2011/12/future-of-programming.html
pchiusano.blogspot.com
https://softwareengineering.stackexchange.com/a/124502/104312
softwareengineering.stackexchange.com
http://www.cse.chalmers.se/~rjmh/Papers/whyfp.pdf
cse.chalmers.se
https://stackoverflow.com/a/28868806/380607
stackoverflow.com
https://softwareengineering.stackexchange.com/a/286063/104312
softwareengineering.stackexchange.com
https://danieltao.com/lazy.js/
danieltao.com
https://stackoverflow.com/q/28868636/380607
stackoverflow.com
http://pchiusano.blogspot.com/2009/05/optional-laziness-doesnt-quite-cut-it.html
pchiusano.blogspot.com
Asynchronous Everything Read at the source ↗
joeduffyblog.com
https://betterways.dev/functional-core-imperative-shell
betterways.dev
https://hyperscript.org/docs/
hyperscript.org
https://youtu.be/5OjqD-ow8GE?t=2768
youtu.be
https://en.wikipedia.org/wiki/Referential_transparency
en.wikipedia.org
https://stackoverflow.com/a/18499847/380607
stackoverflow.com
https://mappingthejourney.com/single-post/2017/08/31/episode-8-interview-with-ryan-dahl-creator-of-nodejs/
mappingthejourney.com
https://golangr.com/channel-buffering/
golangr.com
Clojure core.async Channels Read at the source ↗
clojure.org
https://qr.ae/pGdyji
qr.ae
https://news.ycombinator.com/item?id=16177983
news.ycombinator.com
https://news.ycombinator.com/item?id=25849806
news.ycombinator.com
https://magne.medium.com/sorry-for-being-presumptuous-the-suggestion-was-well-intended-i-do-think-it-was-correct-though-240e47c0880f
magne.medium.com
https://youtu.be/yJxFPoxqzWE?t=1831
youtu.be
https://tour.golang.org/concurrency/2
tour.golang.org
https://en.wikipedia.org/wiki/Heisenbug
en.wikipedia.org
https://en.wikipedia.org/wiki/Command%E2%80%93query_separation
en.wikipedia.org
https://youtu.be/Gv2I7qTux7g?t=123
youtu.be
https://github.com/carp-lang/Carp
github.com
https://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html
evincarofautumn.blogspot.com
https://dev.to/redbar0n/concatenative-programming-languages-e03
dev.to
https://www.youtube.com/watch?v=_IgqJr8jG8M
youtube.com
http://kittenlang.org
kittenlang.org
https://en.wikipedia.org/wiki/Continuation-passing_style
en.wikipedia.org
https://www.defmacro.org/2006/06/19/fp.html
defmacro.org
https://youtu.be/cpQwtwVKAfU?t=1574
youtu.be
https://youtu.be/cpQwtwVKAfU?t=1436
youtu.be
https://github.com/matthieu-m/static-rc
github.com
https://en.wikipedia.org/wiki/Reference_counting
en.wikipedia.org
https://youtu.be/vzfy4EKwG_Y?t=355
youtu.be
https://blog.logrocket.com/introducing-the-rust-borrow-checker/
blog.logrocket.com
https://doc.rust-lang.org/book/ch04-01-what-is-ownership.html
doc.rust-lang.org
Notes on a smaller Rust Read at the source ↗
without.boats
https://koka-lang.github.io/koka/doc/book.html
koka-lang.github.io
https://www.microsoft.com/en-us/research/publication/perceus-garbage-free-reference-counting-with-reuse/
microsoft.com
https://koka-lang.github.io/
koka-lang.github.io
https://en.wikipedia.org/wiki/Region-based_memory_management
en.wikipedia.org
https://en.wikipedia.org/wiki/Stack-oriented_programming
en.wikipedia.org
https://en.wikipedia.org/wiki/Substructural_type_system
en.wikipedia.org
https://michaelfeathers.silvrback.com/the-ergonomics-of-type-checking
michaelfeathers.silvrback.com
https://github.com/staltz/ama/issues/49
github.com
https://en.wikipedia.org/wiki/Flow_(psychology
en.wikipedia.org
https://youtu.be/Srt_8a5Nam0?t=305
youtu.be
https://en.wikipedia.org/wiki/Fallacies_of_distributed_computing
en.wikipedia.org
https://www.typescriptlang.org/docs/handbook/type-compatibility.html
typescriptlang.org
https://www.youtube.com/watch?v=aSEQfqNYNAc
youtube.com
No, dynamic type systems are not inherently more open Read at the source ↗
lexi-lambda.github.io
https://www.greyblake.com/blog/from-typescript-to-rescript/
greyblake.com
https://rescript-lang.org/docs/manual/latest/type
rescript-lang.org
Wat Read at the source ↗
destroyallsoftware.com
https://baturin.org/blog/introduction-to-ocaml-part-4-higher-order-functions-parametric-polymorphism-and-algebraic-data-types/
baturin.org
https://research.swtch.com/generic
research.swtch.com
https://news.ycombinator.com/item?id=29735509
news.ycombinator.com
https://3fx.ch/typing-is-hard.html
3fx.ch
https://youtu.be/6qzWm_eoUXM?t=762
youtu.be
https://forum.rescript-lang.org/t/possible-to-import-typescript-packages-into-reason/989/5
forum.rescript-lang.org
https://jfdm.github.io/post/2020-07-09-Programming-with-holes.html
jfdm.github.io
https://www.youtube.com/watch?v=q58NFuUr0GU
youtube.com
https://www.reddit.com/r/haskell/comments/4smzl1/firstclass_modules_and_type_classes/
reddit.com
https://twitter.com/flybayer/status/1565061070363959297
twitter.com
https://twitter.com/teemu_taskula/status/1413919990739316740
twitter.com
https://amulet.works/
amulet.works
https://twitter.com/mattpocockuk/status/1646452575665893377
twitter.com
https://twitter.com/magnemg/status/1572507217567584263
twitter.com
https://x.com/magnemg/status/1729917963489165783?s=20
x.com
https://wikidiff.com/concretization/abstraction
wikidiff.com
New website Read at the source ↗
worrydream.com
https://www.reddit.com/r/Clojure/comments/tt88b0/questions_about_rich_hickeys_comments_on_static/
reddit.com
What is Zig's Comptime? Read at the source ↗
kristoff.it
https://en.wikipedia.org/wiki/Type_theory
en.wikipedia.org
https://www.youtube.com/watch?v=aSEQfqNYNAc&t=1s
youtube.com
https://eli.thegreenplace.net/2016/the-expression-problem-and-its-solutions/
eli.thegreenplace.net
https://www.giacomodebidda.com/posts/3-ways-to-solve-the-expression-problem/
giacomodebidda.com
https://github.com/fsharp/fslang-suggestions/issues/243
github.com
https://youtu.be/hcK3N_Y3hzM?t=834
youtu.be
https://basecamp.com/gettingreal/06.1-race-to-running-software
basecamp.com
https://www.youtube.com/watch?v=Agu6jipKfYw
youtube.com
https://www.reactivemanifesto.org/
reactivemanifesto.org
https://akka.io/
akka.io
https://en.wikipedia.org/wiki/Lean_software_development
en.wikipedia.org
https://www.atlassian.com/agile/kanban/wip-limits
atlassian.com
https://subscription.packtpub.com/book/application-development/9781785889745/1/ch01lvl1sec13/thinking-in-sequences
subscription.packtpub.com
https://youtu.be/gCWtkvDQ2ZI?t=170
youtu.be
https://www.unisonweb.org/
unisonweb.org
https://youtu.be/A3AdN7U24iU?t=2029
youtu.be
https://maggiepint.com/2017/04/11/fixing-javascript-date-web-compatibility-and-reality/
maggiepint.com
https://en.wikipedia.org/wiki/Backward_compatibility
en.wikipedia.org
https://en.wikipedia.org/wiki/Forward_compatibility
en.wikipedia.org
https://go.dev/blog/introducing-gofix
go.dev
https://steve-yegge.medium.com/dear-google-cloud-your-deprecation-policy-is-killing-you-ee7525dc05dc
steve-yegge.medium.com
https://youtu.be/0hQvWIdwnw4?t=1133
youtu.be
https://www.reactivemanifesto.org/glossary
reactivemanifesto.org
https://www.brianstorti.com/the-actor-model/
brianstorti.com
https://tutorial.ponylang.io/types/actors.html
tutorial.ponylang.io
https://blog.metaobject.com/2019/11/what-alan-kay-got-wrong-about-objects.html
blog.metaobject.com
https://twitter.com/magnemg/status/1498758939411984390?s=20&t=22EsOqyL0E4KjTIczit4Zw
twitter.com
https://developer.mozilla.org/en-US/docs/Learn/JavaScript/Asynchronous/Async_await
developer.mozilla.org
https://www.youtube.com/watch?v=ayoofXuKqMY
youtube.com
https://syndicate-lang.org/about/history/
syndicate-lang.org
https://www.baeldung.com/cs/global-variables
baeldung.com
https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Functions/rest_parameters
developer.mozilla.org
https://en.wikipedia.org/wiki/Variable_shadowing
en.wikipedia.org
https://forum.rescript-lang.org/t/let-keyword-needed/2899/6
forum.rescript-lang.org
https://github.com/jashkenas/coffeescript/issues/2697
github.com
https://gist.github.com/iankronquist/99db09745d4df46b5d8b933f5bd80c3c
gist.github.com
https://medium.com/@magnusjt/functional-core-imperative-shell-in-javascript-29bef2353ac2
medium.com
https://www.destroyallsoftware.com/screencasts/catalog/functional-core-imperative-shell
destroyallsoftware.com
https://www.destroyallsoftware.com/talks/boundaries
destroyallsoftware.com
https://youtu.be/cpQwtwVKAfU?t=976
youtu.be
https://youtu.be/cpQwtwVKAfU?t=1034
youtu.be
https://youtu.be/cpQwtwVKAfU?t=788
youtu.be
https://youtu.be/Bs44qdAX5yo?t=1420
youtu.be
https://github.com/matthiasn/talk-transcripts/blob/master/Hickey_Rich/ValueOfValues.md
github.com
Algebraic Effects for the Rest of Us Read at the source ↗
overreacted.io
https://news.ycombinator.com/item?id=14781900
news.ycombinator.com
https://www.janestreet.com/tech-talks/effective-programming/
janestreet.com
https://blog.jle.im/entry/io-monad-considered-harmful
blog.jle.im
https://www.google.com/search?q=what+is+a+monad+meme&client=firefox-b-e&source=lnms&tbm=isch&sa=X&ved=2ahUKEwjdu9i0ocXyAhWZS_EDHdiqDZcQ_AUoAXoECAEQAw&biw=1512&bih=833
google.com
https://stackoverflow.com/a/48413048/380607
stackoverflow.com
https://youtu.be/iSmkqocn0oQ?t=184
youtu.be
https://github.com/matthiasn/talk-transcripts/blob/master/Hickey_Rich/SimpleMadeEasy.md
github.com
https://dev.to/redbar0n/functions-vs-procedures-keep-them-separate-5ed7
dev.to
http://lambda-the-ultimate.org/node/2708
lambda-the-ultimate.org
https://en.wikipedia.org/wiki/Clean_(programming_language
en.wikipedia.org
https://www.idris-lang.org/
idris-lang.org
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.142.5413&rep=rep1&type=pdf
citeseerx.ist.psu.edu
https://www.openhub.net/p/12489
openhub.net
https://guide.elm-lang.org/interop/limits.html
guide.elm-lang.org
https://reintech.io/blog/understanding-rust-zero-cost-abstractions
reintech.io
https://youtu.be/up0kiOJvUpI?t=2832
youtu.be
https://clojure.org/reference/transducers
clojure.org
https://www.unleashedsoftware.com/blog/one-piece-flow-manufacturing-the-key-to-boosting-efficiency
unleashedsoftware.com
http://www.om-language.org/
om-language.org
https://en.wikipedia.org/wiki/Object_lifetime
en.wikipedia.org
https://web.engr.oregonstate.edu/~benl/Publications/Book_Chapters/Advances_in_Computers_Dataflow93.pdf
web.engr.oregonstate.edu
https://stackoverflow.com/a/949771/380607
stackoverflow.com
https://en.wikipedia.org/wiki/Purely_functional_programming
en.wikipedia.org
https://github.com/adityagarde/parallel-asynchronous-java
github.com
https://youtu.be/XlvfHOrF26M?t=109
youtu.be
https://news.ycombinator.com/item?id=28213940
news.ycombinator.com
https://en.wikipedia.org/wiki/Amdahl%27s_law
en.wikipedia.org
https://en.wikipedia.org/wiki/Verilog
en.wikipedia.org
Notes on structured concurrency, or: Go statement considered harmful Read at the source ↗
vorpus.org
https://pkg.go.dev/sync
pkg.go.dev
https://github.com/carp-lang/Carp/issues/1149
github.com
https://github.com/matthiasn/talk-transcripts/blob/master/Steele_Guy/ParallelProg.md
github.com
https://chapel-lang.org/docs/examples/hellos/hello4-datapar-dist.html
chapel-lang.org
https://web.archive.org/web/20150226021702/http://joearms.github.io/2013/03/28/solving-the-wrong-problem.html
web.archive.org
https://en.wikipedia.org/wiki/Automatic_parallelization
en.wikipedia.org
https://www.oreilly.com/library/view/parallel-and-concurrent/9781449335939/pt01.html
oreilly.com
https://youtu.be/iSmkqocn0oQ?t=182
youtu.be
https://dzone.com/articles/mechanical-sympathy
dzone.com
https://twitter.com/mayurdhurpate/status/1205190414510116864?s=20
twitter.com
https://youtu.be/tD5NrevFtbU?t=728
youtu.be
https://github.com/lark-exploration/lark
github.com
https://github.com/natewind/articles/blob/master/2021-06-26-A-Dream-of-the-Perfect-Programming-Language.md
github.com
https://youtu.be/SYkzk_j3yb0?t=1334
youtu.be
https://go.dev/solutions/webdev
go.dev
https://youtu.be/yiiDFRs62lQ?t=1167
youtu.be
https://youtu.be/yiiDFRs62lQ?t=1245
youtu.be
https://youtu.be/Gv2I7qTux7g?t=190
youtu.be
https://youtu.be/vzfy4EKwG_Y?t=1380
youtu.be
https://www.roc-lang.org/
roc-lang.org
https://youtu.be/ScEPu1cs4l0?t=1085
youtu.be
https://en.wikipedia.org/wiki/Copy-on-write
en.wikipedia.org
https://en.m.wikipedia.org/wiki/Persistent_data_structure
en.m.wikipedia.org
https://immerjs.github.io/immer/
immerjs.github.io
https://bendyworks.com/blog/leveling-clojures-hash-maps
bendyworks.com
https://doc.rust-lang.org/book/ch04-02-references-and-borrowing.html
doc.rust-lang.org
https://docs.rs/im/13.0.0/im/
docs.rs
https://clojure.org/reference/transients
clojure.org
https://codesandbox.io/s/zustand-valtio-jotai-counters-my6np?file=/src/ValtioCounter.tsx:181-205
codesandbox.io
https://dev.to/fkrasnowski/comment/1c706
dev.to
https://en.wikipedia.org/wiki/Memoization
en.wikipedia.org
https://media.handmade-seattle.com/practical-data-oriented-design/
media.handmade-seattle.com
https://en.wikipedia.org/wiki/Communicating_sequential_processes
en.wikipedia.org
https://youtu.be/PNx9WqQ9QeA?t=770
youtu.be
https://news.ycombinator.com/item?id=21561966
news.ycombinator.com
https://news.ycombinator.com/item?id=25310766
news.ycombinator.com
https://youtu.be/_IgqJr8jG8M?t=238
youtu.be
https://kittenlang.org/
kittenlang.org
https://quokkajs.com/
quokkajs.com
https://clojure.org/guides/learn/namespaces
clojure.org
https://rescript-lang.org/docs/manual/latest/api/js/array
rescript-lang.org
https://ionicframework.com/docs/api/accordion
ionicframework.com
https://wiki.c2.com/?StackBasedLanguage
wiki.c2.com
https://hackerfoo.com/presentations/ttpl_slides.html
hackerfoo.com
https://www.goodreads.com/quotes/726152-an-algorithm-must-be-seen-to-be-believed
goodreads.com
https://wiki.c2.com/?ImageBasedLanguage
wiki.c2.com
https://purelyfunctional.tv/lesson/what-is-repl-driven-development/
purelyfunctional.tv
https://clojure.org/about/dynamic
clojure.org
https://news.ycombinator.com/item?id=23811382
news.ycombinator.com
https://youtu.be/Bs44qdAX5yo?t=533
youtu.be
https://youtu.be/QyJZzq0v7Z4?t=1997
youtu.be
https://youtu.be/CTTTip7Kjao?t=11127
youtu.be
https://undo.io/resources/reverse-debugging-time-travel-debugging-brief-hist/
undo.io
https://wiki.c2.com/?ReversibleProgrammingLanguage
wiki.c2.com
https://en.wikipedia.org/wiki/Serialization
en.wikipedia.org
https://github.com/tannerlinsley/react-query/discussions/988
github.com
https://youtu.be/GVyoCh2chEs?t=613
youtu.be
https://www.infoq.com/presentations/mechanical-sympathy/
infoq.com
https://news.ycombinator.com/item?id=6700646
news.ycombinator.com
https://microsoft.github.io/language-server-protocol/
microsoft.github.io
https://youtu.be/A3AdN7U24iU?t=3102
youtu.be
https://code.visualstudio.com/api/language-extensions/language-server-extension-guide
code.visualstudio.com
https://wiki.c2.com/?WhyIsSmalltalkDead
wiki.c2.com
https://elixirforum.com/t/hot-reloading-and-static-types/18962
elixirforum.com
https://news.ycombinator.com/user?id=Supermancho
news.ycombinator.com
https://news.ycombinator.com/user?id=JonChesterfield
news.ycombinator.com
https://news.ycombinator.com/item?id=29730594
news.ycombinator.com
https://youtu.be/dFHj1d9FG8M?t=715
youtu.be
https://hexdocs.pm/
hexdocs.pm
https://youtu.be/9mfO821E7sE?t=1498
youtu.be
https://youtu.be/_ahvzDzKdB0?t=1330
youtu.be
https://en.wikipedia.org/wiki/Convention_over_configuration
en.wikipedia.org
https://dev.to/peerreynders/comment/1j4c4
dev.to
https://youtu.be/vzfy4EKwG_Y?t=250
youtu.be
https://qr.ae/pGz7Uh
qr.ae
https://hirrolot.github.io/posts/compiler-development-rust-or-ocaml.html
hirrolot.github.io
https://news.ycombinator.com/item?id=24224837
news.ycombinator.com
https://ziglang.org/
ziglang.org
https://github.com/roc-lang/roc/blob/main/FAQ.md
github.com
https://qr.ae/pGz7Og
qr.ae
https://en.wikipedia.org/wiki/Abstract_syntax_tree
en.wikipedia.org
https://www.unisonweb.org/docs/tour
unisonweb.org
http://matt.might.net/articles/intro-static-analysis/
matt.might.net
https://blog.cleancoder.com/uncle-bob/2018/04/13/FPvsOO.html
blog.cleancoder.com
https://elm-lang.org/news/small-assets-without-the-headache
elm-lang.org
https://medium.com/@Rich_Harris/tree-shaking-versus-dead-code-elimination-d3765df85c80
medium.com
https://en.wikipedia.org/wiki/Fragile_base_class
en.wikipedia.org
https://github.com/mjarkk/go-graphql/blob/e0fd37d29c6deba5ae5e059a562e765dfe608863/examples/fiber/main.go
github.com
https://www.codingame.com/playgrounds/7463/tree-shaking-in-javascript-with-rollup
codingame.com
https://dev.to/madhadron/comment/8n52
dev.to
https://news.ycombinator.com/item?id=30419531
news.ycombinator.com
https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0088941
journals.plos.org
https://humanist.co/blog/law-of-conservation-of-complexity/
humanist.co
https://en.wikipedia.org/wiki/No_Silver_Bullet
en.wikipedia.org
https://twitter.com/kentcdodds/status/1529583302713085952?s=20&t=OdKfFC0x_Tq4JwcFOq3AaQ
twitter.com
Remix and “The Edge” Read at the source ↗
remix.run
https://macwright.com/2021/01/15/rust.html
macwright.com
https://wiki.c2.com/?LispIsTooPowerful
wiki.c2.com
https://news.ycombinator.com/item?id=22700512
news.ycombinator.com
https://youtu.be/mVVNJKv9esE?t=1137
youtu.be
https://jtbd.info/2-what-is-jobs-to-be-done-jtbd-796b82081cca
jtbd.info
https://rollupjs.org/guide/en/
rollupjs.org
https://youtu.be/ltCgzYcpFUI?t=1317
youtu.be
https://qr.ae/pG3XE8
qr.ae
https://youtu.be/GVyoCh2chEs?t=402
youtu.be
https://lispcast.com/two-kinds-of-bootstrapping/
lispcast.com
https://dev.to/taybenlor/web-assembly-should-be-a-default-binary-target-44m6
dev.to
https://dev.to/redbar0n/notes-on-the-future-of-wasm-and-js-4g6o
dev.to
https://youtu.be/EnPodoPzimE?t=612
youtu.be
https://qr.ae/pGQB5i
qr.ae
https://mkdev.me/en/posts/how-to-choose-a-programming-language
mkdev.me
https://en.wikipedia.org/wiki/Benevolent_dictator_for_life
en.wikipedia.org
https://pldb.io/posts/aSingleCreator.html
pldb.io
https://statmodeling.stat.columbia.edu/2007/09/27/i_was_correspon/
statmodeling.stat.columbia.edu
https://learn.co/lessons/matz-readme
learn.co
https://lispcast.com/cognitect-clojure/
lispcast.com
https://lukeplant.me.uk/blog/posts/why-im-leaving-elm/ Read at the source ↗
lukeplant.me.uk
https://www.reddit.com/r/elm/comments/81bo14/do_we_need_to_move_away_from_elm/
reddit.com
https://auth0.com/blog/how-to-manage-javascript-fatigue/
auth0.com
https://www.goodreads.com/quotes/7-it-is-not-the-critic-who-counts-not-the-man
goodreads.com
https://doc.rust-lang.org/cargo/
doc.rust-lang.org
https://socket.dev/blog/node-community-debates-enabling-corepack-unbundling-npm
socket.dev
https://youtu.be/nSrucNcwlA8?t=1114
youtu.be
https://gist.github.com/Rich-Harris/0f910048478c2a6505d1c32185b61934
gist.github.com
https://youtu.be/dFHj1d9FG8M?t=911
youtu.be
https://youtu.be/_IgqJr8jG8M?t=285
youtu.be
https://en.wikipedia.org/wiki/Foreign_function_interface
en.wikipedia.org
https://youtu.be/_IgqJr8jG8M?t=301
youtu.be
https://youtu.be/Gv2I7qTux7g?t=175
youtu.be
https://github.com/WebAssembly/tool-conventions/blob/main/BasicCABI.md
github.com
https://webassembly.org/
webassembly.org
https://webassembly.org/docs/security/
webassembly.org
https://en.wikipedia.org/wiki/Bus_factor
en.wikipedia.org
https://youtu.be/A3AdN7U24iU?t=2500
youtu.be
https://www.youtube.com/watch?v=ltCgzYcpFUI
youtube.com
https://youtu.be/ltCgzYcpFUI?t=2244
youtu.be
https://www.progsbase.com/featuredpost/language-features-vs-usefulness-and-understandability/
progsbase.com
https://www.investopedia.com/terms/1/80-20-rule.asp
investopedia.com
https://en.wikipedia.org/wiki/Uncanny_valley
en.wikipedia.org
https://rosettacode.org/wiki/Rosetta_Code
rosettacode.org
https://english.stackexchange.com/a/38838/416201
english.stackexchange.com
https://news.ycombinator.com/item?id=29731425
news.ycombinator.com
https://news.ycombinator.com/item?id=30489515
news.ycombinator.com
https://youtu.be/1AZA1zoP-II?t=2722
youtu.be
https://wiki.c2.com/?IdealProgrammingLanguage
wiki.c2.com
Revisiting a 'smaller Rust' Read at the source ↗
without.boats
Why async Rust? Read at the source ↗
without.boats
https://graydon2.dreamwidth.org/307291.html
graydon2.dreamwidth.org
https://twitter.com/ChShersh/status/1730609197824217200
twitter.com
https://rescript-lang.org/blog/bucklescript-is-rebranding Read at the source ↗
rescript-lang.org
https://youtu.be/LKtk3HCgTa8?t=3017
youtu.be
https://quoteinvestigator.com/2011/05/13/einstein-simple/
quoteinvestigator.com
https://en.wikipedia.org/wiki/Data_parallelism
en.wikipedia.org
https://blog.thomasheartman.com/posts/haskells-maybe-and-either-types
blog.thomasheartman.com
https://youtu.be/omrY53kbVoA
youtu.be