𓁟 host1.bitchan.one

𓀐 @*oeLnXZs: >Lisp is a family of programming languages with a long history and a distinctive parenthesized prefix notation. There are many dialects of Lisp, including Common Lisp, Scheme, Clojure and Elisp. >Emacs is an extensible, customizable, self-documenting free/libre text editor and computing environment, with a Lisp interpreter at its core. >Emacs Resources https://gnu.org/s/emacs https://github.com/emacs-tw/awesome-emacs https://github.com/systemcrafters/crafted-emacs >Learning Emacs C-h t (Interactive Tutorial) https://emacs-config-generator.fly.dev https://systemcrafters.net/emacs-from-scratch http://xahlee.info/emacs https://emacs.tv >Browse imageboards in Emacs Org-Mode https://github.com/eNotchy/4g >Emacs Distros https://github.com/caisah/emacs.dz >Elisp Docs: C-h f [function] C-h v [variable] C-h k [keybinding] C-h m [mode] M-x ielm [REPL] https://gnu.org/s/emacs/manual/eintr.html https://gnu.org/s/emacs/manual/elisp.html https://github.com/emacs-tw/awesome-elisp >Common Lisp https://almightylisp.com https://lispcookbook.github.io/cl-cookbook https://cs.cmu.edu/~dst/LispBook https://gigamonkeys.com/book https://lisp-docs.github.io https://awesome-cl.com >Scheme https://scheme.org https://standards.scheme.org https://go.scheme.org/awesome https://research.scheme.org/lambda-papers >Clojure https://clojure.org https://clojure-doc.org https://clojure.land https://www.clojure-toolbox.com https://mooc.fi/courses/2014/clojure https://jafingerhut.github.io/cheatsheet/clojuredocs/cheatsheet-tiptip-cdocs-summary.html >Other https://github.com/dundalek/awesome-lisp-languages >Guix https://guix.gnu.org https://nonguix.org https://systemcrafters.net/craft-your-system-with-guix https://futurile.net/resources/guix https://github.com/franzos/awesome-guix >SICP/HtDP https://web.mit.edu/6.001/6.037/sicp.pdf https://htdp.org >More Lisp Resources https://lisp.nexus https://rentry.org/lispresources (set! thread-link >>>/g/lisp) (set! prev-thread )

>Dynamic vs. static types has been an argument that has gone It looks like a done debate today because of vibeshitting. LLMs make random small mistakes or change the code at whim (even when you ask it not to) so strong static types seem like a most See how Rust and Typescript are the most popular languages on GitHub despite being considered pain to write before 2023

⧖expiring ~22d0/3 kept1w ago

𓀐 @NGp5_gaq

⏱ 1w 👍 0

⬆ upvote 0

[⇥] sort oldest ⏱

⬆[⏱]₿⚠

👍👎✔

𓀐↩⛓⚠

[⇥] flip, oldest first

filter [-]
𓀐 @Ti6q~~zH: The argument was over before LLMs. See how every modern language has a static type system and older languages that didn't have been retrofitted to support them (python type hinting, ruby sorbet, typescript). The obvious reason is that it's hard to know what a variable is a lot of the time in a dynamic type system, and with type inference or gradual typing and modern LSPs, having types is more ergonomic than not. LLMs didn't fundamentally change anything here, they just amplified the existing relationship.+

⬆ upvote 0↩ reply 0

𓀐 @5XRzszUx: >See how Rust and Typescript are the most popular languages on GitHub despite being considered pain to write before 2023 Source? I see Javascript and Python. >so strong static types seem like a must Source? The paper I saw didn't show this. They're investing in formal verification: https://www.anthropic.com/research/formal-verification Strong static types just seems like placebo.+

⬆ upvote 0↩ reply 0