User loginNavigation |
Optimal efficiencyReading about Constraint Handling Rules, there is a claim that CHR is the first declarative language for which optimum efficiency of implementing all algorithms can be proved, and that this cannot be proved for the pure part of logic (eg Prolog), rewriting (eg Maude), or functional programming (eg Haskell), without adding imperative features. Should we all be trying to develop languages based on CHR, rather than functional? What other language types to proofs (or disproofs) exist for optimal efficiency? By Keean Schupke at 2015-10-01 08:35 | LtU Forum | previous forum topic | next forum topic | other blogs | 6852 reads
|
Browse archives
Active forum topics |
Recent comments
29 weeks 19 hours ago
29 weeks 23 hours ago
29 weeks 23 hours ago
51 weeks 2 days ago
1 year 3 weeks ago
1 year 5 weeks ago
1 year 5 weeks ago
1 year 7 weeks ago
1 year 12 weeks ago
1 year 12 weeks ago