Re: Is Rust the culprit? (Was: What about the Holy Grail?)

Liste des GroupesRevenir à l prolog 
Sujet : Re: Is Rust the culprit? (Was: What about the Holy Grail?)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 22. Jul 2024, 22:26:04
Autres entêtes
Message-ID : <v7mf8r$6utd$1@solani.org>
References : 1 2 3 4
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
If Rust is the culprit, I guess it isn't
due to this speculation:
Imagine Rust failed, why did it fail?
https://www.reddit.com/r/rust/comments/c93upr/imagine_rust_failed_why_did_it_fail/
"climate change causes massively increased methane
offgassing in the Arctic, causing a runaway greenhouse
effect that eventually turns Earth into Venus,
destroying the biosphere before rust
can gain widespread adoption"
There are other signs that Rust is a failure, like here:
Why Rust is Making You Fail. --> 1.1k Claps
https://medium.com/@ChadJohnsonOfficial/why-rust-is-stopping-your-success-use-c-and-c-instead-586dc7e2edbc
And here:
Should we call Rust a failed programming language? --> 10.5 views
https://www.quora.com/Should-we-call-Rust-a-failed-programming-language
Mild Shock schrieb:
Maybe Scryer Prolog is a failure, because Rust
is a failure. Building Scryer Prolog on my machine,
after a git pull of a small change, did just
 take this much time:
 $ time cargo build --release
[...]
real    6m52.663s
user    7m39.043s
sys     0m3.241s
 What did Rust do? And this tabling test case,
2000 shuttle, hangs:
 /* Scryer Prolog 0.9.4-107 */
?- use_module(library(tabling)).
    true.
?- [user].
:- table c/1.
c(X) :- c(Y), 0 =< Y, Y < 20000, X is -Y-1.
c(X) :- c(Y), -20000 < Y, Y =< 0, X is -Y+1.
c(0).
 ?- time(c(_)).
%%% hangs ? %%%
 It is solved in a blink in SWI-Prolog:
 /* SWI-Prolog 9.3.8 */
?- time(c(_)).
% 540,077 inferences, 0.047 CPU in 0.051 seconds (92% CPU, 11521643 Lips)
true .
 The test case is from here:
 https://github.com/JanWielemaker/tabling_benchmarks/tree/master

Date Sujet#  Auteur
27 May 24 * A harsh wind is blowing into the face of Prolog now… [FORTRAN / TIOBE Index for May 2024]27Mild Shock
27 May 24 +- Re: A harsh wind is blowing into the face of Prolog now… [FORTRAN / TIOBE Index for May 2024]1Mild Shock
20 Jul 24 +* Scryer Prolog is dead now? (Was: A harsh wind is blowing into the face of Prolog now…)5Mild Shock
21 Jul 24 i`* What about the Holy Grail? (Was: Scryer Prolog is dead now?)4Mild Shock
22 Jul 24 i `* Is Rust the culprit? (Was: What about the Holy Grail?)3Mild Shock
22 Jul 24 i  `* Re: Is Rust the culprit? (Was: What about the Holy Grail?)2Mild Shock
22 Jul 24 i   `- Re: Is Rust the culprit? (Was: What about the Holy Grail?)1Mild Shock
23 Jul 24 +* Can we trust the Scryer Prolog Gurus? (Was: A harsh wind is blowing into the face of Prolog now… )3Mild Shock
23 Jul 24 i`* Re: Can we trust the Scryer Prolog Gurus? (Was: A harsh wind is blowing into the face of Prolog now… )2Mild Shock
23 Jul 24 i `- Re: Can we trust the Scryer Prolog Gurus? (Was: A harsh wind is blowing into the face of Prolog now… )1Mild Shock
23 Jul 24 +* The longest pregnancy in the history of Prolog ~~> DCGs (Was: A harsh wind is blowing into the face of Prolog now…)5Mild Shock
23 Jul 24 i`* Re: The longest pregnancy in the history of Prolog ~~> DCGs (Was: A harsh wind is blowing into the face of Prolog now…)4Mild Shock
23 Jul 24 i `* Re: The longest pregnancy in the history of Prolog ~~> DCGs (Was: A harsh wind is blowing into the face of Prolog now…)3Mild Shock
23 Jul 24 i  `* Re: The longest pregnancy in the history of Prolog ~~> DCGs (Was: A harsh wind is blowing into the face of Prolog now…)2Mild Shock
23 Jul 24 i   `- Re: The longest pregnancy in the history of Prolog ~~> DCGs (Was: A harsh wind is blowing into the face of Prolog now…)1Mild Shock
23 Jul 24 +* Is Scryer Prolog the Air Guitar of Prolog? (Was: A harsh wind is blowing into the face of Prolog now…)3Mild Shock
23 Jul 24 i`* Re: Is Scryer Prolog the Air Guitar of Prolog? (Was: A harsh wind is blowing into the face of Prolog now…)2Mild Shock
24 Jul 24 i `- Re: Is Scryer Prolog the Air Guitar of Prolog? (Was: A harsh wind is blowing into the face of Prolog now…)1Mild Shock
26 Jul 24 `* Did Lifeware Kill Scryer Prolog CLP(Z) ? (Was: A harsh wind is blowing into the face of Prolog now… [FORTRAN / TIOBE Index for May 2024])9Mild Shock
26 Jul 24  `* Re: Did Lifeware Kill Scryer Prolog CLP(Z) ? (Was: A harsh wind is blowing into the face of Prolog now… [FORTRAN / TIOBE Index for May 2024])8Mild Shock
27 Jul 24   `* Re: Did Lifeware Kill Scryer Prolog CLP(Z) ? (Was: A harsh wind is blowing into the face of Prolog now… [FORTRAN / TIOBE Index for May 2024])7Mild Shock
27 Jul 24    `* Re: Did Lifeware Kill Scryer Prolog CLP(Z) ? (Was: A harsh wind is blowing into the face of Prolog now… [FORTRAN / TIOBE Index for May 2024])6Mild Shock
27 Jul 24     `* Re: Did Lifeware Kill Scryer Prolog CLP(Z) ? (Was: A harsh wind is blowing into the face of Prolog now… [FORTRAN / TIOBE Index for May 2024])5Mild Shock
27 Jul 24      `* Re: Did Lifeware Kill Scryer Prolog CLP(Z) ? (Was: A harsh wind is blowing into the face of Prolog now… [FORTRAN / TIOBE Index for May 2024])4Mild Shock
27 Jul 24       `* Re: Did Lifeware Kill Scryer Prolog CLP(Z) ? (Was: A harsh wind is blowing into the face of Prolog now… [FORTRAN / TIOBE Index for May 2024])3Mild Shock
27 Jul 24        `* Re: Did Lifeware Kill Scryer Prolog CLP(Z) ? (Was: A harsh wind is blowing into the face of Prolog now… [FORTRAN / TIOBE Index for May 2024])2Mild Shock
27 Jul 24         `- Re: Did Lifeware Kill Scryer Prolog CLP(Z) ? (Was: A harsh wind is blowing into the face of Prolog now… [FORTRAN / TIOBE Index for May 2024])1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal