TODO.md

PL List

• ColdFusion/CFML
  • https://en.wikipedia.org/wiki/Adobe_ColdFusion
• Coq
  • https://news.ycombinator.com/item?id=13177116
  • https://news.ycombinator.com/item?id=13268288
  • http://lambda-the-ultimate.org/node/5629
• CQL
  • https://twitter.com/FunctorFact/status/1390338116037267464
• CSS
  • https://twitter.com/MarijnJH/status/1150808103237103616
  • https://css-tricks.com/logical-operations-with-css-variables/
• Eiffel
  • SmallEiffel , SmartEiffel https://news.ycombinator.com/item?id=2410939
  • https://www.liberty-eiffel.org/
  • http://wiki.c2.com/?EiffelLanguage
  • https://www.google.com/search?ie=UTF-8&oe=UTF-8&q=Eiffel&btnG=&domains=http%3A%2F%2Flambda-the-ultimate.org&sitesearch=http%3A%2F%2Flambda-the-ultimate.org
• Emacs Lisp
  • https://en.wikipedia.org/wiki/Emacs_Lisp
  • https://www.reddit.com/r/emacs/comments/lly7po/do_you_use_emacs_lisp_as_a_general_purpose/gnvzisy/
• Gallifrey
  • a Language for Geodistributed Programming
  • http://www.cs.cornell.edu/andru/papers/gallifrey/snapl.pdf
• Grain
  • https://k33g.hashnode.dev/getting-started-with-grain-by-examples?source=tw0622
• Gravity
  • https://news.ycombinator.com/item?id=13802787
• Hackett
  • https://lexi-lambda.github.io/blog/2017/05/27/realizing-hackett-a-metaprogrammable-haskell/
• HackPPL
  • https://blog.acolyer.org/2019/10/18/hackppl/amp/?__twitter_impression=true
• Haskell
  • https://news.ycombinator.com/item?id=12993350
  • https://news.ycombinator.com/item?id=13125328
  • https://news.ycombinator.com/item?id=13256092
  • https://news.ycombinator.com/item?id=13272254
• HaskellR
  • https://tweag.github.io/HaskellR/
• Hy
  • https://docs.hylang.org/en/stable/
• IDL
  • https://en.wikipedia.org/wiki/IDL_(programming_language)
• InterLisp
  • https://en.wikipedia.org/wiki/Interlisp
  • https://interlisp.org/
• J
  • https://twitter.com/CompSciFact/status/1451920337944432642
• Java
  • https://news.ycombinator.com/item?id=12998589
• JavaScript
  • https://en.wikipedia.org/wiki/JavaScript
  • https://news.ycombinator.com/item?id=12998589
  • https://brendaneich.com/tag/history/
  • https://twitter.com/porteneuve/status/1252315566158876673
• Juvix
  • https://www.reddit.com/r/dependent_types/comments/esbi2r/the_why_of_juvix_ingredients_architecture/?utm_source=dlvr.it&utm_medium=twitter
• KAsaya
  • http://web.archive.org/web/20201216115716/https://github.com/syscolabs/kasaya
• Lambda Calculus
  • https://news.ycombinator.com/item?id=13122336
• LISP
  • https://news.ycombinator.com/item?id=13192738
  • https://esdiscuss.org/topic/the-tragedy-of-the-common-lisp-or-why-large-languages-explode-was-revive-let-blocks
  • http://flownet.com/gat/jpl-lisp.html
• LoCal
  • https://twitter.com/PLPresents/status/1146772016676179968
• LOOP - https://news.ycombinator.com/item?id=18756564
  • https://en.wikipedia.org/wiki/LOOP_(programming_language)
• Lucid
  • http://worrydream.com/refs/Wadge%20-%20Lucid,%20the%20Dataflow%20Programming%20Language.pdf
• Mercury
  • https://bluishcoder.co.nz/2019/06/23/getting-started-with-mercury.html
• META II
  • https://news.ycombinator.com/item?id=13039981
• Mirth - https://mobile.twitter.com/_sofia_af/status/1090429011774398464
• Miranda
  • https://www.cs.kent.ac.uk/people/staff/dat/miranda/
