GridWorld

May someone give me a good overview of GridWorld, I seem to not understand certain aspects of it?

And everybody else went and chased static. And they've been doing it like crazy. And they've, in my opinion, reached the theoretical bounds of what they can deliver, and it has FAILED. These static type systems, they're WRONG. Wrong in the sense that when you try to do something, and they say: No, category theory doesn't allow that, because it's not elegant... Hey man: who's wrong? The person who's trying to write the program, or the type system?

>>2
The person who writes the program.  We suck.

>>3
justify.

Myth: Type-checking is a substitute for testing.
---
Again, absolutely not true. Although some people may use type-checking (static in particular) for testing program correctness, this is neither its intended purpose nor its limit of use. Type-checking is more about ensuring meaningful, well-defined execution than ensuring correctness. Even though you may hear strong static-typing advocates say, “When your program type-checks, you’ll often find that it just works”, this is simply not true for large, intricate programs. Although type-checking may help you find errors, it is not the same as testing. Thus, it is not a suitable substitute for testing.

>>5
define "meaningful"
define "well-defined"

>>6
http://dictionary.reference.com

>>7
cant find definition

>>4
We've all been very bad boys and we need our tools to punish us accordingly.  All those languages that try to be gentle and obedient just don't understand us.

>>9
This might surprise you, but when you tell your obedient language to dereference this pointer even though it might be null, and it eagerly obeys, somehow you still end up hurting yourself.

This is the nature of having BDSM relations with imaginary concepts!

>>10
Writing code where the possibility of dereferencing a null pointer is true is the fault of the programmer not the language. Those who continually run into problems of null pointers are like the chumps who continually get played and laughed at by women. They never learn.

>>11
My previous experience with people expressing such statements supports a conclusion that they generally avoid writing code where the possibility of dereferencing a null pointer is true by not writing any code at all, except maybe for the most trivial fibs and facs once in a while.

>>12
Well, your experience is a shallow one indeed.

I take it you have never heard of invariant rules? Or class invariants? (I'm not an OOP fanatic, I think OOP is overrated, but class invariants are an often overlooked yet useful aspect of OOP that can be applied outside to other paradigms).

I program defensively, enforcing invariants in procedures and methods, using things like smart pointers, RAII, and applying runtime sanity checks in the form of asserts.

In fact, by correctly enforcing the invariant that a given pointer can never be null, I can write correct code without the bloat of runtime checks. Yes, this is extra stuff I have to keep track in my head, but given that my intellect is sufficient enough to do so, I take great pleasure in writing correct code without guiding rails.

If you want to program in your watered-down language with training wheels to stop you from catastrophic failure, go right ahead, I won't stop you. But I expect you to at least afford me the same freedoms.

I take it you have never heard of invariant rules? Or class invariants?
That's the point of static typing -- to allow you to express your invariants explicitly and enforce them automatically.

In fact, by correctly enforcing the invariant that a given pointer can never be null, I can write correct code without the bloat of runtime checks. Yes, this is extra stuff I have to keep track in my head, but given that my intellect is sufficient enough to do so, I take great pleasure in writing correct code without guiding rails.
Yes, yes, and then you go and insert your penis in your nonimaginary waifu's real female vagina. Tell me more about your glorious life.

>>14
(define real-female-vagina your-anus)

>>15
Not even that language is powerful enough to pull that off.

>>14
That's the point of static typing -- to allow you to express your invariants explicitly and enforce them automatically.

Yes, but only compile-time invariants. Static typing does not guard against all runtime invariants, such as is the case with the potential for a null-pointer dereference. Here, the responsibility falls upon the programmer. It was never the intention of static typing to handle such cases, and those who believe so are misguided. That said, when required, I do find that I have to write less rigorous regression and/or unit tests for statically typed code than I do with dynamically or ducked typed languages.

Yes, yes, and then you go and insert your penis in your nonimaginary waifu's real female vagina. Tell me more about your glorious life.

I'm just a nobody 29 year old virgin university drop-out, who leads a somewhat socially isolated life, but has managed to claw his way up to making a six figure income as a software developer, working outside of the rat-race known as ENTERPRISE development. I am also responsible for the proggles~ meme. Furthermore, I wish death upon who ever is trying to force farting as a meme.

>>17
Static typing does not guard against all runtime invariants, such as is the case with the potential for a null-pointer dereference.
Static typing is not all-powerful, but it most definitely is capable of guarding against null-pointer dereferences.

>>17
``proggles'' is awful and not entertaining at all. you should be ashamed.

/progwarts/

>>19

　　　　　　　　　　　　 　　_∧
　　　　　　 　　_,,. -‐::'"´＜ ,.＞──-..、
　　　　　 ,..::'":::::::::::::::::::::::／:::::::::::::::::::::::ﾉ
　　　　 /:::::::::::::::;: -‐'''"´￣￣￣｀"'＜
　　　　 {:::::::::::／　　 _」_　 　　 ハ　　 ｀ヽ
　　　　 ,ゝ-イ 　'　/ _」__ﾊく￣＼」＿」ノ7｝
　　 　 /　 　　/　ｧ'´fてﾊ ﾚ ｀' ､.,___,,. イ ﾊ
　　　./　 /　f7　 {　弋zり　 　　ｧtﾉノ　,ｌ　}
　　　;　　{ 　 {　⊂⊃　　　　　, りﾊ|ノ ﾉﾚ'
　　/ ､　八 　 ､__,.＞　　　. -､　⊂ヽ（
　 （　 ∨　 ） " ﾊ｀ヽ 　　〈　 ｿ 　人 ｀            PROGGLES~
　　｀ン　イ　,. -─-､＞ ､.,__ 　イハ_,.＞
　　（ｒ‐''7 ／　　 　/::/ア"''┴ -= .ト､＿＿＿＿_　_,,..　 --─- ､
　　　 　 /　　　 　;:::;'ｒ >　　　　　　　　　　　　 　 ｀￣｀ヽ　ｒ-､　l｝
　　　 　;　　　　　.{:::{ く.,＿＿＿＿＿,,,,,......　 ､　　、 l l l｝､_つﾉノ
　　　　 ヽ　　　、 ヽヽ」／] 　 　 ＆「r‐　''"´　｀￣ｒ'ノﾉノ　 ￣
　　　 　　 ＼　 　￣}:::} r┘ 　 　　 |7　　　　 　　 ｀￣
　　　　　　　 ヽｰ-､_∨'　　 　 　.＆|
　　　　　　　　　＼　　 　　 　 　 　 |
　　　　　　　　　,r'ヽ.　 　　　　　 ＆|
　　　　　　　r／/|　　　　　＿,,,.. - 」
　　　　　　く∧/ に二ニニ　-‐　''"|
　　　　 　／└ﾍ┐:::::::::::::::::::::::::::::_,r'7、
　　　　 /:::::::::::::::＼┐:::::::::::::::::::/r':::ﾊ/、

>>20
I chuckled somewhat.

>>17
fuck you fartistic faggot

>>23
Why do you insist on forcing this shit? It's terribly obvious that you're the only one posting it.

>>24
It's terribly obvious that you're fartistic.

>>25
No.

>>26
enjoy your fartism, fagboy

>>27
No.