Comments for Lost In Logic http://www.imarc.co.uk/marcwickens A blog by Marc Wickens Wed, 10 Aug 2011 16:05:02 +0000 hourly 1 http://wordpress.org/?v=3.3 Comment on Why the JavaScript obsession? by Hrissan http://www.imarc.co.uk/marcwickens/2011/08/why-the-javascript-obsession/#comment-8 Hrissan Wed, 10 Aug 2011 16:05:02 +0000 http://www.imarc.co.uk/marcwickens/2011/08/why-the-javascript-obsession/#comment-8 Agree! I have just started to learn new programming languages and techniques where you could and should prove your application correctness. The guys in Australia have proved the whole microkernel to be formally correct. This is really breakthrough. http://ertos.nicta.com.au/research/l4.verified/ This is the future, not lousy scripts, which you cannot trust at all. Test-driven development is a dead end also. It gives you some confidence, but never 100%, Look also to more expressive type systems, like ATS http://www.ats-lang.org/ The language is ugly like the first fortran or even worse. But if you look through the syntax to the semantic, it is also a breakthrough. It it the only language that can check that your C-style qsort code is formally correct, finishes, leaves the sequence sorted, has no memory leaks stray pointers or buffer overflows. Have a nice day. :) Agree! I have just started to learn new programming languages and techniques where you could and should prove your application correctness.

The guys in Australia have proved the whole microkernel to be formally correct. This is really breakthrough.
http://ertos.nicta.com.au/research/l4.verified/

This is the future, not lousy scripts, which you cannot trust at all. Test-driven development is a dead end also. It gives you some confidence, but never 100%,

Look also to more expressive type systems, like ATS
http://www.ats-lang.org/
The language is ugly like the first fortran or even worse. But if you look through the syntax to the semantic, it is also a breakthrough. It it the only language that can check that your C-style qsort code is formally correct, finishes, leaves the sequence sorted, has no memory leaks stray pointers or buffer overflows.

Have a nice day. :)

]]> Comment on Online Services I use by Marc http://www.imarc.co.uk/marcwickens/2011/07/online-services-i-use/#comment-7 Marc Thu, 21 Jul 2011 19:10:53 +0000 http://www.imarc.co.uk/marcwickens/2011/07/online-services-i-use/#comment-7 Wow, it's great the post could be of use to someone all these years later. Thanks for dropping by :) Wow, it’s great the post could be of use to someone all these years later. Thanks for dropping by :)

]]> Comment on Online Services I use by Riaan http://www.imarc.co.uk/marcwickens/2011/07/online-services-i-use/#comment-6 Riaan Wed, 20 Jul 2011 08:23:02 +0000 http://www.imarc.co.uk/marcwickens/2011/07/online-services-i-use/#comment-6 Hi Marc, not sure if this is the correct medium to communicate. Just want to say BIG Thanx for your posting about: The error: "Some Update Commands Could not be generated automatically. The database returned the following error: Failed to find or load the .NET Data Provider" The link I gor it from was: .pcreview.co.uk/forums/error-some-update-commands-could-not-generated-automatically-database-returned-following-error-failed-find-load-net-data-provider-t3588285.html Thx! Regards Hi Marc,

not sure if this is the correct medium to communicate.
Just want to say BIG Thanx for your posting about: The error: “Some Update Commands Could not be generated automatically.
The database returned the following error: Failed to find or load the .NET
Data Provider” The link I gor it from was: .pcreview.co.uk/forums/error-some-update-commands-could-not-generated-automatically-database-returned-following-error-failed-find-load-net-data-provider-t3588285.html

Thx!
Regards

]]> Comment on PhoneGap: The JavaScript files are different! by Marc http://www.imarc.co.uk/marcwickens/2011/03/phonegap-the-javascript-files-are-different/#comment-5 Marc Mon, 04 Apr 2011 20:32:21 +0000 http://www.imarc.co.uk/marcwickens/2011/03/phonegap-the-javascript-files-are-different/#comment-5 That make sense - although I have found certain plugins for Android crash iPhone and BlackBerry - so I end up making small changes to the source files anyway. Still it's a good aim, looking forward to next release. That make sense – although I have found certain plugins for Android crash iPhone and BlackBerry – so I end up making small changes to the source files anyway. Still it’s a good aim, looking forward to next release.

]]> Comment on PhoneGap: The JavaScript files are different! by Simon MacDonald http://www.imarc.co.uk/marcwickens/2011/03/phonegap-the-javascript-files-are-different/#comment-4 Simon MacDonald Mon, 28 Mar 2011 14:38:49 +0000 http://www.imarc.co.uk/marcwickens/2011/03/phonegap-the-javascript-files-are-different/#comment-4 Hey Marc, I believe the reason the files are the same name is so that you don't need to change your HTML code when going from Android to iPhone, etc. There were some differences in the PhoneGap.exec() call between iPhone and the rest of the projects but that has been addressed for 0.9.5. There is a plan afoot to eventually merge things into a single JS file but we'll have to see how that progresses. As you can see by looking at the BlackBerry project a lot more of that code can be done without ever calling into Java so that presents some interesting challenges. Simon Hey Marc,

I believe the reason the files are the same name is so that you don’t need to change your HTML code when going from Android to iPhone, etc. There were some differences in the PhoneGap.exec() call between iPhone and the rest of the projects but that has been addressed for 0.9.5. There is a plan afoot to eventually merge things into a single JS file but we’ll have to see how that progresses. As you can see by looking at the BlackBerry project a lot more of that code can be done without ever calling into Java so that presents some interesting challenges.

Simon

]]> Comment on No, I don’t want to update! by Alicia http://www.imarc.co.uk/marcwickens/2010/12/no-i-dont-want-to-update/#comment-3 Alicia Mon, 27 Dec 2010 00:55:16 +0000 http://www.imarc.co.uk/marcwickens/2010/12/no-i-dont-want-to-update/#comment-3 Some good points. iTunes/iOS is another example. Some good points. iTunes/iOS is another example.

]]>