crazy shiet

What's /pol/ opinion on first-class type environments? is it redpilled?

cheers :)

First class is privileged and oppressive!

first-class type environments

can you link me a paper on this or something?

>>3
Something:
http://picolisp.com/wiki/?firstclassenvironments
ftp://ftp.cs.wpi.edu/pub/techreports/pdf/05-07.pdf (Revised Report on the Kernel Programming Language)
https://fexpr.blogspot.com/2011/04/fexpr.html
https://funcall.blogspot.com/2009/09/first-class-environments.html

There are also several threads on LtU.

>>4
Doesn't every scripting language do this? They need to in order to support eval.

>>5
No, first-class means it's an element of the language you can create and manipulate just as easily as a number or a string.

>>5
I don't know of any scripting language that have first class environments, and why would this be required for eval? environments/contexts (Γ) is like the set of variables (or variable R type) that are visible in some scope. First class environments is a extremely powerful feature, so they are probably a bad idea.

Check dubs