This draft paper dated 1979, apparently never published, gave an historical overview of early programming languages for AI.
The document helps make sense of names like POPLER and QLISP. What's interesting is high level languages such as PLANNER and CONNIVER saw initial interest but little actual use.
https://stacks.stanford.edu/file/druid:vg077ps3762/vg077ps3762.pdf
(1/5) We are happy to announce the release of our ICFP/SPLASH'25 coverage totaling over 481 talks and presentations across co-located events: OOPSLA, ICFP, FARM, Doctoral Symposium, Tutorials, FUNARCH, PLMW, SPLASH-E, Onward!, Haskell, Erlang, Scheme, MPLR, LMPL, TyDe, HOPE, ML, HATRA, VMIL, PROPL, OCaml, SAS, miniKanren, WAW, Scala, IWACO, and REBASE!
https://youtube.com/@acmsigplan
X-mas comes early this year: the ICFP 2025 talks are now on YouTube.
You can catch my talk on "Domain-specific tensor languages" below. We explore implementing tensor calculus in #Haskell, supporting both Einstein notation and Penrose diagrams to model things like General Relativity and black holes. 🕳️🚀
My talk: https://www.youtube.com/watch?v=04cxfddDwuI
Full Playlists:
🔗 ICFP papers: https://www.youtube.com/watch?v=COD4tnVtHoQ&list=PLyrlk8Xaylp4WyLpPH40RBw-kZSdkpkVs
🔗 JFP First papers: https://www.youtube.com/watch?v=oZLSDFfpHp0&list=PLyrlk8Xaylp68qJ-kEeXEPne0ePPwNGFi
https://mastodon.acm.org/@sigplanav/115667300324636252
cc @sigplanav (https://sigplan.org)
#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming
(1/5) We are happy to announce the release of our ICFP/SPLASH'25 coverage totaling over 481 talks and presentations across co-located events: OOPSLA, ICFP, FARM, Doctoral Symposium, Tutorials, FUNARCH, PLMW, SPLASH-E, Onward!, Haskell, Erlang, Scheme, MPLR, LMPL, TyDe, HOPE, ML, HATRA, VMIL, PROPL, OCaml, SAS, miniKanren, WAW, Scala, IWACO, and REBASE!
https://youtube.com/@acmsigplan
X-mas comes early this year: the ICFP 2025 talks are now on YouTube.
You can catch my talk on "Domain-specific tensor languages" below. We explore implementing tensor calculus in #Haskell, supporting both Einstein notation and Penrose diagrams to model things like General Relativity and black holes. 🕳️🚀
My talk: https://www.youtube.com/watch?v=04cxfddDwuI
Full Playlists:
🔗 ICFP papers: https://www.youtube.com/watch?v=COD4tnVtHoQ&list=PLyrlk8Xaylp4WyLpPH40RBw-kZSdkpkVs
🔗 JFP First papers: https://www.youtube.com/watch?v=oZLSDFfpHp0&list=PLyrlk8Xaylp68qJ-kEeXEPne0ePPwNGFi
https://mastodon.acm.org/@sigplanav/115667300324636252
cc @sigplanav (https://sigplan.org)
#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming
Multi-language IDEs that interact with interpreters via protocols are now common, from classic Emacs with its inferior process protocols to VS Code with LSP and similar modern environments.
This paper described an early exploration of these ideas: a language-independend, Interlisp-based environment that interfaced with language processors over the ARPANET. In 1974.
Rachit Nigam on why design new programming languages and what is a language.
[...] we create programming languages to experience new ideas; ideas that would have remained inaccessible had we stayed with the old languages.
https://people.csail.mit.edu/rachit/post/why-study-programming-languages
Dave Gauer on why small programs and programming languages are appealing. Some great thoughts, no pun intended.
