... Um, I think you're confusing strong typing with the type system commonly found in C, C++, Java and friends. That's *not* strong typing in any sense of the...
174
Curtis Poe
curtis_ovid_poe
Mar 30, 2005 9:48 pm
Sorry for starting a new thread; I just joined this list. I was told about the thread regarding different paradigms of programming and how "Perl" allows one...
175
Terrence Brannon
princepawn
Mar 31, 2005 3:27 am
... Haskell is a powerful synthesis of 2 ideas: pure functional programming _and_ strong typing. Perl lacks both of these. So, you lose 2 things masterfully...
176
Terrence Brannon
princepawn
Mar 31, 2005 3:45 am
... Autrijus' recent perl.com interview echoes this. He solved a binary-file parsing problem in Haskell, creating a solution that scales linearly. Autrijus...
177
Terrence Brannon
princepawn
Mar 31, 2005 3:50 am
... *YOU* have very little to learn because your Perl code is very type-oriented and every expression in every line is super tight with no excess state laying...
178
Terrence Brannon
princepawn
Mar 31, 2005 4:12 am
... I did but a function is a small clear statement about how input(s) transform into output reliably, time after time, without fail and without intermediate...
179
Terrence Brannon
princepawn
Mar 31, 2005 4:18 am
... T Moertel developed the Haskell-inspired CPAN module Test::Lectrotest for this purpose: http://search.cpan.org/~tmoertel/Test-LectroTest-0.3200/ -- ...
180
Rob Nagler
robnagler
Mar 31, 2005 4:33 am
The guys at the office keep laughing at me, because I can't stop trying to explain what I mean. Someone at my office mentioned Gerry Weinberg's comment that...
181
Curtis Poe
curtis_ovid_poe
Mar 31, 2005 4:40 am
... Well, the still doesn't do it. Even if you can prove a small section of the code is correct, that does not necessarily mean that it's complete. Further,...
182
Rob Nagler
robnagler
Mar 31, 2005 5:44 am
... Code! Notice the bug? Here's a refactoring that eliminates redundancy and the bug: hello: times (times > 100) ifTrue: [self print: 'You will get bored!']...
183
Rob Nagler
robnagler
Mar 31, 2005 6:08 am
... You are using a type system for machine reasoning. The Haskell evaluator is but one type of inference engine. You probably could use Mycin just as...
184
Rob Nagler
robnagler
Mar 31, 2005 6:38 am
... Code! I love code. Here's the source: http://search.cpan.org/~autrijus/Parse-AFP-0.23/lib/Parse/AFP.pm Now when I hit some new code, I get the lay of the...
185
Rob Nagler
robnagler
Mar 31, 2005 6:58 am
... If you buy into refactoring, your code can be that way, too. ... I doubt it. I put a premium on problem solving, whatever the problem. I hate repeating...
186
Rob Nagler
robnagler
Mar 31, 2005 7:17 am
... Lectrotest is a simple random tester. You have to define the boundary conditions yourself when you hopefully have already done that in the code. Is this...
187
Shae Matijs Erisson
scannedinavian
Mar 31, 2005 11:45 am
... <snip code> HaskellDB allows higher-order database queries, and I don't think this does. I used to work with multi-page SQL queries in some trust...
188
Terrence Brannon
princepawn
Mar 31, 2005 12:18 pm
... I would love to have some quantitative data on this. I really think Junior Haskellers would write cleaner code than Junior Perlers. The stateless...
189
Shae Matijs Erisson
scannedinavian
Mar 31, 2005 12:29 pm
... You give a condition, QuickCheck generates a random input and stuffs that into your condition to see if it's true. If it fails you see what input failed. ...
190
Terrence Brannon
princepawn
Mar 31, 2005 12:49 pm
... Haskell took 1st and 2nd in the main draw of the ICFP 2004 Programming Contest. Would you like to compete in ICFP 2005 using Perl? On the other hand, as I...
191
Terrence Brannon
princepawn
Mar 31, 2005 1:00 pm
... How else are you going to solve the 8 queens problem? lol I guess I find it hard to see the practical use of logic programming. There is a dynamic logic...
192
Terrence Brannon
princepawn
Mar 31, 2005 1:17 pm
... Within Perl, I can list 3 books that refilled my well: 1/ Effective Perl Programming. This was the book that really opened my eyes to what could and should...
193
Shae Matijs Erisson
scannedinavian
Mar 31, 2005 2:38 pm
... I don't think you would get the same benefits from using an expert system as a type system. The HM type system has various guarantees (like termination)...
194
Curtis Poe
curtis_ovid_poe
Mar 31, 2005 4:43 pm
... Rob, You just lost your case with that question. Most general purpose programming languages can solve any problem a Turing machine can solve. Contrary to...
195
Terrence Brannon
princepawn
Mar 31, 2005 6:16 pm
<quote url=http://www.extremeperl.org/bk/refactoring> if a routine is used only in one place, you keep it private within a module. THE FIRST TIME IT IS USED...
196
chromatic
chromatic_perl
Mar 31, 2005 6:45 pm
... Sorry, defining the word "function"; doesn't convince me that you'll never ever accidentally mistype something and that the compiler will always reliably...
197
Rob Kinyon
dragonchild93
Mar 31, 2005 7:48 pm
. . . THE FIRST TIME IT IS USED ELSEWHERE, YOU MAY COPY IT. . . . . . . I don't think it requires 2 uses of something to copy it. The second time you need...
198
Adam Turoff
ziggyatpanix
Apr 1, 2005 1:26 am
This discussion is starting to take a democrats vs. republicans kind of feel. Someone described that as the meeting of two irreconcilable viewpoints: - the...
199
Adam Turoff
ziggyatpanix
Apr 1, 2005 1:45 am
... No, you're using BDUF to be dismissive of DSLs. DSLs can be lightweight. ... Um, no it doesn't. At $WORK, I'm managing with a DSL to configure webapps....
200
Rob Nagler
robnagler
Apr 1, 2005 5:09 am
... Not unless they paid me. We choose Pro Bono projects for their value to the community and our business. Rob...
201
Rob Nagler
robnagler
Apr 1, 2005 5:40 am
... There are several camps, and there is lots of data supporting both of them. Here's an interesting study supporting partition testing over proportional or...
202
Rob Nagler
robnagler
Apr 1, 2005 5:58 am
... Who are the gods creating these new languages, and what languages are they using to build them? How do we become gods and create languages? Rob...
