/prog/ - Copromorphisms

Name: Anonymous 2011-03-29 18:17

Why math and static typing obscurants always use ugly greek terms, when we have english synonyms?

Name: Anonymous 2011-03-29 18:19

In before the anti-semite faggot, sets considered jewish, math considered pseudoscience, go back to /sci/, and generic shitposts.

Name: Anonymous 2011-03-29 18:23

>>2
They also use jewish terms. Like this "Aleph" for "infinity".

Name: Anonymous 2011-03-29 18:32

go back to /sci/
I was already banned from www.iichan.ru/sci/, because their mod failed to prove existence of Holocaust and silenced me this way. But it looks like 4chan's mods mostly care about imageboards.

Name: Anonymous 2011-03-29 18:46

>>4
Then go there.

Name: Anonymous 2011-03-29 18:46

>>5
Where?

Name: Anonymous 2011-03-29 19:14

>>6
http://dis.4chan.org/sci/
http://boards.4chan.org/sci/

Name: Anonymous 2011-03-29 19:17

>>7
Why?

Name: Anonymous 2011-03-29 19:22

http://www.4chan.org/rules#sci
No "religion vs. science" threads.
math related topics welcome.
But my argument, that math is a religion, would definitely violate board rules.

Name: Anonymous 2011-03-29 19:31

>>9
That's for the imageboard, go to the textboard.

Name: Anonymous 2011-03-29 19:38

>>10
And they'll send me back to /prog/, because I care only about math in practical programming context, like Java classes or Haskell's System F.

Name: Anonymous 2011-03-29 19:55

>>11
/prog/ doesn't care about your opinions.

Name: Anonymous 2011-03-29 20:08

>>12
Then why do you butthurting?

Name: Anonymous 2011-03-29 20:10

>>13
You don't sage your shitposts.

Name: Anonymous 2011-03-29 20:18

>>14
There are others, beside me, who ignore this local meme, but you only reacts on my whining about how Java sucks and "polymorphism" is an obscure term for a function.

Name: Anonymous 2011-03-29 20:39

>>15
Java does suck. Now sage.

Name: Anonymous 2011-03-29 22:06

Why do you keep feeding this troll? His gimmick is already overplayed and he just keeps milking his premise without any effort. He just contradicted all his trollposts by namedropping System F, for Sussman's sake.

Bump so that may plea may be heard, ironically.

Name: Anonymous 2011-03-29 22:08

>>17
It's fun.

Name: Anonymous 2011-03-30 0:16

>>1
Because Ancient Greek is the perfect natural language.

FACT: philosophers learn Greek and Latin just like programmers learn Lithp.

Name: Anonymous 2011-03-30 0:22

>>19
ηακσε ανυσ μου

Name: Anonymous 2011-03-30 3:57



    ░░░░░░░░░░░░░░░▄░░░░░░░░░░░░░░░

    ░░░░░░░░░░░░░▄▀█░░░░░░░░░░░░░░░

    ░░░░░░░░░░░▄▀░░█░░░░░░░░░░░░░░░

    ░░░░░░░░░▄▀░░▄▀░░░░░░░░░░░░░░░░

    ░░░░░░░░█▄░▄▀░░░░░░░░▄█▄░░░░░░░

    ░░░░░░░░█░▀▄░░░░░░░▄▀░█░▀▄░░░░░

    ░░░░░░░░▀▄░░▀▄░░░▄▀░░▄▀▄░░▀▄░░░

    ░▄░░░░░░░░▀▄░░▀▄▀░░▄▀░░░▀▄░░▀▄░

    ░█▀▄░░░░░░░░▀▄▀█▀▄▀░░░░░░░▀▄░█░

    ░█░░▀▄░░░░░▄▀░░█░░▀▄░░░░░░░░▀█░

    ░░▀▄░░▀▄░▄▀░░▄▀░▀▄░░▀▄░░░░░░░░░

    ░░░░▀▄░░█░░▄▀░░░░░▀▄░▄█░░░░░░░░

    ░░░░░░▀▄█▄▀░░░░░░░░▄▀░█░░░░░░░░

    ░░░░░░░░▀░░░░░░░░▄▀░░▄▀░░░░░░░░

    ░░░░░░░░░░░░░░░▄▀░░▄▀░░░░░░░░░░

    ░░░░░░░░░░░░░░░█░▄▀░░░░░░░░░░░░

    ░░░░░░░░░░░░░░░█▀░░░░░░░░░░░░░░

    ░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░

    ░█▄░█░█░▄▀▀▄░░█░░█░█▀▀░▀█▀░█░░░

    ░█░█▄░█░█░▄▄░░█▄▄█░█▄▄░░█░░█░░░

    ░█░░█░█░▀▄▄▀░░█░░█░█▄▄░▄█▄░█▄▄░

    ░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░

glory BLACK AFRIKA
HEIL NIGGERS.
HEIL BLACK AFRIKA.
NIG HEIL BLACK HITLER!

Name: Anonymous 2011-03-30 4:07

