A New New Kind of Science?
Sounds like an amped up Wolfram Alpha so more like... A New Science Of Kinds.
Stephen Wolfram: Something Very Big Is Coming
11–20 of 30 posts
Re: Stephen Wolfram: Something Very Big Is Coming
#12Re: Stephen Wolfram: Something Very Big Is Coming
#13Sounds like Lisp :p
Re: Stephen Wolfram: Something Very Big Is Coming
#14Re: Stephen Wolfram: Something Very Big Is Coming
#15Oh yeah? Is it a new Segway?
That was the biggest "product release" disappointment I've had in my life. I was a naive kid ... huge fan of Kamen (actually, I still am a big fan of the man). IT was going to change everything!!! Bezos and a bunch of other big wigs are investing in it!!! I grew up a bit after that ...
Re: Stephen Wolfram: Something Very Big Is Coming
#16One thing is for sure; clouds are gathering.
(... at least in the Northern Hemisphere)
Re: Stephen Wolfram: Something Very Big Is Coming
#17If you don't have time to read all of the way through, the "coming soon" portion is ready to take your e-mail at http://www.wolframcloud.com .
Re: Stephen Wolfram: Something Very Big Is Coming
#18Re: Stephen Wolfram: Something Very Big Is Coming
#19Re: Stephen Wolfram: Something Very Big Is Coming
#20> In most languages there’s a sharp distinction between programs, and data, and the output of programs. Not so in the Wolfram Language. It’s all completely fluid. Data becomes algorithmic. Algorithms become data. There’s no distinction needed between code and data. And everything becomes both intrinsically scriptable, and intrinsically interactive. And there’s both a new level of interoperability, and a new level of…
Whereas in Wolfram Language, If is just an ordinary symbol that has attribute HoldRest to ensure that it can prevent evaluation of its two clauses until it knows which one to evaluate.
In other words, code is just data (expression) that happens to have specific rules that will cause it to evaluate in some way, yielding a new expression (which could be more code, or partially evaluated code, or data, or whatever).
But you can also have rules attached to several symbols together. So for example, when you see a Foo containing a Bar, replace it with a Baz:
Foo[___, Bar, ___] := Baz;
It's a little like multiple dispatch, but it is slightly more general than even that. And totally pattern based (the pattern language is ridiculously rich).There's one more twist, which is that everything is not just serializable, but in some sense it is its serialization (called FullForm). It's hard to explain what this means without playing around with stuff.
Also, the language has actual m-expressions, thank god, unlike most LISPs.