· @ELLIOTTCABLE
187 followers · 443 posts · Server kolektiva.social

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: discuss.ocaml.org/t/what-sort-

#typetheory #haskell #ocaml #plt #math

Last updated 1 year ago

Yaroslav Khnygin · @surabax
104 followers · 1063 posts · Server mastodon.ie

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: dreamsongs.com/Files/clos-cacm

#lisp #commonlisp #clos #oop #objectorientedprogramming #functionalprogramming #programming #programminglanguages #plt #xeroxparc #parc

Last updated 1 year ago

Lobsters · @lobsters
2597 followers · 28758 posts · Server botsin.space
Lobsters · @lobsters
2597 followers · 28758 posts · Server botsin.space
Lobsters · @lobsters
2594 followers · 28723 posts · Server botsin.space
Lobsters · @lobsters
2583 followers · 28664 posts · Server botsin.space
Lobsters · @lobsters
2580 followers · 28630 posts · Server botsin.space

Linewise translating unit-tested Python to Haskell to compare defects caught and expressivity (2012) evanfarrer.blogspot.com/2012/0 | lobste.rs/s/jyhdbx

#plt #science

Last updated 1 year ago

Lobsters · @lobsters
2578 followers · 28618 posts · Server botsin.space
Malthea · @Musicappreciat7
31 followers · 484 posts · Server mastodon.au
Lobsters · @lobsters
2567 followers · 28510 posts · Server botsin.space
Lobsters · @lobsters
2568 followers · 28492 posts · Server botsin.space

#plt

Last updated 1 year ago

Lobsters · @lobsters
2566 followers · 28485 posts · Server botsin.space

RRUST: A reversible embedded language blog.erk.dev/posts/rrust | lobste.rs/s/quychg

#plt #rust

Last updated 1 year ago

Lobsters · @lobsters
2566 followers · 28485 posts · Server botsin.space

The Principles of the Flix Programming Language youtube.com/watch?v=RNZeAmp1Ea | lobste.rs/s/dj43h7

#plt #video

Last updated 1 year ago

Lobsters · @lobsters
2566 followers · 28485 posts · Server botsin.space
Lobsters · @lobsters
2566 followers · 28485 posts · Server botsin.space
Lobsters · @lobsters
2561 followers · 28458 posts · Server botsin.space
Lobsters · @lobsters
2553 followers · 28407 posts · Server botsin.space
Lobsters · @lobsters
2553 followers · 28401 posts · Server botsin.space

dt: duck tape for your unix pipes dt.plumbing/ | lobste.rs/s/b8icdy

#plt #unix

Last updated 1 year ago

Lobsters · @lobsters
2553 followers · 28378 posts · Server botsin.space

Less-technical introductions to type checking? | lobste.rs/s/ewxw1i

#ask #compilers #plt

Last updated 1 year ago

Lobsters · @lobsters
2553 followers · 28378 posts · Server botsin.space

Vale's First Prototype for Immutable Region Borrowing verdagon.dev/blog/first-region | lobste.rs/s/9xeffm

#performance #plt

Last updated 1 year ago