• Mizar
  • http://mizar.uwb.edu.pl/
• Mocha
  • Early name for JavaScript
• Morel
  • http://blog.hydromatic.net/2020/02/25/morel-a-functional-language-for-data.html
• Move
  • http://rebase-conf.org/2021/#the-move-language-for-the-diem-blockchain
• Morel
  • https://search.brave.com/search?q=morel+functional+query+language&source=web
• Multics Shell
• NeeiLang
  • https://github.com/neeilan/neeilang
• NewtonScript
  • https://en.wikipedia.org/wiki/NewtonScript
  • http://newtonscript.org/
• Nickle
  • http://nickle.org/
  • http://lambda-the-ultimate.org/node/1311#comment-14798
• Noop
  • https://code.google.com/archive/p/noop/
  • https://gcemetery.co/noop/
• Nushell
  • http://www.jonathanturner.org/2019/08/introducing-nushell.html
• Oak
  • AKA Java http://ei.cs.vt.edu/book/chap1/java_hist.html
• Oberon
  • https://news.ycombinator.com/item?id=13804837
  • https://en.wikipedia.org/wiki/Oberon_(programming_language)
  • https://en.wikipedia.org/wiki/Oberon_(operating_system)
• Occam
  • https://en.wikipedia.org/wiki/Occam_(programming_language)
  • Different Occam?
    • https://twitter.com/graydon_pub/status/1156798756798398464
• ParaSail
  • http://parasail-lang.org/
• Perl
  • https://news.ycombinator.com/item?id=13125282
• Plato
  • https://github.com/cdiggins/plato
• PL/I
  • https://twitter.com/awbjs/status/1251210046593097728
• Plutus
  • https://www.crypto-news-flash.com/cardano-thats-why-marlowe-is-better-for-defi-than-ethereums-solidity/
  • https://twitter.com/TacticalGrace/status/1080432762149056512
  • https://coincryptonews.com/2019/04/26/cardano-plutus-smart-contracts-explained-deep-dive/
  • https://en.wikipedia.org/wiki/Cardano_(cryptocurrency_platform)
• Polymath
  • https://twitter.com/algoritmic/status/1242034451531653121
• Punyforth
  • https://github.com/zeroflag/punyforth
• PureScript
  • https://news.ycombinator.com/item?id=13141940
• Raku
  • https://rosettacode.org/wiki/Category:Raku
• Remora
  • https://www.johndcook.com/blog/2021/10/26/unintended-programming-languages/
• Ripple
  • https://github.com/joshsh/ripple
• Risp
  • https://stopa.io/post/222
• Sarad
  • https://github.com/abagames/sarad
• Scala
  • https://mobile.twitter.com/odersky/status/1214084720021114881
• Scheme
  • https://news.ycombinator.com/item?id=12998589
• Skip
  • https://news.ycombinator.com/item?id=18077612
• Smallscript
  • http://lambda-the-ultimate.org/classic/message4826.html#4849
• Smalltalk
  • https://news.ycombinator.com/item?id=12998589
  • http://www.wirfs-brock.com/allen/things/smalltalk-things/smalltalk-87
  • https://en.wikipedia.org/wiki/Smalltalk
  • http://lambda-the-ultimate.org/node/767#comment-6998
  • Amber smalltalk
    • https://www.amber-lang.net/ http://soil-initiative.org/
  • SOM
    • https://github.com/SOM-st/SOM
• Swift
  • https://news.ycombinator.com/item?id=13006459
  • https://news.ycombinator.com/item?id=13204088
• Tabloid
  • https://tabloid.vercel.app/
• Taitopia
  • https://twitter.com/TimSweeneyEpic/status/1492184696394035204
• Telescript
  • http://cgibin.erols.com/ziring/cgi-bin/cep/cep.pl?_key=Telescript
• TRAC
  • https://dl.acm.org/citation.cfm?doid=800197.806048
• Turing Paing
  • https://byronknoll.com/turing.html
