Advent of Code ... in Types Only!

preview_player
Показать описание

*My Links*

#programming #coding #typescript #javascript #adventofcode
#frontenddeveloper #backenddeveloper #softwareengineer #softwareengineering #softwaredevelopment
  1. Andrew Burgess
Рекомендации по теме
🧐 Advent of 0:00:37

🧐 Advent of Code (Expectation vs Reality)

Why YOU Should 0:04:34

Why YOU Should Do Advent of Code

Advent of Code 0:04:55

Advent of Code 2024 Day 1 - Top 20 Finish!

advent of code 0:00:36

advent of code day 10 #coding #javascript #algorithm #adventofcode #simulation

what is advent 0:05:13

what is advent of code? (beginner) anthony explains #167

Keynote: Advent of 0:46:01

Keynote: Advent of Code, Behind the Scenes - Eric Wastl

Advent of Code 0:29:45

Advent of Code 2024 in Bash: Day 1 - Historian Hysteria

How to get 0:07:33

How to get the most out ADVENT OF CODE

Advent of Code 1:57:22

Advent of Code MUG Meeting March 11, 2025

ADVENT OF CODE 0:05:15

ADVENT OF CODE 2024 | Day 1 Jackie's Python Solution

Advent of Code 0:04:58

Advent of Code 2024 Day 1

Try Out The 0:00:25

Try Out The Advent Of Code!

Eric Wastl – 1:00:48

Eric Wastl – Advent of Code: Behind the Scenes

Destroying everyone else 0:19:08

Destroying everyone else in Advent of Code 2021 Day 22

Day 1 | 0:05:50

Day 1 | Advent of Code 2024

I Tried to 1:30:17

I Tried to Learn Rust (w/ Advent of Code)

Advent of Code 0:15:56

Advent of Code but in Emacs Lisp

Hardest Advent of 0:11:06

Hardest Advent of Code 2020 Problem (day 20 Jigsaw, backtracking)

Get Better at 0:00:50

Get Better at Coding with Advent of Code #webdevelopment #javascript

Advent of Code 0:10:11

Advent of Code 2023: Dein ultimativer Guide zum Mitmachen!

Advent of Code 0:05:50

Advent of Code 2024 Day 2

Match and Scan 0:16:05

Match and Scan - Day 01 - Advent of Code 2023

Advent of Code 0:07:14

Advent of Code 2021 in APL #1!

Advent of Code 1:34:00

Advent of Code 2024 in Kotlin with the Core Ecosystem Lead! Day 1.

Комментарии
Автор

Instead of introducing Length type, I believe you could just access length property on the array, like this: [...OfLength<A>, ...OfLength<B>]['length'].

Cool video BTW!

zorzysty
Автор

This is the such refreshing dev content. Really like your approach and style

frankiannelli
Автор

This is the most absurd TS video of all time and I love it.

matthewvaccaro
Автор

Love these examples of "just because you can, doesn't mean you should" 10/10

JChen
Автор

You Are The best man! Welcome back. Looking forward to more content🤛

Fullflexno
Автор

Glad you're back! Hope you're doing all good 🙂

offroaders
Автор

This is awesome. I wonder if the type system could ever become as powerful as that in Idris? 🤔😜

tommysullivan
Автор

can we do it half-way like having a type of certain number[] and then
somehow instantiate it and reduce to a sum?

(I want to get an answer to advent 1 finally)

AlexanderYaremchuk
Автор

Could you consider this functional programming?

ilangated
Автор

Now I wanna try doing day 1 part 2 with types. Or day 2. probably not 3 though, since it's a 2D problem, would be hard with just types.

helleye
Автор

Been waiting for a new vid to drop. So glad I was doomscrolling

marcush
Автор

Complex, will ask chatgpt to explain this later

StuartLoria
Автор

just wow. types only form beginnign to end

HagbardCelineOnRust
Автор

Awesome video! Although it's really interesting and fun as an exploration of a proof of concept, it was very had to watch this and not puke. TypeScript is so toxic, bloated and unintuitive that it feels absolutely disgusting. This is like turing complete concentrated pointlessness. It's a very curious concept, like, how far can we stretch this monstrosity? I'm still trying to get my head around this, it feels like a coding horror movie. Thanks.

sentinelaenow