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

Lisp

Name: Anonymous 2014-05-18 16:14

Is there a lisp with manual memory management? I.e. with the ability to choose between pass-by-value and pass-by-ref, to free and allocate memory, to choose what gets allocated on heap, stack, registers, to choose the memory layout of structs, etc?

Name: Anonymous 2014-05-18 16:38

Why don't you just start by writing a code analyzer that (fatally) complains on memory whose temporal extent it cannot resolve?

Name: Anonymous 2014-05-18 17:24

>>2
It shouldn't fatally complain, just as a warning. And the language should support extent annotations like in Rust. But that's beside the point. Is there a Lisp without GC? - that's the question.

Name: Anonymous 2014-05-18 17:40

1. remove useless shit like lambda
2. write a thing that transforms your sexps into c
3. write a script that automatically compiles it

Name: Anonymous 2014-05-18 17:49

>>3
You can call c from lisp.

http://www.sbcl.org/manual/index.html#Foreign-Function-Interface
http://common-lisp.net/project/cffi/ if you want it to be portable
http://www.cliki.net/FFI ffis for other languages

and you can inline C in chicken scheme. chicken scheme is the shit.
http://www.call-cc.org/

The interpreted schemes each have their own ffi but there isn't a library to unify them like cffi.

Name: Anonymous 2014-05-18 18:03

>>4
1. remove useless shit like lambda
Are you serious?

Name: Anonymous 2014-05-18 18:11

>>6
Ultimately, closures are the way to go. Lambdas are for the intellectually lazy.

Name: Anonymous 2014-05-18 18:50

>>5
No, I don't want C, I want a Lisp with manual memory management.

Name: Anonymous 2014-05-18 19:35

>>1

Yes. There are a lot of Lisps of all kinds. There was even a guy, who mapped a Java's syntax to SEXPs, which allowed him to avoid all the boilerplate, while still producing enterprise quality code.

Name: Anonymous 2014-05-18 21:39

>>7
Lambdas are closures. What the fuck.

Name: Anonymous 2014-05-19 13:32

>>10
Actually lambda is the constructor for the function data type, and a closure is a function with free variables.
That is to say, >>7 doesn't know jack shit.

Name: Anonymous 2014-05-19 15:34

>>11
the function data type
Unityped Lithp degenerates don't realize that there cannot be "the" one and only function datatype.

Name: Anonymous 2014-05-19 15:52

>>10
Lambdas are not closures because they are not closed under endotensor multiplication except for the degenerate case. That is to say, the set of all lambdas form a commutative ring, while true closures form a commutative field. Furthermore, the transformation T: C >L is onto, but not injective, meaning that while every lambda has an associated closure form, not every closure can be a lambda.

Name: Anonymous 2014-05-19 15:53

>>13
Fuck off nerd or I'll baet the fuck out of you.

Name: Anonymous 2014-05-19 15:55

>>13
endotensor multiplication
What the fuck is that? I just get russian shit when I google it.

Name: Anonymous 2014-05-19 16:08

>>15
An endotensor is a tensor of monoid endofunctor that maps to it's own category. Multiplication in that field is defined as successive recursive function calls (an example of a algebraic functions doing this: f(f(f(...f(x)...))); note that if f() is the successor function then this defines addition for the field of real numbers).

Name: Anonymous 2014-05-19 16:32

>>16
autism

Name: Anonymous 2014-05-19 17:23

>>16
Wow, that actually makes sense. And I thought you were just pulling those niggers' legs here.

Name: Anonymous 2014-05-19 17:30

>>13
:%s/onto/surjective/

Name: Anonymous 2014-05-19 18:39

>>13
CS grad or what?

Name: Anonymous 2014-05-19 19:05

Could anyone help me im writing a lisp reading in R5RS scheme, howo should I throw exceptions when i get a parse error? And how do I get the line number from the input stream?

Name: Anonymous 2014-05-19 19:17

>>19
regex a shit

Name: Anonymous 2014-05-19 19:51

>>16
Shalom, hymie! Shalom, hymie! Biggest shalom ever to the biggest kike on /prog/.

Name: Anonymous 2014-05-19 19:54

>>20
Oh yes, I have a PhD in Math, Comparitive Literature, and working in my PhD in CS. I'd post the papers with proof of what I'm talking about, but Abelson-san personally murdered the last person to do that.

Name: Anonymous 2014-05-19 20:03

>>16
Never heard of endotensor. You working on a paper of some sort?

Name: Anonymous 2014-05-19 20:03

>>25

PhD in math
recites entire page of garbage jargon that means nothing at all

looks about right

Name: Anonymous 2014-05-19 20:06

>>25
Comparative literature (sometimes abbreviated "Comp. lit.," or referred to as Global or World Literature) is an academic field dealing with the literature of two or more different linguistic, cultural or nation groups.

>not studying the classics or english
Shalom, kike!

Name: Anonymous 2014-05-19 20:15

>>27,28
/g/ is the other way.

Name: Anonymous 2014-05-19 20:26

>>29
How would someone from /g/ know about shalom and le stylized exclamation mark?

Name: Anonymous 2014-05-19 21:30

>>30
Through osmosis while he shits up /prog/ for several months.

Name: Anonymous 2014-05-19 22:18

>>26
Yes, I discovered it. It is my doctoral dissertation. My mentor says that it's Field's Medal material.

Name: Anonymous 2014-05-19 23:51

>>16
All this ABSTRACT BULLSHITE and you write ``it's own category'' in the same post?

Name: Anonymous 2014-05-20 0:37

>>33
Hey faggot, whose the one with 2.8 PhD's here? I just invented endotensor theory without even trying; if I use something, it is obviously correct. Besides that, Archimedes spoke shitty English, but I don't see you shitting all over his primitive differential calculus for that! Why am I the one being singled out for abuse here? I guess that it is true that a prophet is not without honor, except in his own country.

Name: Anonymous 2014-05-20 0:42

>>34
That isn't how Ph.Ds work, faggot. And you're just making shit up. Gotta prove it somehow. No such thing as ``endotensor'' or something about it would show up on google that isn't a person's name.

Name: Anonymous 2014-05-20 0:49

>>35
I've already explained in this very thread how they work in the simplest terms possible. Can you try to articulate what it is that you don't understand so that I can help you, please?

Also, please stop with the irrelevant attacks based on grammar. If you think that there is a problem with the underlying math concepts, feel free to comment on it, but keep in mind that this is not a published paper or an academic environment where precise mathematical rigor is practical. Also keep in mind that I contribute to this board out of the goodness of my heart and that I gain nothing out of this, please respect that my time is valuable and appreciate the fact that I have elected to allot a portion of it to you.

Name: >>33 2014-05-20 0:53

>>34,36
I've only posted once in this thread and >>35-kun is not attacking your grammar. I was just making a pointless remark as a joke. Please stop taking every single post you read on the Internet as a personal attack.

Name: Anonymous 2014-05-20 1:01

>>37
I accept your apology.

Name: Anonymous 2014-05-20 1:16

>>36
I'm gonna find your paper when you publish it and post your name and university page here. And facebook/linkedin if you have them, motherfucker.

Name: Anonymous 2014-05-20 1:25

>>39
I do not understand: is that supposed to threaten me? Should I also be worried that you might call for /b/lackup and have dozens of pizzas sent to my house? Should I fear that my /prog/ students who I have so generously educated are going to find my phone number and full up my voice mail box?

No, I think not. I have nothing to fear from you. I do, however, think that you should return to /g/ and practice your ANONYMOUS IS LEGION bravado there a bit more. Or don't. It is never to late to improve yourself.
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -