ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/common-sense/sense.pm
(Generate patch)

Comparing common-sense/sense.pm (file contents):
Revision 1.2 by root, Thu Jul 9 17:25:48 2009 UTC vs.
Revision 1.22 by root, Wed Nov 4 11:04:25 2009 UTC

4 4
5=head1 SYNOPSIS 5=head1 SYNOPSIS
6 6
7 use common::sense; 7 use common::sense;
8 8
9 # roughly the same as, with much lower memory usage: 9 # supposed to be the same, with much lower memory usage, as:
10 # 10 #
11 # use strict qw(vars subs); 11 # use strict qw(vars subs);
12 # use feature qw(say state switch); 12 # use feature qw(say state switch);
13 # no warnings; 13 # no warnings;
14 # use warnings qw(FATAL closed threads internal debugging pack substr malloc
15 # unopened portable prototype inplace io pipe unpack regexp
16 # deprecated exiting glob digit printf utf8 layer
17 # reserved parenthesis taint closure semicolon);
18 # no warnings qw(exec newline);
14 19
15=head1 DESCRIPTION 20=head1 DESCRIPTION
16 21
17This module implements some sane defaults for Perl programs, as defined by 22This module implements some sane defaults for Perl programs, as defined by
18two typical (or not so typical - use your common sense) specimens of 23two typical (or not so typical - use your common sense) specimens of Perl
19Perl coders. 24coders. In fact, after working out details on which warnings and strict
25modes to enable and make fatal, we found that we (and our code written so
26far, and others) fully agree on every option, even though we never used
27warnings before, so it seems this module indeed reflects a "common" sense
28among some long-time Perl coders.
29
30The basic philosophy behind the choices made in common::sense can be
31summarised as: "enforcing strict policies to catch as many bugs as
32possible, while at the same time, not limiting the expressive power
33available to the programmer".
34
35Two typical examples of this philosophy are uninitialised and malloc
36warnings:
37
38C<undef> is a well-defined feature of perl, and enabling warnings for
39using it rarely catches any bugs, but considerably limits you in what you
40can do, so uninitialised warnings are disabled.
41
42Freeing something twice on the C level is a serious bug, usually causing
43memory corruption. It often leads to side effects much later in the
44program and there are no advantages to not reporting this, so malloc
45warnings are fatal by default.
46
47What follows is a more thorough discussion of what this module does,
48and why it does it, and what the advantages (and disadvantages) of this
49approach are.
20 50
21=over 4 51=over 4
22 52
23=item use strict qw(subs vars) 53=item use strict qw(subs vars)
24 54
25Using C<use strict> is definitely common sense, but C<use strict 55Using C<use strict> is definitely common sense, but C<use strict
26'refs'> definitely overshoots it's usefulness. After almost two 56'refs'> definitely overshoots its usefulness. After almost two
27decades of Perl hacking, we decided that it does more harm than being 57decades of Perl hacking, we decided that it does more harm than being
28useful. Specifically, constructs like these: 58useful. Specifically, constructs like these:
29 59
30 @{ $var->[0] } 60 @{ $var->[0] }
31 61
32Must be written like this, when C<use strict 'refs'> is in scope, and 62Must be written like this (or similarly), when C<use strict 'refs'> is in
33C<$var> can legally be C<undef>: 63scope, and C<$var> can legally be C<undef>:
34 64
35 @{ $var->[0] || [] } 65 @{ $var->[0] || [] }
36 66
37This is annoying, and doesn't shield against obvious mistakes such as 67This is annoying, and doesn't shield against obvious mistakes such as
38using C<"">, so one would even have to write: 68using C<"">, so one would even have to write (at least for the time
69being):
39 70
40 @{ defined $var->[0] ? $var->[0] : [] } 71 @{ defined $var->[0] ? $var->[0] : [] }
41 72
42... which nobody with a bit of common sense would consider 73... which nobody with a bit of common sense would consider
74writing: clear code is clearly something else.
75
43writing. Curiously enough, sometimes, perl is not so strict, as this works 76Curiously enough, sometimes perl is not so strict, as this works even with
44even with C<use strict> in scope: 77C<use strict> in scope:
45 78
46 for (@{ $var->[0] }) { ... 79 for (@{ $var->[0] }) { ...
47 80
48If that isnt hipocrasy! And all that from a mere program! 81If that isn't hypocrisy! And all that from a mere program!
82
49 83
50=item use feature qw(say state given) 84=item use feature qw(say state given)
51 85
52We found it annoying that we always have to enable extra features. If 86We found it annoying that we always have to enable extra features. If
53something breaks because it didn't anticipate future changes, so be 87something breaks because it didn't anticipate future changes, so be
54it. 5.10 broke almost all our XS modules and nobody cared either - and few 88it. 5.10 broke almost all our XS modules and nobody cared either (or at
89least I know of nobody who really complained about gratuitous changes -
90as opposed to bugs).
91
55modules that are no longer maintained work with newer versions of Perl, 92Few modules that are not actively maintained work with newer versions of
56regardless of use feature. 93Perl, regardless of use feature or not, so a new major perl release means
94changes to many modules - new keywords are just the tip of the iceberg.
57 95
58If your code isn'talive, it's dead, jim. 96If your code isn't alive, it's dead, Jim - be an active maintainer.
59 97
60=item no warnings 98But nobody forces you to use those extra features in modules meant for
99older versions of perl - common::sense of course works there as well.
100There is also an important other mode where having additional features by
101default is useful: commandline hacks and internal use scripts: See "much
102reduced typing", below.
61 103
104
105=item no warnings, but a lot of new errors
106
62The dreaded warnings. Even worse, the horribly dreaded C<-w> switch. Even 107Ah, the dreaded warnings. Even worse, the horribly dreaded C<-w>
63though we don't care if other people use warnings (and certainly there are 108switch: Even though we don't care if other people use warnings (and
64useful ones), a lot of warnings simply go against the spirit of Perl, most 109certainly there are useful ones), a lot of warnings simply go against the
110spirit of Perl.
111
65prominently, the warnings related to C<undef>. There is nothing wrong with 112Most prominently, the warnings related to C<undef>. There is nothing wrong
66C<undef>: it has well-defined semantics, it is useful, and spitting out 113with C<undef>: it has well-defined semantics, it is useful, and spitting
67warnings you never asked for is just evil. 114out warnings you never asked for is just evil.
68 115
69So every module needs C<no warnings> to avoid somebody accidentally using 116The result was that every one of our modules did C<no warnings> in the
70C<-w> and forcing his bad standards on our code. No will do. 117past, to avoid somebody accidentally using and forcing his bad standards
118on our code. Of course, this switched off all warnings, even the useful
119ones. Not a good situation. Really, the C<-w> switch should only enable
120warnings for the main program only.
71 121
72(Also, why isn't this a C<use feature> switch? Adding warnings is 122Funnily enough, L<perllexwarn> explicitly mentions C<-w> (and not in a
73apparently considered O.K., even if it breaks your programs). 123favourable way, calling it outright "wrong"), but standard utilities, such
124as L<prove>, or MakeMaker when running C<make test>, still enable them
125blindly.
74 126
75=item much less memory 127For version 2 of common::sense, we finally sat down a few hours and went
128through I<every single warning message>, identifiying - according to
129common sense - all the useful ones.
76 130
77Just using all those pragmas together waste <blink>I<< B<776> kilobytes 131This resulted in the rather impressive list in the SYNOPSIS. When we
78>></blink> of precious memory in my perl, for I<every single perl process 132weren't sure, we didn't include the warning, so the list might grow in
79using our code>, which on our machines, is a lot. 133the future (we might have made a mistake, too, so the list might shrink
134as well).
135
136Note the presence of C<FATAL> in the list: we do not think that the
137conditions caught by these warnings are worthy of a warning, we I<insist>
138that they are worthy of I<stopping> your program, I<instantly>. They are
139I<bugs>!
140
141Therefore we consider C<common::sense> to be much stricter than C<use
142warnings>, which is good if you are into strict things (we are not,
143actually, but these things tend to be subjective).
144
145After deciding on the list, we ran the module against all of our code that
146uses C<common::sense> (that is almost all of our code), and found only one
147occurence where one of them caused a problem: one of elmex's (unreleased)
148modules contained:
149
150 $fmt =~ s/([^\s\[]*)\[( [^\]]* )\]/\x0$1\x1$2\x0/xgo;
151
152We quickly agreed that indeed the code should be changed, even though it
153happened to do the right thing when the warning was switched off.
154
155
156=item much reduced typing
157
158Especially with version 2.0 of common::sense, the amount of boilerplate
159code you need to add to gte I<this> policy is daunting. Nobody would write
160this out in throwaway scripts, commandline hacks or in quick internal-use
161scripts.
162
163By using common::sense you get a defined set of policies (ours, but maybe
164yours, too, if you accept them), and they are easy to apply to your
165scripts: typing C<use common::sense;> is even shorter than C<use warnings;
166use strict; use feature ...>.
167
168And you can immediately use the features of your installed perl, which
169is more difficult in code you release, but not usually an issue for
170internal-use code (downgrades of your production perl should be rare,
171right?).
172
173
174=item mucho reduced memory usage
175
176Just using all those pragmas mentioned in the SYNOPSIS together wastes
177<blink>I<< B<776> kilobytes >></blink> of precious memory in my perl, for
178I<every single perl process using our code>, which on our machines, is a
179lot. In comparison, this module only uses I<< B<four> >> kilobytes (I even
180had to write it out so it looks like more) of memory on the same platform.
80 181
81The money/time/effort/electricity invested in these gigabytes (probably 182The money/time/effort/electricity invested in these gigabytes (probably
82petabytes globally!) of wasted memory could easily save 42 trees, and a 183petabytes globally!) of wasted memory could easily save 42 trees, and a
83kitten! 184kitten!
84 185
186Unfortunately, until everybods applies more common sense, there will still
187often be modules that pull in the monster pragmas. But one can hope...
188
85=cut 189=cut
86 190
87package common::sense; 191package common::sense;
88 192
89our $VERSION = '0.03'; 193our $VERSION = '2.02';
194
195# paste this into perl to find bitmask
196
197# no warnings;
198# use warnings qw(FATAL closed threads internal debugging pack substr malloc unopened portable prototype
199# inplace io pipe unpack regexp deprecated exiting glob digit printf
200# utf8 layer reserved parenthesis taint closure semicolon);
201# no warnings qw(exec newline);
202# BEGIN { warn join "", map "\\x$_", unpack "(H2)*", ${^WARNING_BITS}; exit 0 };
203
204# overload should be included
90 205
91sub import { 206sub import {
92 ${^WARNING_BITS} ^= ${^WARNING_BITS}; 207 # verified with perl 5.8.0, 5.10.0
208 ${^WARNING_BITS} ^= ${^WARNING_BITS} ^ "\xfc\x3f\xf3\x00\x0f\xf3\xcf\xc0\xf3\xfc\x33\x03";
209
210 # use strict vars subs
211 $^H |= 0x00000600;
212
213 # use feature
214 $^H{feature_switch} =
215 $^H{feature_say} =
216 $^H{feature_state} = 1;
93} 217}
94 218
95=cut
96
971; 2191;
98 220
99=back 221=back
100 222
101=head1 EXAMPLE 223=head1 THERE IS NO 'no common::sense'!!!! !!!! !!
102 224
103There really should be a complete C/XS example. Bug me about it. 225This module doesn't offer an unimport. First of all, it wastes even more
226memory, second, and more importantly, who with even a bit of common sense
227would want no common sense?
104 228
105=head1 IMPLEMENTATION DETAILS AND LIMITATIONS 229=head1 STABILITY AND FUTURE VERSIONS
106 230
107This module works by "hijacking" SIGKILL, which is guaranteed to be always 231Future versions might change just about everything in this module. We
108available in perl, but also cannot be caught, so is always available. 232might test our modules and upload new ones working with newer versions of
233this module, and leave you standing in the rain because we didn't tell
234you. In fact, we did so when switching from 1.0 to 2.0, which enabled gobs
235of warnings, and made them FATAL on top.
109 236
110Basically, this module fakes the receive of a SIGKILL signal and 237Maybe we will load some nifty modules that try to emulate C<say> or so
111then catches it. This makes normal signal handling slower (probably 238with perls older than 5.10 (this module, of course, should work with older
112unmeasurably), but has the advantage of not requiring a special runops nor 239perl versions - supporting 5.8 for example is just common sense at this
113slowing down normal perl execution a bit. 240time. Maybe not in the future, but of course you can trust our common
241sense to be consistent with, uhm, our opinion).
114 242
115It assumes that C<sig_atomic_t> and C<int> are both exception-safe to 243=head1 WHAT OTHER PEOPLE HAD TO SAY ABOUT THIS MODULE
116modify (C<sig_atomic_> is used by this module, and perl itself uses 244
117C<int>, so we can assume that this is quite portable, at least w.r.t. 245apeiron
118signals). 246
247 "... wow"
248 "I hope common::sense is a joke."
249
250crab
251
252 "i wonder how it would be if joerg schilling wrote perl modules."
253
254Adam Kennedy
255
256 "Very interesting, efficient, and potentially something I'd use all the time."
257 [...]
258 "So no common::sense for me, alas."
259
260H.Merijn Brand
261
262 "Just one more reason to drop JSON::XS from my distribution list"
263
264Pista Palo
265
266 "Something in short supply these days..."
267
268Steffen Schwigon
269
270 "This module is quite for sure *not* just a repetition of all the other
271 'use strict, use warnings'-approaches, and it's also not the opposite.
272 [...] And for its chosen middle-way it's also not the worst name ever.
273 And everything is documented."
274
275BKB
276
277 "[Deleted - thanks to Steffen Schwigon for pointing out this review was
278 in error.]"
279
280Somni
281
282 "the arrogance of the guy"
283 "I swear he tacked somenoe else's name onto the module
284 just so he could use the royal 'we' in the documentation"
285
286dngor
287
288 "Heh. '"<elmex at ta-sa.org>"' The quotes are semantic
289 distancing from that e-mail address."
290
291Jerad Pierce
292
293 "Awful name (not a proper pragma), and the SYNOPSIS doesn't tell you
294 anything either. Nor is it clear what features have to do with "common
295 sense" or discipline."
296
297acme
298
299 "THERE IS NO 'no common::sense'!!!! !!!! !!"
300
301apeiron (meta-comment about us commenting^Wquoting his comment)
302
303 How about quoting this: get a clue, you fucktarded amoeba.
304
305quanth
306
307 common sense is beautiful, json::xs is fast, Anyevent, EV are fast and
308 furious. I love mlehmannware ;)
309
310=head1 FREQUQNTLY ASKED QUESTIONS
311
312Or frequently-come-up confusions.
313
314=over 4
315
316=item Is this module meant to be serious?
317
318Yes, we would have put it under the C<Acme::> namespace otherwise.
319
320=item But the manpage is written in a funny/stupid/... way?
321
322This was meant to make it clear that our common sense is a subjective
323thing and other people can use their own notions, taking the steam out
324of anybody who might be offended (as some people are always offended no
325matter what you do).
326
327This was a failure.
328
329But we hope the manpage still is somewhat entertaining even though it
330explains boring rationale.
331
332=item Why do you impose your conventions on my code?
333
334For some reason people keep thinking that C<common::sense> imposes
335process-wide limits, even though the SYNOPSIS makes it clear that it works
336like other similar modules - only on the scope that uses them.
337
338So, no, we don't - nobody is forced to use this module, and using a module
339that relies on common::sense does not impose anything on you.
340
341=item Why do you think only your notion of common::sense is valid?
342
343Well, we don't, and have clearly written this in the documentation to
344every single release. We were just faster than anybody else w.r.t. to
345grabbing the namespace.
346
347=item But everybody knows that you have to use strict and use warnings,
348why do you disable them?
349
350Well, we don't do this either - we selectively disagree with the
351usefulness of some warnings over others. This module is aimed at
352experienced Perl programmers, not people migrating from other languages
353who might be surprised about stuff such as C<undef>. On the other hand,
354this does not exclude the usefulness of this module for total newbies, due
355to its strictness in enforcing policy, while at the same time not limiting
356the expresive power of perl.
357
358This module is considerably I<more> strict than the canonical C<use
359strict; use warnings>, as it makes all its warnings fatal in nature, so
360you can not get away with as many things as with the canonical approach.
361
362This was not implemented in version 1.0 because of the daunting number
363of warning categories and the difficulty in getting exactly the set of
364warnings you wish (i.e. look at the SYNOPSIS in how complicated it is to
365get a specific set of warnings - it is not reasonable to put this into
366every module, the maintainance effort would be enourmous).
367
368=item But many modules C<use strict> or C<use warnings>, so the memory
369savings do not apply?
370
371I am suddenly so sad.
372
373But yes, that's true. Fortunately C<common::sense> still uses only a
374miniscule amount of RAM.
375
376=item But it adds another dependency to your modules!
377
378It's a fact, yeah. But it's trivial to install, most popular modules have
379many more dependencies and we consider dependencies a good thing - it
380leads to better APIs, more thought about interworking of modules and so
381on.
382
383=item Why do you use JSON and not YAML for your META.yml?
384
385This is not true - YAML supports a large subset of JSON, and this subset
386is what META.yml is written in, so it would be correct to say "the
387META.yml is written in a common subset of YAML and JSON".
388
389The META.yml follows the YAML, JSON and META.yml specifications, and is
390correctly parsed by CPAN, so if you have trouble with it, the problem is
391likely on your side.
392
393=item But! But!
394
395Yeah, we know.
396
397=back
119 398
120=head1 AUTHOR 399=head1 AUTHOR
121 400
122 Marc Lehmann <schmorp@schmorp.de> 401 Marc Lehmann <schmorp@schmorp.de>
123 http://home.schmorp.de/ 402 http://home.schmorp.de/
124 403
404 Robin Redeker, "<elmex at ta-sa.org>".
405
125=cut 406=cut
126 407

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines