Readit News logoReadit News
tome commented on Announcing the Beta release of ty   astral.sh/blog/ty... · Posted by u/gavide
dragonwriter · 2 days ago
> Not quite, static typing is used at runtime, python type annotations are not

No, static typing is usually used AOT (most frequently at compile time), not usually at runtime (types may or may not exist at runtime; they don't in Haskell, for instance.)

Python type checking is also AOT, but (unlike where it is inextricably tied to compilation because types are not only checked but used for code generation) it is optional to actually do that step.

Python type annotations exist and are sometimes used at runtime, but not usually at that point for type checking in the usual sense.

tome · a day ago
> > Not quite, static typing is used at runtime, python type annotations are not

> No, static typing is usually used AOT (most frequently at compile time), not usually at runtime (types may or may not exist at runtime; they don't in Haskell, for instance.)

In fact, Haskell then allows you to add back in runtime types using Typeable!

https://hackage.haskell.org/package/base-4.21.0.0/docs/Data-...

tome commented on Europeans' health data sold to US firm run by ex-Israeli spies   ftm.eu/articles/europe-he... · Posted by u/Fnoord
Fnoord · 4 days ago
So astonishing there's a Wikipedia article about the phenomenon [1].

[1] https://en.wikipedia.org/wiki/Weaponization_of_antisemitism

tome · 4 days ago
I see. So who are these "agents of a certain agency" you're referring to? Can you be specific?
tome commented on Europeans' health data sold to US firm run by ex-Israeli spies   ftm.eu/articles/europe-he... · Posted by u/Fnoord
Fnoord · 4 days ago
Typical ad hominem diversion. I listened to the related podcast episode of FTM yesterday evening on Spotify, and today decided to search more information and read the coinciding articles. I have no control about what gets upvoted here, since I don't work for an agency or troll farm. Look at my submission history. Another article I submitted related to Israel (Correllium getting acquired by Cellebrite) got no uptake whatsoever. It was never discussed here, at all.

I oppose civilians being targeted by terrorism, and that also obviously includes Israelians. For example, I was very much shocked by Oct 7.

I also do have a problem with Israel's alleged genocide by the current government.

I don't believe any of the above makes me antisemite. It is very typical of agents of a certain agency to frame like that though.

tome · 4 days ago
> I don't believe any of the above makes me antisemite. It is very typical of agents of a certain agency to frame like that though.

An astonishing pair of sentences.

Dead Comment

tome commented on Using Git add -p for fun (and profit)   techne98.com/blog/using-g... · Posted by u/fixedprog
tome · 4 days ago
If you liked this, you're going to love

    git commit --verbose --patch

tome commented on I tried Gleam for Advent of Code   blog.tymscar.com/posts/gl... · Posted by u/tymscar
tasuki · 5 days ago
Heh, similar thoughts! The main difference that I only used Scheme for SICP, and I've used a bit of Haskell.

I like Haskell in theory, but: just to get a hello world takes a lot of CPU and disk space. The standard library is full of exceptions (you can use a different prelude, that opens a whole different can of worms). The ergonomics of converting between the thousand different string types are awful.

So, you being basically me, I have some recommendations:

Idris (2): good stdlib, has dependent types. A beautiful language. The compiler is self-hosted and bootstrapped by lisp - very elegant! The ecosystem is basically nonexistent though.

PureScript: also improves on Haskell in many ways. But, it's more of a frontend language, and though you can do backend, you're stuck with JavaScript runtime. Oh well.

tome · 5 days ago
> The standard library is full of exceptions

By the way, the number of partial functions is base that throw compiler warnings is increasing, for example:

https://hackage.haskell.org/package/base-4.21.0.0/docs/Prelu...

I hope it will increase further.

tome commented on Rust in the kernel is no longer experimental   lwn.net/Articles/1049831/... · Posted by u/rascul
sh34r · 6 days ago
I like Haskell, but I never want to work with Haskellers, ever again. I’ll do personal / solo Haskell projects. But never professionally on a team. Haskellers are not team players.

Rustaceans should really take Haskell as a cautionary tale. It doesn’t matter how good your tech is, if your community is actively hostile to newcomers, if you try to haze every newcomer by making them recite your favorite monad definition before giving them the time of day.

Rustaceans are already working their way onto my shitlist for proliferating X years’ Rust experience all over the place. And no, that’s not HR’s fault. HR has no idea what Rust is. It’s rustaceans corrupting the hiring process to reward their fellow cultists.

It’s idiotic to be so insular and so tribalistic, if you want to increase adoption of your favorite language. Programming languages are like natural languages. The more people that use them, the more valuable it is to speak it. Imagine if someone tried to get you to learn mandarin by shitting on your native language. You catch a lot more flies with honey than vinegar.

I’d rather be stuck in JS hell forever, than have to deal with such toxic, dramatic, dogmatic people. And I really dislike writing JavaScript… but the community and ecosystem around the language are way more important than the syntax and semantics. You want the engineers and builders to vastly outnumber the radioactive PL theorists.

tome · 5 days ago
That's a rather drastic generalization! As a counterpoint I've worked on professional teams with, what, 20 or 30 different Haskellers over the years and the number of "toxic, dramatic, dogmatic people" in that set is zero (or one if I really stretch the definition, and then only dogmatic, not toxic or dramatic). None were poor at their jobs, and the proportion of truly excellent software engineers with deep capability in the hard and soft skills needed to get code shipped was far greater than 50%.

That said, if toxic behavior occurs it can be more visible in smaller communities, just by how the numbers work out, so I don't doubt you've had a hard time interacting with some Haskellers, and I sympathize with you. Please point me to any toxic behavior you see in the public Haskell community and I'll do my best to address it with whatever authority I have.

tome commented on If you're going to vibe code, why not do it in C?   stephenramsay.net/posts/v... · Posted by u/sramsay
atilaneves · 8 days ago
Yes, that's my point. I'm replying to claims that "if it compiles it probably works". My limited experience with both is "nah".
tome · 5 days ago
I prefer the slogan without "probably", "If it compiles it works", because then at least it's clear it's a slogan and not a formal claim. Everyone knows that if you write

    multiply x y = x + y
then it will compile but not work, so they don't take it literally. But it is a pithy statement of the lived experience of many users of strongly typed programming, which is more accurately described by something like "if it compiles then it will probably do something at least basically sensible and often be pretty close to what you actually wanted".

tome commented on If you're going to vibe code, why not do it in C?   stephenramsay.net/posts/v... · Posted by u/sramsay
atilaneves · 9 days ago
I hear this about both Haskell and Rust, and yet, when I tried both in the former I wrote a useless program because I didn't handle state (and yet passed all tests!) while in the latter I immediately wrote a deadlock.

So...yeah.

tome · 8 days ago
How did your tests pass if you didn't handle state?
tome commented on Autism's confusing cousins   psychiatrymargins.com/p/a... · Posted by u/Anon84
zwnow · 12 days ago
People nowadays are just desperate to have a diagnosis. Everybody wants to be special and unique, everybody wants a stamp on their forehead that says "I have [x]" "I am [x]". People cant accept that the issues they have might just be not special at all and are mere human issues all of us have. Its the result of aggressive sensationalism and the desire to stand out from the crowd.
tome · 12 days ago
> People nowadays are just desperate to have a diagnosis. Everybody wants to be special and unique

I've never managed to understand this when it comes to autism. Autism used to be considered something as extreme as a severe disability (e.g. Rain Man), and latterly with the inclusion of Asperger's into the spectrum, at the very least a collection of undesirable behavioural characteristics. Do people really want to be diagnosed with something wrong with them, or has the perception of autism shifted to at least neutral (if not positive)?

u/tome

KarmaCake day9134November 30, 2008
About
Working at Groq developing the world's fastest hardware for LLMs!

Try our demo: https://groq.com/

Careers at Groq: https://groq.com/careers/

Contact me: http://web.jaguarpaw.co.uk/~tom/contact/

View Original