~/talk

Building an 8-Bit Adder Using Only Types

on YouTube 29m
TalkinFrenchat Best of Web 2019 · on Friday, 2019-06-07· [typescript, compilers-and-language-design]

speaker

name:Etienne Deladonchamps
links:none on file

resources

video:https://youtu.be/CbWUY7PZA_c
slides:none on file

summary

Shows how to implement an 8-bit adder using only the type system (in TypeScript) to illustrate concepts like generic types, tuples, extends and infer. The session walks through a live-coding recreation of the adder, explaining each step and how those type-level features are used.

AI-written summary · about

chapters (12)

  1. 0:00Introduction
  2. 1:08Binary addition by typing
  3. 5:25Binary logic and gates
  4. 9:23Sum and carry calculation
  5. 13:15Decimal to binary conversion
  6. 17:07Binary to decimal conversion
  7. 18:104-bit demo
  8. 19:588-bit limits
  9. 21:06TypeScript code demo
  10. 23:15Adding three numbers
  11. 24:38Conclusion
  12. 25:31Q&A

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.