Did a little meta-research on 'what I'd need to do next' if I want to start investing life-spoons into learning type theory, catching up on all the mathematics I missed.
Ended up writing up a bunch of it here: https://discuss.ocaml.org/t/what-sort-of-mathematical-foundations-are-required-to-contribute-to-the-research-on-modular-implicits-typed-effects-and-the-like/12926/2?u=elliottcable #PLT #math #typetheory #Haskell #OCaml
#typetheory #haskell #ocaml #plt #math
A great paper from 2004 by Richard P. Gabriel (Lucid, Inc.), Jon L White (Lucid, Inc.), Daniel G. Bobrow (Xerox PARC) that explains how Common Lisp Object System integrates functional and object-oriented programming: https://dreamsongs.com/Files/clos-cacm.pdf
#Lisp #CommonLisp #CLOS #OOP #ObjectOrientedProgramming #FunctionalProgramming #Programming #ProgrammingLanguages #PLT #XeroxPARC #PARC
#lisp #commonlisp #clos #oop #objectorientedprogramming #functionalprogramming #programming #programminglanguages #plt #xeroxparc #parc
buzz 0.2.0 release https://github.com/buzz-language/buzz/releases/tag/0.2.0 | https://lobste.rs/s/wrqfvm #compilers #plt #release
Bit-Stealing Made Legal https://inria.hal.science/hal-04165615/document | https://lobste.rs/s/iryife #pdf #plt
Type Systems for Memory Safety https://borretti.me/article/type-systems-memory-safety#ref1 | https://lobste.rs/s/yb6l6c #plt
Go-stly Access Rights https://hypirion.com/musings/go-stly-access-rights | https://lobste.rs/s/kcnwrd #go #plt
Linewise translating unit-tested Python to Haskell to compare defects caught and expressivity (2012) https://evanfarrer.blogspot.com/2012/06/unit-testing-isnt-enough-you-need.html | https://lobste.rs/s/jyhdbx #plt #science
Small joys of programming in Odin http://www.zannzen.com/blog/small_joys_with_odin_1/ | https://lobste.rs/s/geckto #plt #programming
#NowPlaying Igoholic by PLT
https://open.spotify.com/track/1lIirCvdeX4opMgU7mC6W4?si=iJTIzCXVRtCIZ4buk7Q69g
#nowplaying #kpop #plt #onnowwithmalthea
Writing Hurl's grammar, twice https://ntietz.com/blog/writing-hurl-grammar/ | https://lobste.rs/s/qmow1z #ai #plt
Ill-Typed Programs Don't Evaluate https://arxiv.org/abs/2307.06928 | https://lobste.rs/s/yslyr1 #plt
RRUST: A reversible embedded language https://blog.erk.dev/posts/rrust | https://lobste.rs/s/quychg #plt #rust
The Principles of the Flix Programming Language https://www.youtube.com/watch?v=RNZeAmp1EaA | https://lobste.rs/s/dj43h7 #plt #video
The path to implementing a programming language https://rainingcomputers.blog/dist/the_path_to_implementing_a_programming_language.md | https://lobste.rs/s/nv6o5y #plt
brismu: a relational interpretation of Lojban https://mostawesomedude.github.io/brismu/ | https://lobste.rs/s/ypb8pa #formalmethods #math #plt
Curry-Howard-Lambek and the Isomorphism https://timothysamson.github.io/posts/curry-howard/ | https://lobste.rs/s/npkpx9 #formalmethods #haskell #plt
Gleam v0.30 - Local dependencies and enhanced externals https://gleam.run/news/v0.30-local-dependencies-and-enhanced-externals/ | https://lobste.rs/s/m1mzul #erlang #plt #release
dt: duck tape for your unix pipes https://dt.plumbing/ | https://lobste.rs/s/b8icdy #plt #unix
Less-technical introductions to type checking? | https://lobste.rs/s/ewxw1i #ask #compilers #plt
Vale's First Prototype for Immutable Region Borrowing https://verdagon.dev/blog/first-regions-prototype | https://lobste.rs/s/9xeffm #performance #plt