Viewing profile — uryga

> AFAIK there's no magic to React.memo. It's basically a shorthand for useMemo that takes the props as the dependency. Pedantic note: this isn't quite true. memo() also allows a se…

how exactly is there "money to be made" here for the React team?

> Why did they not include other companies AFAIK: the initial stages of the project involved Vercel and Shopify [edit: and Gatsby]. these companies maintain frameworks and hosting …

> But their routing things locks you into NextJS as a framework. I'm confused by this -- how is a framework supposed to offer routing in a way that doesn't "lock you in"? are you "…

> I would like to write a component, not have to think about where it is running in most cases you can keep doing this, just put "use client" in the file, Next will SSR them just l…

> zero functionality has been removed from class components yes, exactly! > They use them because they are idiomatic React right, and do you think it'd be easy for a feature to bec…

have you seen https://vite-plugin-ssr.com/ ? i've only browsed their docs, but AFAICT the pitch is that it's a more DIY approach to a framework, where you keep a lot of control ove…

> Apps (as in, mobile apps) cannot be rendered on the sever yes and no. sure, you can't do standard SSR like for websites. but i've seen a number of spins[1] on "Server-driven UI",…

> TypeScript is a little unique in that its core type system is much more structural than nominal ( even more so than Haskell ) I'm a bit confused by the point about Haskell here -…

thats what the rack is for duh

good luck! it's quite fun :) another term that might be useful is "GADT" - it's kinda like a weaker form of DT, more easily expressible in, uh, normal languages. the C# one i linke…

i haven't used scala, but from the looks of it, yeah, "path-dependent types" are a narrow subset of full dependent types, intended for stuff like this exact use case :D there's thi…

while you probably can do this with dependent types, i'd imagine GP means something along the lines of typescript's structural typing, i.e. const post = { id: 123, content: "...", …

they allow as many operations as you need, just pass in a "method name" :) const p = Point(3, 5) p('getX') // 3 p('up', 11)('toString') // "Point(3, 16)" const Point = (x, y) => (m…

> 'useSyncExternalStore()' -- Gack! > Now...that "little" it's-not-a-framework-it's-a-library whose scope is supposed to be confined to just the "view" part of MVC (by which I mean…

are there any languages that do this? Rust's `?` is similar but the propagation is explicit

> But where they really shine, like in the mapping example, isn't possible in Go. oh yeah, definitely! Go's version of EaV with multiple returns is pretty lackluster compared to a …

> But I also don't know any languages where errors _aren't_ values (look, i know you understand how exceptions work, please bear with me) yes, Exception objects are technically val…

https://en.m.wikibooks.org/wiki/Haskell/do_notation rough analogy: `await` replaces `.then()`, do-notation replaces `.flatMap()`

distinguishing `Some(null)` and `None` is often considered a feature of Optional ;) to use a tired example: when getting a value out of a map via some `myMap.get(key)`, you may wan…

that's fair, i was in a spicy mood. there's "esoteric" as in fundamentally complicated, and """esoteric""" as in syntax that's unfamiliar but easily explained w/ a quick web search…

"programming shouldn't evolve, it should look like what i learned N years ago"? ;)

that's GP's (and the linked paper's) point :) "paradigmatically can't understand" = "can't figure out using current methods", so pretty much what you're saying

yeah, that's not really explained in the article, and it's not explained in the `ast` docs either [1]. for reference, the full list of assignment targets is: -- the following expre…

> [React] requires compilation technically, but not in the same way e.g. Svelte does. the syntax used by React, JSX, is simple local syntactic sugar: ... // ↓ createElement(Foo, { …