uryga

56 ms·

211.
by uryga 6y ago
> the Third Age is about clearing away legacy assumptions and collapsing layers of tooling. i feel like the bit about "clearing away legacy assumptions" wasn't substantiated very well – basically just "CommonJS isn&
212.
by uryga 6y ago
depends on the substance, but usually stuff like paranoia and in general being stuck [seeing / thinking about] unpleasant things
213.
by uryga 6y ago
so you'd expect this behavior? sum("abc") = sum(ord(c) for c in "abc") = sum([97, 98, 99]) = 294 because wow, i... can't think of why you'd ever actually want that. (though it'd be perf
214.
by uryga 6y ago
i disagree with that idea too, but i think GP is describing Putnam's position, not necessarily their own. so it's Putnam we're disagreeing with :)
215.
by uryga 6y ago
it's a nice idea, i was just in a nitpicky mood :)
216.
by uryga 6y ago
pedantic stuff: typo here: seq (f, Maybe df) (g, dg) t s/Maybe/Just/ and `par` should be par :: Anim a -> Anim b -> Anim (a, b) par (f, df) (g, dg) = (\t -> (f t, g t), max <$> df <*> dg)
217.
by uryga 6y ago
> When Oscar uses the word “water” he is talking about water, whereas when Twin Oscar uses the word “water” he is talking about twin water. As a result, what you mean depends in part, but crucially, on the world around you. (edit: i&#x2
218.
by uryga 6y ago
afaik sync can call async if the language allows you to make an executor/event-loop. e.g. with python's asyncio it'd be something like def sync_foo(): task = async_bar() loop = asyncio.new_event_loop() return
219.
by uryga 6y ago
the sentence you quoted is prefixed by " set theory has no natural interpretation. ". that's the problem. if you're trying to talk about herds of sheep, you might decide to represent them with sets – that sounds like wha
220.
by uryga 6y ago
shame! cheers :) PS. if you're interested in weird perspectives on this, you might find Coinduction (and "codata") interesting. from wikipedia: > Informally, rather than defining a function by pattern-matching on each of
221.
by uryga 6y ago
btw this could (sorta) be considered a special case of the fact that a tuple/struct (product type) can be represented as a function: let pair = (a, b) => ( (ix) => ( ix === 0 ? a : ix === 1 ? b : undefin
222.
by uryga 6y ago
maybe "extremely late binding" would be more appropriate? it's true that usually "dynamic dispatch" means a vtable, but i think this is dynamic dispatch in spirit - in fact "dispatching" messages to implem
223.
by uryga 6y ago
thank you :) i hope i didn't hijack the thread! but i just love sharing stuff like this > the set of all public methods could be seen as 1, but not the only, interpretation of the functional interface. could you describe another int
224.
by uryga 6y ago
i know :) the point is that that's not the default (unlike many other languages), and i was wondering about a possible origin for that choice.
225.
by uryga 6y ago
i intended to put "(and vice versa)" in a footnote, but forgot about it! you can see a relic of that in the last paragraph. though i must say, i'm pretty happy in languages that have closures but don't have objects, as l
226.
by uryga 6y ago
this is particularly visible in the implementation of `plus` – `other` might not be a Point at all, so `other('x')` and `other('y')` might do anything; which i'd say is textbook (ad-hoc) polymorphism. i remember rea
227.
by uryga 6y ago
also, i just made a possibly interesting connection with JS methods (and their weirdness). in the above implementation, a message is first class, so you can send the same message to multiple objects: let moveUp = ['move', [0,
228.
by uryga 6y ago
if it's a function, what are the inputs/outputs? do you mean that in the way of "an object is a poor person's closure"? in case anyone's unfamiliar, here's one basic way to emulate objects with closures. i
229.
by uryga 6y ago
yeah but i don't think MS uses TS-on-the-server enough or has enough Azure TS users to justify putting in the effort
230.
by uryga 6y ago
the problem isn't that her design is a bit stylized; it's that her face looks kind of... not-face-like in closeups. (missing some shininess & subsurface scattering imo). it's different from e.g. Moana, where skin is kind
231.
by uryga 6y ago
also, the spinning shiny smoke in the portal looked like it's just a bunch of flat rotating textures
232.
by uryga 6y ago
i'm wondering if they'll end up adding a 'dependencies.json' to eliminate the boilerplate from 'deps.ts' and to simplify tooling. that'd be revolutionary! ;) jokes aside, i wonder how import-via-url will i
233.
by uryga 6y ago
> I don't understand why Microsoft doesn't have their own native TypeScript runtime engine by now what would they do with it? ship it in Edge? great, now some small fraction of users can run TS natively. but most can't, so
234.
by uryga 6y ago
afaik modifying node doesn't make sense here – it'd be so incompatible that it'd effectively be "a new thing" anyway
235.
by uryga 6y ago
does it have to be non-deterministic? couldn't they add an option to hint which should be prioritized? maybe hint_prioritize_cpu_begin() ... hint_prioritize_cpu_end() or something?
236.
by uryga 6y ago
i'm curious about that __eq__. it generates code like (self.x, self.y) == (other.x, other.y) but i think this would be more efficient: self.x == other.x and self.y == other.y because you avoid creating a tuple (possibly h
237.
by uryga 6y ago
oh, i didn't mean "besides the point" legally or morally! lying is lying (though @jacoblambda makes a great point in a sibling comment), it's just useful to distinguish this specific kind for some purposes
238.
by uryga 6y ago
> "potentially false speech where the truth simply wasn't important" i couldn't make sense of this, which motivated me to actually look at the essay, thanks :) i recommend the bit with Wittgenstein – it's what ma
239.
by uryga 6y ago
> "Cyberiad" and "Mortal Engines" are also great books but much more playful and probably geared towards a younger audience yeah, i'm from poland and "Fables for Robots" (= most of the stories found in
240.
by uryga 6y ago
seems like it's actually a common thing in Scheme (linked in a sibling comment)

More ›