I doubt there is a single good answer to that question. I'd call it a workbench for software and knowledge management, but I am well aware that this doesn't mean much for people who have never used a workbench for…
I sympathize with your criticism, which reflects my first impressions of Smalltalk when I played with Smalltalk 80 on my Atari ST 25 years ago. An impressive system, but isolated from the rest of the universe. However,…
From my experience as a recent Pharo user (started in October 2018 with the Pharo MOOC), the two main issues with existing documentation are 1) Much of it is outdated. 2) Much of it supposes significant prior knowledge…
There is a nice overview/demo, though unfortunately the quality of the video isn't great: https://www.youtube.com/watch?v=qeYEais1eT4&feature=youtu.be
My recent presentation on Leibniz may answer some questions that have remained open in this discussion: http://www.slideshare.net/khinsen/leibniz-a-digital-scientif...
Leibniz and Modelica indeed share the objective of writing digital scientific models rather than software. But the kind of information that can be expressed is quite different. Perhaps the most important difference (for…
You can indeed consider a context plus a term to be reduced as a program, which is executed by term reduction. But the unit of code in Leibniz is the context, not the context + term-to-be-reduced. If you want to compare…
In Leibniz, you wouldn't write only "nabla v = 0", but also what v is (by associating it with a sort), what properties v has (e.g. being positive), and how you actually obtained "nabla v = 0" from some first principles,…
You don't "run" Leibniz code. Leibniz is not a programming language. A Leibniz context is more like a database of equations than like a program. You can use the database of equations (and rules) to "reduce" a term,…
The analysis of the problem is good, but I am not convinced about the solution. There has never been a central hub for scientific papers, but that has never been a problem. Why should it be a problem for software? We…
Your comment is a nice example of the frequent misunderstandings concerning bitwise reproducibility. My article argues that infrastructure tools (compilers, runtimes, ...) should ensure bitwise reproducibility, making…
I don't think I am among the "main" ones, but to answer your question: Python is what I use for doing research, Clojure is what I look at because there are lots of good ideas in it. BTW, I also follow some Haskell…
I doubt there is a single good answer to that question. I'd call it a workbench for software and knowledge management, but I am well aware that this doesn't mean much for people who have never used a workbench for…
I sympathize with your criticism, which reflects my first impressions of Smalltalk when I played with Smalltalk 80 on my Atari ST 25 years ago. An impressive system, but isolated from the rest of the universe. However,…
From my experience as a recent Pharo user (started in October 2018 with the Pharo MOOC), the two main issues with existing documentation are 1) Much of it is outdated. 2) Much of it supposes significant prior knowledge…
There is a nice overview/demo, though unfortunately the quality of the video isn't great: https://www.youtube.com/watch?v=qeYEais1eT4&feature=youtu.be
My recent presentation on Leibniz may answer some questions that have remained open in this discussion: http://www.slideshare.net/khinsen/leibniz-a-digital-scientif...
Leibniz and Modelica indeed share the objective of writing digital scientific models rather than software. But the kind of information that can be expressed is quite different. Perhaps the most important difference (for…
You can indeed consider a context plus a term to be reduced as a program, which is executed by term reduction. But the unit of code in Leibniz is the context, not the context + term-to-be-reduced. If you want to compare…
In Leibniz, you wouldn't write only "nabla v = 0", but also what v is (by associating it with a sort), what properties v has (e.g. being positive), and how you actually obtained "nabla v = 0" from some first principles,…
You don't "run" Leibniz code. Leibniz is not a programming language. A Leibniz context is more like a database of equations than like a program. You can use the database of equations (and rules) to "reduce" a term,…
The analysis of the problem is good, but I am not convinced about the solution. There has never been a central hub for scientific papers, but that has never been a problem. Why should it be a problem for software? We…
Your comment is a nice example of the frequent misunderstandings concerning bitwise reproducibility. My article argues that infrastructure tools (compilers, runtimes, ...) should ensure bitwise reproducibility, making…
I don't think I am among the "main" ones, but to answer your question: Python is what I use for doing research, Clojure is what I look at because there are lots of good ideas in it. BTW, I also follow some Haskell…