annotate admin/notes/iftc @ 104626:caa79498564a

* subr.el (default-mode-line-format, default-header-line-format) (default-line-spacing, default-abbrev-mode, default-ctl-arrow) (default-direction-reversed, default-truncate-lines) (default-left-margin, default-tab-width, default-case-fold-search) (default-left-margin-width, default-right-margin-width) (default-left-fringe-width, default-right-fringe-width) (default-fringes-outside-margins, default-scroll-bar-width) (default-vertical-scroll-bar, default-indicate-empty-lines) (default-indicate-buffer-boundaries, default-fringe-indicator-alist) (default-fringe-cursor-alist, default-scroll-up-aggressively) (default-scroll-down-aggressively, default-fill-column) (default-cursor-type, default-buffer-file-type) (default-cursor-in-non-selected-windows) (default-buffer-file-coding-system, default-major-mode) (default-enable-multibyte-characters): Mark as obsolete. * cus-start.el (default-major-mode): Customize `major-mode' instead. (enable-multibyte-characters): Not customizable any more.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 27 Aug 2009 04:24:00 +0000
parents 695cf19ef79e
children 375f2633d815 ef719132ddfa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
45625
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
1 Iso-Functional Type Contour
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
2
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
3
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
4 This is a term coined to describe "column int->float" change approach, and can
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
5 be used whenever low-level types need to change (hopefully not often!) but the
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
6 meanings of the values (whose type has changed) do not.
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
7
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
8 The premise is that changing a low-level type potentially means lots of code
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
9 needs to be changed as well, and the question is how to do this incrementally,
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
10 which is the preferred way to change things.
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
11
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
12 Say LOW and HIGH are C functions:
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
13
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
14 int LOW (void) { return 1; }
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
15 void HIGH (void) { int value = LOW (); }
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
16
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
17 We want to convert LOW to return float, so we cast HIGH usage:
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
18
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
19 float LOW (void) { return 1.0; }
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
20 void HIGH (void) { int value = (int) LOW (); } /* iftc */
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
21
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
22 The comment /* iftc */ is used to mark this type of casting to differentiate
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
23 it from other casting. We commit the changes and can now go about modifying
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
24 LOW and HIGH separately. When HIGH is ready to handle the type change, the
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
25 cast can be removed.
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 45625
diff changeset
26
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 45625
diff changeset
27 ;;; arch-tag: 3309cc41-5d59-421b-b7be-c94b04083bb5