Click here to Skip to main content
6,822,123 members and growing! (18,280 online)
Email Password   helpLost your password?

Welcome to the Lounge! RSS Feed     


The Lounge is a place where you can discuss anything that takes your fancy. If you just want to laze about and discuss things that don't quite fit elsewhere, then this is the place.

Posting Guidelines: The Lounge is rated PG. If you're about to post something you wouldn't want your kid sister to read then don't post it. No flame wars, no abusive conduct and please don't post ads.

Please do not post programming questions here. If you have a programming question then click here!.


You must Sign In to use this message board.
FAQ FAQ 
 
Noise Tolerance  Layout  Per page  Date Filter 
 Msgs 207,888 to 207,912 of 1,007,526 (Total in Forum: 1,007,526) (Refresh)FirstPrevNext
AnswerRe: Are there any DotNetNuke developers that are still alive? PinmemberPhannon4:52 22 Jul '08  
GeneralRe: Are there any DotNetNuke developers that are still alive? Pinmemberleppie4:58 22 Jul '08  
GeneralRe: Are there any DotNetNuke developers that are still alive? PinmemberPhannon5:03 22 Jul '08  
AnswerRe: Are there any DotNetNuke developers that are still alive? Pinmembersenylity5:20 22 Jul '08  
GeneralRe: Are there any DotNetNuke developers that are still alive? PinmemberTodd Smith7:32 22 Jul '08  
AnswerRe: Are there any DotNetNuke developers that are still alive? PinmemberBassam Abdul-Baki5:50 22 Jul '08  
GeneralGoodbye To Faulty Software? PinsupporterMark Nischalke3:39 22 Jul '08  
http://www.sciencedaily.com/releases/2008/07/080716154355.htm[^]

"The key lies in an esoteric reformulation of mathematics called ‘type theory’ based on the notion of computation. In this approach, the specification for a computational task is stated as a mathematical theorem. The program that performs the computation is equivalent to the proof of the theorem. By proving the theorem the program is guaranteed to be correct."

Sounds like TDD to me, just with math terms. Write the test then write the code to pass the test.


only two letters away from being an asset

GeneralRe: Goodbye To Faulty Software? PinmemberGraham Bradshaw3:54 22 Jul '08  
GeneralRe: Goodbye To Faulty Software? PinmemberSimon Stevens4:10 22 Jul '08  
GeneralRe: Goodbye To Faulty Software? PinmemberPhannon4:48 22 Jul '08  
GeneralRe: Goodbye To Faulty Software? PinmemberEnnis Ray Lynch, Jr.4:13 22 Jul '08  
GeneralRe: Goodbye To Faulty Software? PinmvpMike Dimmick4:20 22 Jul '08  
GeneralRe: Goodbye To Faulty Software? PinsupporterNitron5:02 22 Jul '08  
GeneralRe: Goodbye To Faulty Software? PinmemberKevin McFarlane7:01 22 Jul '08  
JokeRe: Goodbye To Faulty Software? PinmemberSteve_Harris5:19 22 Jul '08  
GeneralRe: Goodbye To Faulty Software? PinmemberStuart Dootson8:48 22 Jul '08  
GeneralRe: Goodbye To Faulty Software? PinmemberJoe Woodbury10:00 22 Jul '08  
GeneralRe: Goodbye Microsoft PinmemberRoger Wright18:31 22 Jul '08  
GeneralPhotography eh?.... he asked him knowingly... PinmemberBaconbutty3:29 22 Jul '08  
GeneralRe: Photography eh?.... he asked him knowingly... PinsupporterChris Losinger6:24 22 Jul '08  
GeneralRe: Photography eh?.... he asked him knowingly... PinsupporterJohn C8:31 22 Jul '08  
GeneralRe: Photography eh?.... he asked him knowingly... PinmemberStuart Dootson8:53 22 Jul '08  
GeneralProgramming Language Flame Wars PinmemberJonathan C Dickinson3:00 22 Jul '08  
GeneralRe: Programming Language Flame Wars Pinmemberdigital man3:10 22 Jul '08  
GeneralRe: Programming Language Flame Wars PinmemberDirk Higbee3:17 22 Jul '08  

General General    News News    Question Question    Answer Answer    Joke Joke    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads.


Last Updated 9 Feb 2010
Web21 | 2.2.0230 (18:30 2 Apr '10 ) | Advertise | Privacy
Copyright © CodeProject, 1999-2010
All Rights Reserved. Terms of Use