#programminglanguagetheory — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #programminglanguagetheory, aggregated by home.social.
-
Delimited Continuations for Everyone by Kenichi Asai (2017)
-
Delimited Continuations for Everyone by Kenichi Asai (2017)
-
Delimited Continuations for Everyone by Kenichi Asai (2017)
-
Delimited Continuations for Everyone by Kenichi Asai (2017)
-
Delimited Continuations for Everyone by Kenichi Asai (2017)
-
Just got paid to write a formal grammar.
Does this make me a professional language writer?
-
Type checking approach to estimating sensitivity bounds in differential privacy: Gradual Differentially Private Programming - https://cacm.acm.org/latin-america-regional-special-section/gradual-differentially-private-programming/
-
@thephd @ehashman Ok but tbf #goLang ignored the previous 50 years of #programmingLanguageTheory, confirming that Rob Pike and Ken Thompson cannot design a #programmingLanguage to save their life, instead making a worse #javeLang
Even #Rust can do a map a Vec and return another Vec in a one-liner
-
An interesting resource for learning #TypeTheory and adjacent areas like #CategoryTheory:
“learn-tt”, Daniel Gratzer (https://github.com/jozefg/learn-tt).
-
#FunctionalProgramming #TypeTheory #Scala #ProgrammingLanguageTheory #plt o thing it is but iirc there was subtleties.
Yes scala is the only one, generally language either choose a way without object at all (Haskell, coq...) or model object/higher kind differently (ocaml).
Why so? Because is absurdly hard, comes with bad consequences (type inference is not good), and the power at hand is rarely necessary (remember that most of the industry things js, python c and Java are good enough) -
This week, we hosted a fascinating discussion with @nasser and Jon Corbett on programming language theory and announced the official poster artist for IPFS Connect Istanbul. https://fission.codes/blog/fission-fridays-september-15th-2023/ #programminglanguagetheory
-
For episode 3 of the Causal Islands Podcast, we are joined by special guests @nasser and Jon Corbett to discuss their work creating Arabic and Cree programming languages and what they learned in the process. https://fission.codes/blog/causal-islands-podcast-ep03-alternatives-to-modern-programming-languages/ #programminglanguagetheory