Posted on May 15, 2023 Tags: patterns-of-erroneous-code , Haskell , error-messages Table of Contents Historical notes Criticism outlined MonadPlus error laws Alternative dog music. A use of <|> is considered harmful Overloaded errors Topics to discuss Great programming is mathematics. … Except, all falsehoods are the same and error messages are not. Otherwise, great programming is mathematics. A…
Posted on November 7, 2022 Revision History: (2022.11.12-20) Feedback from readers including footnote [16] and footnote [37] . Clarified parts as "IMO". (2022.12.31) Added link to xena project and new footnote footnote [5] (this breaks previous external links to footnotes above 4). (2024.06.08) Added section formal deduction, mathematics, and immutability of knowledge . Tags:…
Posted on August 30, 2022 Last Modified on Nov 07, 2022 Revision History: (2022.11.07) Draft warning removed, minor changes only Tags: patterns-of-erroneous-code , communication Table of Contents That dreaded YAML Cognitive psychology Easy vs Simple Extraneous loads that grow Bugs and metacognition Extraneous nature of abstraction Germane and intrinsic load of FP Post Summary There is much more to…
Posted on March 13, 2022 by Robert Peszek Revision History: (2021.03.15) Edited Enums section (2022.04.30 - 2022.05.29) Added Types vs TDD side-note in About Maintainability + Minor edits (2022.05.29) Draft warning removed Tags: TypeScript-Notes Table of Contents Nutshell About Clarity Declare function return types Variables named x Enums Clarity vs encapsulation Referential transparency, purity,…
Posted on February 13, 2022 by Robert Peszek Revision History: (2022.02.14) Fixed list example footnote [2] (2022.02.15) Clarifying comments in type level programming code examples (2022.05.29) Draft warning removed Tags: TypeScript-Notes Table of Contents Nutshell Recursive types Type level programming Subtyping Thunks and callbacks, never and unknown . Next and the final Chapter Please Leave…
Posted on January 9, 2022 by Robert Peszek Revision History: (2022.05.10 - 2022.05.29) Minor edits (2022.05.29) Draft warning removed Tags: TypeScript-Notes Table of Contents Nutshell Safety preventing unknown Type variable scoping Higher Rank types Existential types Replacing factory pattern Preventing information escape Safety preventing subtyping Phantom types Next Chapter Please Leave Feedback…
Posted on January 5, 2022 Tags: announcement git discussions This blog has used a vanilla Hakyll styling with slightly modified standard pandoc CSS for code blocks. Some of the readers have experienced very weird font size irregularities, making it hard to read my blog. I did a full CSS reset using meyerweb reset.css and have restyled all posts. Sans-Serif fonts are now a hard-coded default…
Posted on January 3, 2022 by Robert Peszek Revision History: (2022.01.03 - Present) Changes are documented in Summary of final edits . (2022.05.29) Draft warning removed (2022.08.30) added patterns-of-erroneous-code tag Tags: TypeScript-Notes , patterns-of-erroneous-code Table of Contents Nutshell Interesting safety apple !== orange type safety switch exhaustive check null / undefined safety…
Posted on December 24, 2021 by Robert Peszek Revision History: (2022.04.29 - 2022.05.29) Minor edits (2022.05.29) Draft warning removed (2022.08.30) added patterns-of-erroneous-code tag Tags: TypeScript-Notes , patterns-of-erroneous-code Table of Contents Nutshell Can I trust the types? Note about the any type Casting casting in a bad light Improving office.js with type predicates Note about the…
Posted on December 12, 2021 by Robert Peszek Revision History: (2021.12.24) modified historical note about office.js. Linked Part 2. Planned future content adjustment. (2021.12.26) footnote [1] (2022.01.03 - 2022.05.29) Changes are documented in Summary of final edits . (2022.05.29) Draft warning removed (2022.08.30) added patterns-of-erroneous-code tag Tags: TypeScript-Notes ,…