seepel · HackerTrans

5 ปีที่แล้วdiscuss

My experience has been the opposite at least for things like font size, bold/italic. I’m curious to hear what problems you’ve encountered.

seepel

5 ปีที่แล้วdiscuss

I’m pretty psyched to see the progress being made on this project, keep up the good work!

seepel

5 ปีที่แล้วdiscuss

Thanks for sharing. I hadn’t read that before, that was a great read.

seepel

5 ปีที่แล้วdiscuss

> What thing that violates a type check would be "perfectly fine to do"?

Here is an example limitation of typescript's type system that I routinely run into while developing real code [1].

I look at it like this. If you consider all possible programs, some are invalid, some are valid, and some are valid and useful. A type system's job is to reject as many invalid programs as possible while accepting as many valid programs as possible and trying to optimize for useful valid programs. Due to the halting problem this is impossible to do perfectly, so any given type system will likely accept some invalid programs and reject some useful valid programs. If the type system happens to reject your useful valid program, you'll likely have a bad day :)

[1] https://www.typescriptlang.org/play?#code/PTAEHUFNQCwQwG7TgO...

seepel

6 ปีที่แล้วdiscuss

I’m not much of a clojure fan myself, but I think the observation is that by relaxing that last constraint of static typing (and given the other appropriate tools), that while you can’t solve The Expression Problem itself, it’s a bit easier to solve the real world problem that happened to manifest itself as the expression problem in your code.

By the way, I was also enticed by multi-methods in this area, but I ultimately don’t think multiple dispatch is necessary.

seepel

6 ปีที่แล้วdiscuss

I agree, I managed to make it through a PhD in physics and I never had a problem. Neither do I recall any of my class mates having a problem with hand written notation.

seepel

7 ปีที่แล้วdiscuss

It is actually already in the list of research subjects in the docs folder of carp: https://github.com/carp-lang/Carp/blob/master/docs/Research....

seepel

8 ปีที่แล้วdiscuss

We just turn off tslint formatting rules. There isn’t really a need for them if you are using prettier.

seepel

9 ปีที่แล้วdiscuss

Mobx is built with typescript. https://github.com/mobxjs/mobx

seepel

9 ปีที่แล้วdiscuss

I honestly used to browse the web without an adblocker and bounce from the site if it was too bad. About a year ago I ended up getting so fed up with not being able to visit pretty much any site that I installed one. I’m totally fine with being served ads, and recognize that it will even come with some not so friendly user tracking. Surely it must be possible to both serve me your content and ads at the same time. My only explanation is that it is pure laziness on all sides. The content maker gets paid if they display ads, the ad network gets paid if they fill ad slots, and the advertiser somehow sells more product (this I’m more skeptical of). So no one in that chain ever bothers to think of the end user.

seepel

9 ปีที่แล้วdiscuss

It often breaks with different query parameters for example on YouTube videos, but I just created a couple of bookmarklets.

hn:

  javascript:window.location.href='https://hn.algolia.com?query='+encodeURIComponent(window.location.href)%20+%20'&page=0&dateRange=all&type=story'

reddit:

  javascript:(function()%7Bwindow.location.href%20%3D%20%22https%3A%2F%2Freddit.com%2Fsearch%3Fq%3Durl%3A%22%20%2B%20encodeURIComponent(window.location.href)%7D)()

seepel

9 ปีที่แล้วdiscuss

I’ve noticed this problem in the npm ecosystem pertaining to typescript typings. Typescript is evolving really quickly, each new release allows you to be more expressive, and there are stricter and stricter settings to take advantage of. It’s fairly common for a third party library’s typings to be incompatible with new typescript settings. The problem is that maintainers are reluctant to add support in the name of backwards compatibility. The only solution I’ve found in some cases is to completely override the library’s typings myself locally.

comments