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

If Lisp programs are written as syntax trees

Name: Anonymous 2015-04-23 3:47

then why isn't it called Trep - TREe Processor?

Name: Anonymous 2015-04-23 6:03

because ihbt and trees are just LoLs anyway

Name: Anonymous 2015-04-23 9:44

epic lols

Name: Anonymous 2015-04-23 14:28

syntax tree programming: STREP

Name: Anonymous 2015-04-23 14:31

The biggest problem of Lisp is lack of a decent type system.

Name: Anonymous 2015-04-23 14:57

>>5
Types = no thanks

we write our code without any unsafeCoerce.

Keep your snake oil away.

Name: Anonymous 2015-04-23 15:18

>>2,3
BACK TO /g/,``PLEASE''!

Name: Anonymous 2015-04-23 15:50

>>6
I don't care how you write your code. I want a decent type system.

Name: Anonymous 2015-04-23 17:02

>>6
Surely you are unsafePerformIO, but are you Abelson unsafePerformIO?

Name: Anonymous 2015-04-23 17:40

>>8
you thinnk you want it

but if you had one you would just abuse it

Name: Anonymous 2015-04-23 17:58

>>10
I don't abuse it in Haskell, why would I abuse it in Lisp?

Name: Anonymous 2015-04-23 20:14

So it turns out that the benefits of a real type system are obvious even to Pythonists:

I don’t have to waste my time on trivial bugs.
The bugs I do encounter are generally more meaningful and lead me to understanding the problem more. Note, meaningful doesn’t always mean harder.
Python taught me not to worry about speed that much. Haskell agreed with that but let me have it anyway.
Refactoring is a [i]breeze[/b]. In Python, I always had a nagging feeling that I forgot to change some small part of your code that will be important later.
Easy to scale code up to using many cores.

http://mechanical-elephant.com/thoughts/2015-04-20-becoming-productive-in-haskell/

So, some of the practical wins of static typing:
1) catching the majority of bugs;
2) thus freeing the programmer's mind to think more about the nontrivial, logical bugs or deficiencies;
3) performance - no runtime type-tags or type-checking (unless you want it, in which case you can have it with Typeable);
4) ease of refactoring - static typing improves the speed of development via super-fast reporting of errors.

Also there's another point which the author didn't mention, but it still exists:
5) documentation - types are a very concise and succinct form of it, reducing the amounts of normal documentation.

Still want to be unityped?

Name: Anonymous 2015-04-23 20:16

Oh, I forgot about safety, blast it. Add that as point

6) purity: the compiler can ensure that there's no IO in your STM code, making parallelism super-easy and correct.

Name: Anonymous 2015-04-23 20:46

Lisp was designed by someone with a fetish for linked lists.

Name: Anonymous 2015-04-23 20:58

TRIPS instead of LISP

Name: Anonymous 2015-04-23 23:34

>>7
are you the kind of idiot that doesn't know what a list-of-lists is?

Name: Anonymous 2015-04-23 23:57

>>16
yeah and what if I am, punk?

Name: Anonymous 2015-04-24 5:33

Name: Anonymous 2015-04-25 2:53

The devil's in the lols.

Name: Anonymous 2016-06-12 18:15

>>16
A list-of-lists is just a list

Name: Anonymous 2016-06-12 18:19

>>20
In a shitty unityped language it is, yeah. In a multi-typed language, on the other hand, the compiler can actually distinguish things and help write and refactor.

Name: Anonymous 2016-07-10 18:37

Bow down and pay tribute to my glorious dub. Bask in their holy glory..

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