/prog/ - Simon Peyton Jones - Haskell is useless

Name: Anonymous 2014-08-07 18:14

http://www.youtube.com/watch?v=iSmkqocn0oQ

Name: Anonymous 2014-08-07 18:35

Well, it's a talk, not a proof. Therefore drivel ∎.

Name: Anonymous 2014-08-07 18:47

>>2
babby read babby's first mathematical logic book and now babby thinks babby has everything figured out.

Name: Anonymous 2014-08-07 19:09

　　　　　　　　　　　 ,　-‐　　- 、
　　　　　　　　　　　　／　　　　　　　、
　　　　　　　　　　　　　,'　　　　　　　　　、
　　　　　　　　　　　　　|　　　　　　　　　　　',
　　　　　　　　　　　　　|　　　　　　　　　　 l
　　　　　　　　　　　　〈ヽ　　-‐-　　-‐- 　 '
　　　　, - r '´￣￣￣　ヽ　く●〉　〈●ｱ ,'
　　　/　　l　　　／　　　、　　 r_ _ｭ　　 !
.　　/　　 !　　,'　　　　　、　ﾄｪｪｪｪｲ　ノ|　　babubabu
　　l　　　　、　　 /　　　　ヽ　ー`＝＝′ '∧
　　}　　　　、　 !　　　　　 i　　＼__ﾉ　 /　ヽ
　　!　　　　　＼ﾉ　　　　　 ,　/　　　／＼__ ノヽ
　 /、　　　　　ト、　　　　　/　　_, ' 　　＼　　、
　(　ヽ　　　　　 |　｀ー-　__ノ-‐ ´　　　　　　＼ - ーｧ
　＼_ヽ　　　　ﾉ　　ﾞ、　　', 　　　　　　　し‐､_ミ
　　　￣￣￣　　　　ヽ　　ヽ
　　　　　　　　　　ヽ　　ヽ
　　　　　　　　　　ヽ _ノー、
　　　　　　　　　　　　　　　| , , , ｢..

Name: Anonymous 2014-08-07 20:03

　　　　　 く●〉　〈●ｱ　　　　　 r_ _ｭ　　 ooga booga 　　　　　　ﾄｪｪｪｪｲ

Name: Anonymous 2014-08-14 21:46

Kiselyov publishes his results not as academic papers but as text files online. Apparently, not everyone who does this is a crank.

LOLed.

https://pavpanchekha.com/blog/zippers/kiselyov.html

Name: Anonymous 2014-08-14 23:16

>>6
I was wondering if any academics do this. Publishing in journals is like commercial software, and I was wondering what the 'open source' alternative is. (of course, there's always the likes of arXiv.org)

Name: Anonymous 2014-08-14 23:50

Haskell is useless
2011

Yeah, come back later with news from 2014

Name: Anonymous 2014-08-15 10:12

>>7
A lot of research gets ``published'' in the form of posters, usually in conference lobbies along with a pdf online.

Name: Anonymous 2014-08-15 10:20

They use Haskell to prove stuff
http://www.drdobbs.com/embedded-systems/proving-correctness-of-an-os-kernel/222400553

anyway static typing is just an inferior subset of unit testing.

Name: Anonymous 2014-08-15 10:33

>>9
What do you mean?

Name: Anonymous 2014-08-15 13:17

>>11
What part didn't you understand? For every journal article published there's at least half a dozen lesser studies, or supplemental results that only make it out at poster sessions.

Name: Anonymous 2014-08-15 13:24

>>12
okay now I get it.

Name: Anonymous 2014-08-15 14:19

There are some problems. 1: x86 sel4 was never proven to be correct and 2: you need to prove that your proof is correct, same for the proof of the proof
You can never be sure that it will be correct

Name: Anonymous 2014-08-15 15:54

You found that out now?

Name: Anonymous 2014-08-15 19:20

>>14
Retake your mathematics and computer science 101 course again, you fucking stupid nigger.

Name: Anonymous 2014-08-21 16:57

>>10
I think you fucked up the polarity there. Tests can never prove the absence of errors while static typing can.

Name: Anonymous 2014-08-21 16:58

>>16
Fuck off with your jewish courses, kike

Simon Peyton Jones - Haskell is useless

1 Name: Anonymous 2014-08-07 18:14

2 Name: Anonymous 2014-08-07 18:35

3 Name: Anonymous 2014-08-07 18:47

4 Name: Anonymous 2014-08-07 19:09

5 Name: Anonymous 2014-08-07 20:03

6 Name: Anonymous 2014-08-14 21:46

7 Name: Anonymous 2014-08-14 23:16

8 Name: Anonymous 2014-08-14 23:50

9 Name: Anonymous 2014-08-15 10:12

10 Name: Anonymous 2014-08-15 10:20

11 Name: Anonymous 2014-08-15 10:33

12 Name: Anonymous 2014-08-15 13:17

13 Name: Anonymous 2014-08-15 13:24

14 Name: Anonymous 2014-08-15 14:19

15 Name: Anonymous 2014-08-15 15:54

16 Name: Anonymous 2014-08-15 19:20

17 Name: Anonymous 2014-08-21 16:57

18 Name: Anonymous 2014-08-21 16:58