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

Pages: 1-

Meta-circular evaluation and immutability

Name: Anonymous 2013-03-23 9:45

Is it possible to write meta-circular evaluator without mutable data structures?

Name: Anonymous 2013-03-23 10:09

What's a 'meta-circular evaluator'?

Name: Anonymous 2013-03-23 10:16

>>2
Fuck off back to /g/.

Name: Anonymous 2013-03-23 10:23

>>3
What's a '/g/'?

Name: Anonymous 2013-03-23 10:58

>>4
Define 'what'.

You can't because you're a jew! Back to the oven, kike! Mother made me into a NEET!

Name: Anonymous 2013-03-23 11:11

>>5
If you're a kike and you know it, sage your posts (sage sage)
If you're a kike and you know it, sage your posts (sage sage)
If you're a kike and you know it, then your post will surely show it
If you're a kike and you know it, sage your posts. (sage sage)

Name: Anonymous 2013-03-23 11:21

>>6
Define "a"
Define "you're"
Define "and"
Define "posts"
Define "sage"
Define "it,"
Define "know"
Define "kike"
Define "you"
Define "your"
Define "If"

Name: Anonymous 2013-03-23 11:49

>>6
If that's a parody of "if you're happy and you know it clap your hands," then it doesn't fit the meter; sage has two syllables.

Name: Anonymous 2013-03-23 12:08

>>8
I agree with this Anon-kun.

Name: Anonymous 2013-03-23 13:25

>>1

Yes. The touhouing machine can be modeled without mutation, so you name it, it can be done without mutation. But avoiding mutation can have consequences on efficiency, and the asymptotic bound of the algorithm.

Name: Anonymous 2013-03-23 13:28

>>10
stop smoking touhous

Name: Anonymous 2013-03-23 13:30

>>8
sage has two syllables.
>>9 (samefag)
Anon-kun
LLLLLLLLLLLLLLEEEEEEEEEEEEEEELLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLL
>EJPIN KAWAIIII LE ANIME /JP/RO
>LE /JP/AEDOPHILE GOMENASAI!! XDDDDDDDDDDDDDD
>CANT WAIT TO MOVE TO LE JAPAN

Name: Anonymous 2013-03-23 13:48

>>12
samefag
Actually, no. Also:'
>not liking japanese culture
You're on the wrong site, gaijin.

Name: Anonymous 2013-03-23 13:49

>>13
The textboards have always had a cultures of its own. One that helpfully directs the likes of you to /jp/.

Name: Anonymous 2013-03-23 13:55

>>14
back to /b/, please.

Name: Anonymous 2013-03-23 14:17

>>14
world4ch textboards:
-run on Shiichan, software written by a known weeaboo
-are based on the Japanese 2ch textboards
-adopted much of it's culture from said textboards, much moreso than the imageboards adopted Futaba's culture

Name: Anonymous 2013-03-23 14:51

>>16
Yet in /prog/, weeaboo culture is mostly alluded ironically. What goes on the other textboards, I must admit that I ignore. I also don't care.

>>15
>>>/g/

Name: Anonymous 2013-03-23 15:01

If it can be written in Haskell without the IO monad it can be done with only immutable data structures. State monads are "simulated" mutability because they can be written in a purely functional manner even though the implementation might reuse the memory.

Name: Anonymous 2013-03-23 15:06

>>17
alluded ironically
DQN (seriously).

Name: Anonymous 2013-03-23 15:32

>>1
Lambda Calculus is both Turing Complete and immutable. But writing a Haskell interpreter is a challenge in itself. Haskell is already 23 years old, but GHC is far from being production ready.

Name: Anonymous 2013-03-23 16:06

>>20
What are its flaws?

Name: Anonymous 2013-03-23 16:20

>>21
GHC is written in C/C++.

Name: Anonymous 2013-03-23 16:23

>>21
http://www.haskell.org/haskell-sucks
Apache/2.2.9 (Debian) PHP/5.2.6-1+lenny13 with Suhosin-Patch Server at www.haskell.org Port 80

Name: Anonymous 2013-03-23 16:29

>>22
So when you program in Le Haskal you're programming ``in C/C++''.

Name: Anonymous 2013-03-23 16:29

>>23
Now Lisp site:
http://www.franz.com/lisp-rules
AllegroServe 1.3.16

Name: Anonymous 2013-03-23 16:30

>>24
You're also programming in PHP, because Haskell can't even host it's own site: http://www.haskell.org/haskell-sucks

Name: Anonymous 2013-03-23 16:39

shame on haskell

Name: Anonymous 2013-03-23 16:59

STAND STRONG AGAINST HATE

Name: Anonymous 2013-03-23 17:46

>>1

Yes that is possible, you can write an evaluator for the lambda calculus in the lambda calculus.

Name: Anonymous 2013-03-23 17:48

>>29
There is the paper. Have fun:

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.56.4382&rep=rep1&type=pdf

Name: Anonymous 2013-03-23 18:06

>>26
Bitches must be running their shit wiki on 5-bucks-a-year shared hosting.

Name: Anonymous 2013-03-24 15:07

>>1
Yes, unless you count the RAM in your pc.

Name: Anonymous 2013-03-24 22:58

acknowledge my repeating digits

Name: Anonymous 2013-03-24 23:15

>>21
he is trolling haskell is a good programming language

note, said good, not "the one true way", worth on being in your toolbox
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 -