They do list lemmy in the advanced "bubbling under" category. I guess they deem lemmy to be a work in progress, but not tildes?
My question when I see responses like this is: what genuinely useful new safety features have been added since Ada? It's ancient and has distinct types, borrow checking (via limited types), range types, and even fixed point types. I've always wondered what niche Rust is targeting that Ada hasn't occupied already. It feels like devs decided that safety was important, c/c++ are too unsafe, need a new language; without ever having looked to see if such a language exists?
Yeah, that's pretty much what I was thinking too. The combination of a c API and a JVM API (and maybe .NET if you're in Microsoft land?) Hits most FFI available in languages I've seen. I can't think of any language I've used that couldn't Interop with either a c library (.a or .so) or JVM library (.jar). However I've never used any .NET system seriously, so I don't know about them.
FWIW I regularly remake the same API based game whenever I start a new job working in a new environment to test that my environment is "up to snuff" with my development methodologies. I've never needed to port more than API.a and API.jar to play around in any language. I've ported that system to at least 100 languages over the years, and while some have more friction than others, and often the c/JVM paradigm doesn't line up well with the target language, it is always effective.
What are factions, and where do you search them? I don't see anything in the UI?
EDIT: found them under a link under info. Thanks for setting the faction up!
Great read. Only constructive criticism I have is a pet peeve of mine that is especially prevalent in type theory articles. In particular it may be worth mentioning the more formal names of some of the types discussed. Trying to map Haskell's types to other languages can be very tricky and can hinder understanding. Mentioning more googleable names like unit, top, bottom, can be helpful in disambiguation which characteristics are intrinsic to the Haskell type, versus which are properties of the type system in general.
Yeah, that and listening to audiobooks read by Quebec speakers has been very helpful. It helps that I'm a sci-fi fan and Jules Verne is incredible. A lot of french audiobooks are free on librivox, though it can be hard to tell who is Quebecois or not.
I wish I knew. I work for the government and they even offer to pay for a Duolingo premium to learn French an a trial program, but acknowledge that it's very much not Quebec french.
I did have some success targeting people from Quebec on Hello Talk, but that's not really an equivalent app.
Wait until you learn about the shell specific /dev "files" like /dev/udp and /dev/tcp (which can send/recv IP traffic as if from a file)!
Why wouldn't a Jew get in the car?