JaroslavTulach at 19:12, 15 May 2014 - 2014-05-15 19:12:08

←Older revision Revision as of 19:12, 15 May 2014
Line 79: Line 79:
</source>
</source>
-
of course your comment brings deeper question: How do we know our software is correct? We don't we just know it is correct for envisioned use cases (e.g. 3, 4, 5).
+
of course your comment brings deeper question: How do we know our software is correct? [[Epistemology]] tells us that we don't - we just know it is [[good]] enough - e.g. correct for envisioned use cases (in my test case it is 3, 4, 5).
--[[User:JaroslavTulach|JaroslavTulach]] 04:31, 14 May 2014 (UTC)
--[[User:JaroslavTulach|JaroslavTulach]] 04:31, 14 May 2014 (UTC)
</div>
</div>

JaroslavTulach at 04:37, 14 May 2014 - 2014-05-14 04:37:59

←Older revision Revision as of 04:37, 14 May 2014
Line 56: Line 56:
--[htttp://www.dlisted.com/node/29432 swv] 00:19, 10 April 2009 (CEST)
--[htttp://www.dlisted.com/node/29432 swv] 00:19, 10 April 2009 (CEST)
</div>
</div>
-
== Eugene said ==
+
== Eugene said_ ==
<div class='commentBlock'>
<div class='commentBlock'>

JaroslavTulach at 04:37, 14 May 2014 - 2014-05-14 04:37:25

←Older revision Revision as of 04:37, 14 May 2014
Line 56: Line 56:
--[htttp://www.dlisted.com/node/29432 swv] 00:19, 10 April 2009 (CEST)
--[htttp://www.dlisted.com/node/29432 swv] 00:19, 10 April 2009 (CEST)
</div>
</div>
-
== Eugene said ==
+
== Eugene said ==
<div class='commentBlock'>
<div class='commentBlock'>

JaroslavTulach at 04:36, 14 May 2014 - 2014-05-14 04:36:49

←Older revision Revision as of 04:36, 14 May 2014
Line 56: Line 56:
--[htttp://www.dlisted.com/node/29432 swv] 00:19, 10 April 2009 (CEST)
--[htttp://www.dlisted.com/node/29432 swv] 00:19, 10 April 2009 (CEST)
</div>
</div>
-
== Eugene said ... ==
+
== Eugene said ==
<div class='commentBlock'>
<div class='commentBlock'>

JaroslavTulach at 04:31, 14 May 2014 - 2014-05-14 04:31:46

←Older revision Revision as of 04:31, 14 May 2014
Line 56: Line 56:
--[htttp://www.dlisted.com/node/29432 swv] 00:19, 10 April 2009 (CEST)
--[htttp://www.dlisted.com/node/29432 swv] 00:19, 10 April 2009 (CEST)
</div>
</div>
-
== Rohaifa said ... ==
+
== Eugene said ... ==
<div class='commentBlock'>
<div class='commentBlock'>
-
実用性はさておきboost::mpl::identifyでそのようなことが可能です こちらは型が先になりますが void f(int, dbuloe);identity<void (*)(int, dbuloe)>::type p1 = g; // void (*p1)(int, dbuloe) = g;identity<void (int, dbuloe)>::type* p2 = g; // p1と同じ型typedef identity<void (*)(int, dbuloe)>::type ptr_f_t; // typedefにも使用可能
+
new Factorial().sumRange(1, n); it's not a n!
-
--Rohaifa 17:53, 21 October 2013 (CEST)
+
--Eugene 12:12, 11 May 2014 (CEST)
-
</div>
+
-
== Gallant said ... ==
+
-
<div class='commentBlock'>
+
How comes!? At least we know it is n! for 3, 4, 5, see the [http://source.apidesign.org/hg/apidesign/file/e1439046d96e/samples/composition/src-test/org/apidesign/math/test/FactorialTest.java#l30 FactorialTest]:
-
Hello Michael,I was wondering if there will be a reapet of the above workshop in the near future, as I will be unable to attend. Also, I'd like to commend you on your awesome blog concise and well-written!
+
-
--Gallant 13:50, 23 October 2013 (CEST)
+
<source lang="java">
-
</div>
+
public void testFactorial3() {
-
== Eugene said ... ==
+
assertEquals(6, Factorial.factorial(3));
 +
}
 +
 +
public void testFactorial4() {
 +
assertEquals(24, Factorial.factorial(4));
 +
}
 +
 +
public void testFactorial5() {
 +
assertEquals(120, Factorial.factorial(5));
 +
}
 +
</source>
-
<div class='commentBlock'>
+
of course your comment brings deeper question: How do we know our software is correct? We don't we just know it is correct for envisioned use cases (e.g. 3, 4, 5).
-
new Factorial().sumRange(1, n); it's not a n!
+
 
 +
--[[User:JaroslavTulach|JaroslavTulach]] 04:31, 14 May 2014 (UTC)
-
--Eugene 12:12, 11 May 2014 (CEST)
 
</div>
</div>

93.125.63.215: Comment provided by Eugene - via ArticleComments extension - 2014-05-11 10:12:23

Comment provided by Eugene - via ArticleComments extension

←Older revision Revision as of 10:12, 11 May 2014
Line 69: Line 69:
--Gallant 13:50, 23 October 2013 (CEST)
--Gallant 13:50, 23 October 2013 (CEST)
 +
</div>
 +
== Eugene said ... ==
 +
 +
<div class='commentBlock'>
 +
new Factorial().sumRange(1, n); it's not a n!
 +
 +
--Eugene 12:12, 11 May 2014 (CEST)
</div>
</div>

94.23.238.222: Comment provided by Gallant - via ArticleComments extension - 2013-10-23 11:50:00

Comment provided by Gallant - via ArticleComments extension

←Older revision Revision as of 11:50, 23 October 2013
Line 62: Line 62:
--Rohaifa 17:53, 21 October 2013 (CEST)
--Rohaifa 17:53, 21 October 2013 (CEST)
 +
</div>
 +
== Gallant said ... ==
 +
 +
<div class='commentBlock'>
 +
Hello Michael,I was wondering if there will be a reapet of the above workshop in the near future, as I will be unable to attend. Also, I'd like to commend you on your awesome blog concise and well-written!
 +
 +
--Gallant 13:50, 23 October 2013 (CEST)
</div>
</div>

94.23.238.222: Comment provided by Rohaifa - via ArticleComments extension - 2013-10-21 15:53:23

Comment provided by Rohaifa - via ArticleComments extension

←Older revision Revision as of 15:53, 21 October 2013
Line 55: Line 55:
--[htttp://www.dlisted.com/node/29432 swv] 00:19, 10 April 2009 (CEST)
--[htttp://www.dlisted.com/node/29432 swv] 00:19, 10 April 2009 (CEST)
 +
</div>
 +
== Rohaifa said ... ==
 +
 +
<div class='commentBlock'>
 +
実用性はさておきboost::mpl::identifyでそのようなことが可能です こちらは型が先になりますが void f(int, dbuloe);identity<void (*)(int, dbuloe)>::type p1 = g; // void (*p1)(int, dbuloe) = g;identity<void (int, dbuloe)>::type* p2 = g; // p1と同じ型typedef identity<void (*)(int, dbuloe)>::type ptr_f_t; // typedefにも使用可能
 +
 +
--Rohaifa 17:53, 21 October 2013 (CEST)
</div>
</div>

68.57.243.125: Comment provided by swv - via ArticleComments extension - 2009-04-09 22:19:44

Comment provided by swv - via ArticleComments extension

←Older revision Revision as of 22:19, 9 April 2009
Line 48: Line 48:
--[[User:JaroslavTulach|JaroslavTulach]] 11:14, 4 April 2009 (UTC)
--[[User:JaroslavTulach|JaroslavTulach]] 11:14, 4 April 2009 (UTC)
 +
</div>
 +
== swv said ... ==
 +
 +
<div class='commentBlock'>
 +
Why don't YOU create that language, since you're the person who seems to have hit the limit on the OO paradigm? So what if you're not a language expert, become one. What better thing were you going to do with your life anyway? This kind of thing seems to have worked out well for Charles Simonyi
 +
 +
--[htttp://www.dlisted.com/node/29432 swv] 00:19, 10 April 2009 (CEST)
</div>
</div>

JaroslavTulach at 11:15, 4 April 2009 - 2009-04-04 11:15:00

←Older revision Revision as of 11:15, 4 April 2009
Line 44: Line 44:
--Arno Nyhm 10:42, 27 March 2009 (CET)
--Arno Nyhm 10:42, 27 March 2009 (CET)
-
I have extended [[EliminateFuzzyModifers]] with ''real world'' example to satisfy your request. Enjoy!
+
I have extended [[EliminateFuzzyModifiers]] with ''real world'' example to satisfy your request. Enjoy!
--[[User:JaroslavTulach|JaroslavTulach]] 11:14, 4 April 2009 (UTC)
--[[User:JaroslavTulach|JaroslavTulach]] 11:14, 4 April 2009 (UTC)
</div>
</div>