A place to cache linked articles (think custom and personal wayback machine)
Du kan inte välja fler än 25 ämnen Ämnen måste starta med en bokstav eller siffra, kan innehålla bindestreck ('-') och vara max 35 tecken långa.

index.html 11KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189
  1. <!doctype html><!-- This is a valid HTML5 document. -->
  2. <!-- Screen readers, SEO, extensions and so on. -->
  3. <html lang="fr">
  4. <!-- Has to be within the first 1024 bytes, hence before the `title` element
  5. See: https://www.w3.org/TR/2012/CR-html5-20121217/document-metadata.html#charset -->
  6. <meta charset="utf-8">
  7. <!-- Why no `X-UA-Compatible` meta: https://stackoverflow.com/a/6771584 -->
  8. <!-- The viewport meta is quite crowded and we are responsible for that.
  9. See: https://codepen.io/tigt/post/meta-viewport-for-2015 -->
  10. <meta name="viewport" content="width=device-width,initial-scale=1">
  11. <!-- Required to make a valid HTML5 document. -->
  12. <title>Batching (archive) — David Larlet</title>
  13. <meta name="description" content="Publication mise en cache pour en conserver une trace.">
  14. <!-- That good ol' feed, subscribe :). -->
  15. <link rel="alternate" type="application/atom+xml" title="Feed" href="/david/log/">
  16. <!-- Generated from https://realfavicongenerator.net/ such a mess. -->
  17. <link rel="apple-touch-icon" sizes="180x180" href="/static/david/icons2/apple-touch-icon.png">
  18. <link rel="icon" type="image/png" sizes="32x32" href="/static/david/icons2/favicon-32x32.png">
  19. <link rel="icon" type="image/png" sizes="16x16" href="/static/david/icons2/favicon-16x16.png">
  20. <link rel="manifest" href="/static/david/icons2/site.webmanifest">
  21. <link rel="mask-icon" href="/static/david/icons2/safari-pinned-tab.svg" color="#07486c">
  22. <link rel="shortcut icon" href="/static/david/icons2/favicon.ico">
  23. <meta name="msapplication-TileColor" content="#f7f7f7">
  24. <meta name="msapplication-config" content="/static/david/icons2/browserconfig.xml">
  25. <meta name="theme-color" content="#f7f7f7" media="(prefers-color-scheme: light)">
  26. <meta name="theme-color" content="#272727" media="(prefers-color-scheme: dark)">
  27. <!-- Documented, feel free to shoot an email. -->
  28. <link rel="stylesheet" href="/static/david/css/style_2021-01-20.css">
  29. <!-- See https://www.zachleat.com/web/comprehensive-webfonts/ for the trade-off. -->
  30. <link rel="preload" href="/static/david/css/fonts/triplicate_t4_poly_regular.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)" crossorigin>
  31. <link rel="preload" href="/static/david/css/fonts/triplicate_t4_poly_bold.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)" crossorigin>
  32. <link rel="preload" href="/static/david/css/fonts/triplicate_t4_poly_italic.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)" crossorigin>
  33. <link rel="preload" href="/static/david/css/fonts/triplicate_t3_regular.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: dark)" crossorigin>
  34. <link rel="preload" href="/static/david/css/fonts/triplicate_t3_bold.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: dark)" crossorigin>
  35. <link rel="preload" href="/static/david/css/fonts/triplicate_t3_italic.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: dark)" crossorigin>
  36. <script>
  37. function toggleTheme(themeName) {
  38. document.documentElement.classList.toggle(
  39. 'forced-dark',
  40. themeName === 'dark'
  41. )
  42. document.documentElement.classList.toggle(
  43. 'forced-light',
  44. themeName === 'light'
  45. )
  46. }
  47. const selectedTheme = localStorage.getItem('theme')
  48. if (selectedTheme !== 'undefined') {
  49. toggleTheme(selectedTheme)
  50. }
  51. </script>
  52. <meta name="robots" content="noindex, nofollow">
  53. <meta content="origin-when-cross-origin" name="referrer">
  54. <!-- Canonical URL for SEO purposes -->
  55. <link rel="canonical" href="https://github.com/elm/expectations/blob/master/batching.md#batching">
  56. <body class="remarkdown h1-underline h2-underline h3-underline em-underscore hr-center ul-star pre-tick" data-instant-intensity="viewport-all">
  57. <article>
  58. <header>
  59. <h1>Batching</h1>
  60. </header>
  61. <nav>
  62. <p class="center">
  63. <a href="/david/" title="Aller à l’accueil"><svg class="icon icon-home">
  64. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-home"></use>
  65. </svg> Accueil</a> •
  66. <a href="https://github.com/elm/expectations/blob/master/batching.md#batching" title="Lien vers le contenu original">Source originale</a>
  67. </p>
  68. </nav>
  69. <hr>
  70. <p>Work on issues and pull requests happens in periodic batches, not one-by-one as they come in.</p>
  71. <p>This means that a &ldquo;simple&rdquo; issue on <code>elm/core</code> may be blocked by ongoing work on the package website or compiler, but we think this has some important and worthwhile benefits.</p>
  72. <h3>Coherent Design</h3>
  73. <p>Issues that look &ldquo;simple&rdquo; are often much more interconnected than they seem.</p>
  74. <p>Imagine there are 20 suggestions on how to make something better. Taken <em>individually</em>, each one is probably pretty easy to deal with. Taken <em>together</em>, you are talking about quite serious design changes. Does that design have a coherent vision? Is it directed at the needs of your intended users? Do all the parts fit together? Can you find a simpler design that addresses all 20 suggestions in a nicer way?</p>
  75. <p>The major benefit of batching is that the review process is <em>structured</em> for coherent design. By allowing time for folks to share their experiences and suggestions, it becomes possible to consider them all together and better balance their needs. Shifting towards real-time responses on everything would necessarily degrade the overall design quality.</p>
  76. <h3>Focus</h3>
  77. <p>Doing this kind of design work requires focus. Compiler work requires getting deeply immersed in the problems people face and the details of the code. What is needed? What is possible? Same for the package manager, the REPL, the documentation, the core packages, etc. The problem is:</p>
  78. <ol>
  79. <li>It is not possible to be deeply immersed in all of these projects at the same time.</li>
  80. <li>An unfocused process does not tend to produce coherent design.</li>
  81. </ol>
  82. <p>Batching really helps with this. Focusing on high quality work has produced some of the best ideas in Elm. For example, while adding the <code>--output=json</code> flag, we realized that type error messages could really great. No one thought that was possible with ML-family languages before! Even the designer of Elm! Same thing happened with the parser. While improving parser performance, we realized that the parse error messages could be very dramatically improved. The very best parts of Elm have all come from focused exploration, not from rigid scheduling or unstructured online discussion.</p>
  83. <h2>An Example</h2>
  84. <p>I think <a href="https://github.com/elm-lang/elm-package/pull/177">this issue</a> shows what batching and holistic design mean in practice.</p>
  85. <p>It took about a week to revamp all the error messages for <code>elm-package</code>, ultimately leading to the fix in this case. Should <a href="http://elm-lang.org/blog/farewell-to-frp">Elm 0.17</a> have blocked for an extra week for this? Is it smart to have so many changes in a single release? Do these changes fit into the overall narative of the release?</p>
  86. <p>In the year 2017 or 2030, users will only know if things are nice or if they suck. January or July of 2016 makes no difference to them. So waiting a few months feels like a long time to us, but it is not about us!</p>
  87. <p>When a project is going to live for decades, it is better to do things <em>right</em> than to do things <em>right now</em>.</p>
  88. </article>
  89. <hr>
  90. <footer>
  91. <p>
  92. <a href="/david/" title="Aller à l’accueil"><svg class="icon icon-home">
  93. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-home"></use>
  94. </svg> Accueil</a> •
  95. <a href="/david/log/" title="Accès au flux RSS"><svg class="icon icon-rss2">
  96. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-rss2"></use>
  97. </svg> Suivre</a> •
  98. <a href="http://larlet.com" title="Go to my English profile" data-instant><svg class="icon icon-user-tie">
  99. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-user-tie"></use>
  100. </svg> Pro</a> •
  101. <a href="mailto:david%40larlet.fr" title="Envoyer un courriel"><svg class="icon icon-mail">
  102. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-mail"></use>
  103. </svg> Email</a> •
  104. <abbr class="nowrap" title="Hébergeur : Alwaysdata, 62 rue Tiquetonne 75002 Paris, +33184162340"><svg class="icon icon-hammer2">
  105. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-hammer2"></use>
  106. </svg> Légal</abbr>
  107. </p>
  108. <template id="theme-selector">
  109. <form>
  110. <fieldset>
  111. <legend><svg class="icon icon-brightness-contrast">
  112. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-brightness-contrast"></use>
  113. </svg> Thème</legend>
  114. <label>
  115. <input type="radio" value="auto" name="chosen-color-scheme" checked> Auto
  116. </label>
  117. <label>
  118. <input type="radio" value="dark" name="chosen-color-scheme"> Foncé
  119. </label>
  120. <label>
  121. <input type="radio" value="light" name="chosen-color-scheme"> Clair
  122. </label>
  123. </fieldset>
  124. </form>
  125. </template>
  126. </footer>
  127. <script src="/static/david/js/instantpage-5.1.0.min.js" type="module"></script>
  128. <script>
  129. function loadThemeForm(templateName) {
  130. const themeSelectorTemplate = document.querySelector(templateName)
  131. const form = themeSelectorTemplate.content.firstElementChild
  132. themeSelectorTemplate.replaceWith(form)
  133. form.addEventListener('change', (e) => {
  134. const chosenColorScheme = e.target.value
  135. localStorage.setItem('theme', chosenColorScheme)
  136. toggleTheme(chosenColorScheme)
  137. })
  138. const selectedTheme = localStorage.getItem('theme')
  139. if (selectedTheme && selectedTheme !== 'undefined') {
  140. form.querySelector(`[value="${selectedTheme}"]`).checked = true
  141. }
  142. }
  143. const prefersColorSchemeDark = '(prefers-color-scheme: dark)'
  144. window.addEventListener('load', () => {
  145. let hasDarkRules = false
  146. for (const styleSheet of Array.from(document.styleSheets)) {
  147. let mediaRules = []
  148. for (const cssRule of styleSheet.cssRules) {
  149. if (cssRule.type !== CSSRule.MEDIA_RULE) {
  150. continue
  151. }
  152. // WARNING: Safari does not have/supports `conditionText`.
  153. if (cssRule.conditionText) {
  154. if (cssRule.conditionText !== prefersColorSchemeDark) {
  155. continue
  156. }
  157. } else {
  158. if (cssRule.cssText.startsWith(prefersColorSchemeDark)) {
  159. continue
  160. }
  161. }
  162. mediaRules = mediaRules.concat(Array.from(cssRule.cssRules))
  163. }
  164. // WARNING: do not try to insert a Rule to a styleSheet you are
  165. // currently iterating on, otherwise the browser will be stuck
  166. // in a infinite loop…
  167. for (const mediaRule of mediaRules) {
  168. styleSheet.insertRule(mediaRule.cssText)
  169. hasDarkRules = true
  170. }
  171. }
  172. if (hasDarkRules) {
  173. loadThemeForm('#theme-selector')
  174. }
  175. })
  176. </script>
  177. </body>
  178. </html>