If you don't like the word morphism, you can call fmap's argument a Visitor

Name: Anonymous 2011-03-30 6:19

>>19
There is no such thing.

Name: Anonymous 2011-03-30 7:35

>>16
Not saging is a way to express my opinion about this meme. You reaction on this shows that you care about my opinion. Try being more careless next time. Thank you.

>>17
System F is a mathematical system and it somehow got forced into a programming. I hate it, just as I hate classes, so no contradictions. Oppressive static typing must die.

Name: Anonymous 2011-03-30 7:37

>>22
What if I call it "funarg"?

Name: Anonymous 2011-03-30 7:49

>>25
Then you must gayfully enjoy functional programming!!

Name: Anonymous 2011-03-30 7:54

>>26
It needs to be said very firmly that LISP is not a functional language at all. My suspicion is that the success of Lisp set back the development of a properly functional style of programming by at least ten years. -- David Turner, Inventor of System F

Name: Anonymous 2011-03-30 8:05

Isn't he cute? I mena our sweet op. You know what? Keep him. Keep him busy in here as long as you like, enjoy his company.
He's your problem now. Yay!

Name: Anonymous 2011-03-30 8:24

Ore no spammer ga konna ni kawaii wake ga nai.

Name: Anonymous 2011-03-30 10:11

>>29

Go back to /eroge/, ``please''.

Name: Anonymous 2011-04-27 3:45

HI IM A PROGRAMMER IM 13 I CAN PROGRAM CALCULATOR SORRY FOR MY INGLISH IM NOT INGLISH I CREATED A RANDOM NUMBER GENERATOR HERE IT IS 0.7453649612063878

Copromorphisms

1 Name: Anonymous 2011-03-29 18:17

2 Name: Anonymous 2011-03-29 18:19

3 Name: Anonymous 2011-03-29 18:23

4 Name: Anonymous 2011-03-29 18:32

5 Name: Anonymous 2011-03-29 18:46

6 Name: Anonymous 2011-03-29 18:46

7 Name: Anonymous 2011-03-29 19:14

8 Name: Anonymous 2011-03-29 19:17

9 Name: Anonymous 2011-03-29 19:22

10 Name: Anonymous 2011-03-29 19:31

11 Name: Anonymous 2011-03-29 19:38

12 Name: Anonymous 2011-03-29 19:55

13 Name: Anonymous 2011-03-29 20:08

14 Name: Anonymous 2011-03-29 20:10

15 Name: Anonymous 2011-03-29 20:18

16 Name: Anonymous 2011-03-29 20:39

17 Name: Anonymous 2011-03-29 22:06

18 Name: Anonymous 2011-03-29 22:08

19 Name: Anonymous 2011-03-30 0:16

20 Name: Anonymous 2011-03-30 0:22

21 Name: Anonymous 2011-03-30 3:57

22 Name: Anonymous 2011-03-30 4:07

23 Name: Anonymous 2011-03-30 6:19

24 Name: Anonymous 2011-03-30 7:35

25 Name: Anonymous 2011-03-30 7:37

26 Name: Anonymous 2011-03-30 7:49

27 Name: Anonymous 2011-03-30 7:54

28 Name: Anonymous 2011-03-30 8:05

29 Name: Anonymous 2011-03-30 8:24

30 Name: Anonymous 2011-03-30 10:11

31 Name: Anonymous 2011-04-27 3:45

32 Name: Anonymous 2011-04-27 3:48

Name: Anonymous 2011-03-29 18:17

Name: Anonymous 2011-03-29 18:19

Name: Anonymous 2011-03-29 18:23

Name: Anonymous 2011-03-29 18:32

Name: Anonymous 2011-03-29 18:46

Name: Anonymous 2011-03-29 18:46

Name: Anonymous 2011-03-29 19:14

Name: Anonymous 2011-03-29 19:17

Name: Anonymous 2011-03-29 19:22

Name: Anonymous 2011-03-29 19:31

Name: Anonymous 2011-03-29 19:38

Name: Anonymous 2011-03-29 19:55

Name: Anonymous 2011-03-29 20:08

Name: Anonymous 2011-03-29 20:10

Name: Anonymous 2011-03-29 20:18

Name: Anonymous 2011-03-29 20:39

Name: Anonymous 2011-03-29 22:06

Name: Anonymous 2011-03-29 22:08

Name: Anonymous 2011-03-30 0:16

Name: Anonymous 2011-03-30 0:22

Name: Anonymous 2011-03-30 3:57

Name: Anonymous 2011-03-30 4:07

Name: Anonymous 2011-03-30 6:19

Name: Anonymous 2011-03-30 7:35

Name: Anonymous 2011-03-30 7:37

Name: Anonymous 2011-03-30 7:49

Name: Anonymous 2011-03-30 7:54

Name: Anonymous 2011-03-30 8:05

Name: Anonymous 2011-03-30 8:24

Name: Anonymous 2011-03-30 10:11

Name: Anonymous 2011-04-27 3:45

Name: Anonymous 2011-04-27 3:48