Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Install X/Y

Name: Anonymous 2014-01-30 19:40

Why do you think this is so funny?

Do you think it's funny cause it's a play on an (as apparent to you) nonsensical phrase GNU/Linux?

Do you think it's funny because BSD and Gentoo aren't very popular, and require a lot of effort to maintain, so you think programmers use it cause programmers like things like this?

I am an expert programmer, and a Lisp wizard. I do not particularly care about UNIX politics, and view all current operating systems as retarded. However, I do like the GNU approach to UNIX (although not necessarily the reality) the most out of all the other approaches from a technical stand point.

Maybe you think installing these operating systems is a difficult act that only strange programmers would participate in.

I do not understand why you think ``install BSD/Gentoo'' is so amusing. Why do you place it everywhere?

Name: Anonymous 2014-02-03 13:14

>>48
No, type safety is not about just having more than one type. Type safety follows from the principle of substitution - the type of a closed expression must be indifferent to picking a subexpression and substituting another expression of the same type in its place. But in Common Lisp the substitution principle doesn't hold because of macros. For one thing, what is the type of a macro expression? It doesn't have a type in the general case - it could expand to whatever the hell it wants to.
Secondly, with macros operating on symbols and turning them into arbitrary symbols you cannot be sure what a different subexpression will be turned to by an enclosing macro - what if that macro hunts for the string "pajamas" and replaces it with a 0.0, and the subexpression was a function that returned the string "pajamas"? Then the functions return type was a string in the module it was defined in, but will become a flonum after you substitute it in.
Thus, Common Lisp has no type safety and therefore no modularity. And the package system is just namespaces, which is just pathetic for programming in the large - modularity cannot be based just on the way symbols are names, it must at least be based on their types so you don't try to import apples in place of oranges.

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List