• Unison
  • https://www.unisonweb.org/docs/tour/
  • https://www.unisonweb.org/
• Verona
  • https://github.com/microsoft/verona
• WysiScript
  • http://www.zifyoip.com/wysiscript/sigbovik.html
• XY
  • http://www.nsl.com/k/xy/xy.htm
• Ylang
  • https://blog.openresty.com/en/ylang-intro-part1/

Misc

• http://rosettacode.org/wiki/Category:Programming_Languages
• http://lambda-the-ultimate.org/node/7
• http://plzoo.andrej.com/
• http://99-bottles-of-beer.net/abc.html
• https://esolangs.org/wiki/Language_list
• Query language
• Programming paradigm https://web.archive.org/web/20180314160914/http://coding.derkeiler.com/Archive/Lisp/comp.lang.lisp/2006-04/msg01644.html
• http://lambda-the-ultimate.org/node/767#comment-7012
• https://en.wikipedia.org/wiki/Prototype-based_programming
• https://mobile.twitter.com/wvo/status/1177096361113636866
• https://github.com/dundalek/awesome-lisp-languages
• https://news.ycombinator.com/item?id=11001693
• https://github.com/kanaka/mal?files=1
• https://stackoverflow.com/questions/491971/what-programming-language-is-most-like-natural-language
• https://blog.sigplan.org/2019/12/03/flapjax-from-system-to-paper/
• Music languages: http://www.nosuch.com/plum/cgi/showlist.cgi?sort=name&concise=yes
• https://en.wikipedia.org/wiki/Fourth-generation_programming_language
• http://degoes.net/articles/fp-glossary
• https://www.johndcook.com/blog/2018/04/17/unpopular-languages/
• https://0.30000000000000004.com/
• https://twitter.com/wallingf/status/1239651353720487943
• https://venturebeat.com/2019/02/18/facebooks-chief-ai-scientist-deep-learning-may-need-a-new-programming-language/
• https://twitter.com/awbjs/status/1244699795882532873
• http://hopl.info/
• https://www.levenez.com/lang/
• The Functional Programming paradigm's logo is Lambda due to its theoretical basis in lambda calculus
• The most fundamental aspect of the Object-Oriented paradigm is open recursion. So is the Y combinator most important?
  • "On Understanding Data Abstraction, Revisited" https://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf
• https://twitter.com/presentcorrect/status/1138797880263761920
• http://www.digibarn.com/collections/posters/tongues/
• http://neilmitchell.blogspot.com/2020/11/turing-incomplete-languages.html
• https://timthompson.com/plum/cgi/showlist.cgi?sort=name&concise=yes
• Pygmalion https://web.media.mit.edu/~lieber/Publications/Pygmalion-Remixed.pdf =====

Smart Contract languages https://tvcutsem.github.io/smartcontracts

https://mathinspector.com/

L-Systems

https://www.johndcook.com/blog/2021/02/11/trig-across-languages/

https://benchmarksgame-team.pages.debian.net/benchmarksgame/which-programs-are-fastest.html

https://twitter.com/LogicPractice/status/1355162575017811970

https://www.npopov.com/2012/06/15/The-true-power-of-regular-expressions.html

https://twitter.com/AlgebraFact/status/1365285883566505984

https://www.hillelwayne.com/post/influential-dead-languages/

https://twitter.com/AzureDevOps/status/1409618613426868227

visual programming https://news.ycombinator.com/item?id=20507668

https://www.cs.uni.edu/~wallingf/blog/archives/monthly/2022-10.html#e2022-10-23T09_54_59.htm

Programming Matter: https://twitter.com/michael_nielsen/status/1622986262750859265

https://web.archive.org/web/20231127151129/http://lambda-the-ultimate.org/node/4534

Presentation

The CNCF Cloud Native Interactive Landscape design is interesting. Something similar might be useful here https://landscape.cncf.io/ https://craftofcoding.wordpress.com/2022/11/04/languages-pre-fortran/ https://medium.com/javascript-scene/sudolang-a-powerful-pseudocode-programming-language-for-llms-d64d42aa719b