3 ms·
> It's too bad traditional PL theory people and DB people don't mix a little more. The only ones who do mix seem to be the ones who work with type theory or ca
by jkhdigital 5y ago
> It's too bad traditional PL theory people and DB people don't mix a little more.
The only ones who do mix seem to be the ones who work with type theory or category theory! I predict that we’ll see an absolute revolution in about 20 years, after successive cohorts of undergrads are exposed to this stuff and slowly carry it out into academia and industry.