TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Quorum: The world's first evidence-oriented programming language

21 点作者 doty大约 10 年前

13 条评论

payne92大约 10 年前
I would strongly suggest having a paragraph, right on the home page, explaining what an &quot;evidence-oriented&quot; language is and how it differs from conventional languages.<p>In other words, consider looking at your home page through the eye of someone who knows NOTHING about what you are doing.
评论 #9435255 未加载
blixt大约 10 年前
Here&#x27;s the explanation of the &quot;evidence-oriented&quot; wording for people who also had a hard time finding it: <a href="http:&#x2F;&#x2F;www.quorumlanguage.com&#x2F;evidence.php" rel="nofollow">http:&#x2F;&#x2F;www.quorumlanguage.com&#x2F;evidence.php</a>
golemotron大约 10 年前
I&#x27;m going to call B.S. on this approach. When you look at the language it looks suspiciously like most other programming languages in terms of syntax.<p>What it&#x27;s telling us is that the evidence is that most people kind of like their own programming language and want to modify nits.<p>The designers are not going to find anything different meaningfully different. They certainly are not going to find anything that aligns with real ergonomic research into language design, like that done by PPIG ( <a href="http:&#x2F;&#x2F;www.ppig.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.ppig.org&#x2F;</a> ) and other groups.
评论 #9437328 未加载
guscost大约 10 年前
Looks like an attempt to introduce some measure of scientific rigor to the design-by-committee paradigm, with a new programming language as its goal. Interesting, it could lead to some good ideas.<p>I&#x27;ll wager that it won&#x27;t be possible to assess many of the choices involved in a completely objective way, since the participants in each study will have prejudices and familiarities which will bias the results. Because of the science-oriented positioning, my guess is this language will be somewhat like Python (not that that is a bad thing).
评论 #9435247 未加载
alariccole大约 10 年前
Subjective-C?
hardwaresofton大约 10 年前
This is basically a crowd-sourced programming language with fact-checking (by experimentation, on proposals before they are added).<p>A reductive explanation, yes, but I don&#x27;t think it&#x27;s inaccurate, based on what I could find on their site. Would love to be corrected if there&#x27;s some large part I missed.<p>As far as actually constructive criticism, I&#x27;d really love it if this was the first thing I saw on quorumlang&#x27;s homepage.
c0ur7n3y大约 10 年前
A quick look through the docs didn&#x27;t tell me what is special about this.
评论 #9435056 未加载
评论 #9435002 未加载
h4xr大约 10 年前
&quot;Programming languages should be designed with human factors as a primary concern.<p>Traditional programming languages have been designed predominately with technical concepts and machines in mind. While such concerns are obviously critical, human beings ultimately use such tools in the broad development community. In evidence-oriented programming, human factors evidence takes a first-class seat in the language&#x27;s design. All factors related to programming are considered, up for debate, and are subject to change if a community member shows rigorous evidence that another approach is better. This is true both for technical and human factors considerations. To our knowledge, Quorum is the first programming language to attempt this.&quot;<p><a href="http:&#x2F;&#x2F;quorumlanguage.com&#x2F;evidence.php" rel="nofollow">http:&#x2F;&#x2F;quorumlanguage.com&#x2F;evidence.php</a><p>So Quorum refers to developers coming to an consensus on what programming approach is better technical or not..
drivingmenuts大约 10 年前
Isn&#x27;t this how the world wound up with Ada?
评论 #9436725 未加载
renox大约 10 年前
While in theory, it seems a good idea, in practice I&#x27;m not so sure about their results: for example using &#x27;+&#x27; for string concatenation while present in many languages is IMHO a bad idea: D use &#x27;~&#x27; instead: much cleaner to distinguish addition and concatenation otherwise x[] + y[] is ambiguous: element wise addition, concatenation? Who knows..
1wd大约 10 年前
Looks interesting but sadly I couldn&#x27;t find even one example of how evidence influenced the design.
评论 #9435166 未加载
travjones大约 10 年前
I&#x27;m still trying to figure out what an &quot;evidence-oriented programming language&quot; is...
评论 #9435064 未加载
评论 #9435021 未加载
acd大约 10 年前
What about the coq proof assistant that must have been before this<p><a href="https:&#x2F;&#x2F;coq.inria.fr" rel="nofollow">https:&#x2F;&#x2F;coq.inria.fr</a>