Higher Order Types JSON Parser. Yes. You read that correctly. скачать в хорошем качестве

Higher Order Types JSON Parser. Yes. You read that correctly.

Higher order types (also called higher kinded types) are a technique for composing types together in little functional building blocks. It's a wildly useful capability to have, but as of today (mid 2023) it's something you have to use a lot of tricks to accomplish. This is a pretty intense pretty thick video. We touch on the minimal basics you need to know to make this all work with hkt-toolbelt (but it's not a deep dive into that library, per se). ✨Functional and composable type utilities: https://github.com/poteat/hkt-toolbelt Hope you enjoy! If you're interested in the previous video that covered this topic (but, more normally and without higher order types) you can find it here:    • JSON Parser with Mike Poteat - TypeScript ...   00:00:00 Introduction 00:01:42 what are higher order types 00:05:19 looking at the JSON.parse challenge 00:07:31 parsing booleans 00:08:51 what `Literal` is 00:12:14 what happens for unexpected inputs 00:15:40 how `Map` works 00:16:36 everything is partially applied (auto curried) 00:16:56 [Dimitri] "but this is like.. 'my colleagues will hate me'-kinda cool" [Mike] "yeah definitely" 00:17:38 how to call types like they're functions 00:22:23 parsing `null` 00:26:27 handling escape characters 00:30:01 parsing strings 00:37:34 FromList 00:39:44 handling arrays 00:45:37 how "BetweenSquareBrackets" works 00:46:28 "calling this TypeScript is almost a stretch" 00:47:19 handling key-value pairs 00:47:57 a pipe, but only in types (!!!) 00:53:27 handling objects 01:04:18 writing "BetweenCurlyBraces" 01:11:55 handling recursion 01:14:27 ramda's deep dark dirty secret 01:19:12 wrapping up Discord:   / discord   Twitter:   / mitypescript   Mastodon: https://fosstodon.org/@MichiganTypeSc... Instagram:   / michigantypescript   TikTok:   / michigantypescript