slavapestov

6 ms·

1.
by slavapestov 3mo ago
FWIW both Swift and Rust have had value types and generics that abstract over unboxed values since the start.
2.
by slavapestov 8mo ago
> Swift uses subtyping, while Rust uses typeclasses. Even looking only at their type systems, the two are completely different. What does it mean to “use” subtyping vs typeclasses? Swift protocols are essentially typeclasses with associa
3.
by slavapestov 8mo ago
Similarly, the ‘indirect’ keyword can be omitted from Swift example in the blog post, for the same reason. A Swift Array stores its elements out of line, so an enum case payload can be an array type whose element contains the same enum, wit
4.
by slavapestov 9mo ago
> Does anyone know of larger apps built using Factor? The Factor build farm, the website, and the concatenative wiki are all built in Factor, if that counts.
5.
by slavapestov 11mo ago
> In 2025 you can run apps targeting W95 just fine (and many 16-bit apps with some effort) FWIW, Windows running on a 64-bit host no longer runs 16-bit binaries.
6.
by slavapestov 1y ago
I wasn’t trying to start a fight over languages, that would be silly. I also wrote a language once and then moved on from it (to your former language ;-)), so I know the feeling! I wish you luck with your new language, and I wish for many m
7.
by slavapestov 1y ago
> Bidirectional constraint solving. It's bad for compile time but even worse for predictable diagnostics. That’s really only true if you have overloading though! Without overloading there are no disjunction choices to attempt, and i
8.
by slavapestov 1y ago
So what did you decide to give up on? Overloading functions with the same name, or bidirectional constraint solving? :) These days though the type checker is not where compile time is mostly spent in Swift; usually it’s the various SIL and
9.
by slavapestov 1y ago
> let a: Double = -(1 + 2) + -(3 + 4) + -(5) > Still fails on a very recent version of Swift, Swift 6.1.2, if my test works. FWIW, the situation with this expression (and others like it) has improved recently: - 6.1 fails to type chec
10.
by slavapestov 1y ago
> Any object that is passed into a library function can escape the current thread, In Swift 6 this is only true if the value’s type is Sendable.
11.
by slavapestov 1y ago
I feel like if the first link in your post is a tweet from a tech CEO the rest is unlikely to be insightful.
12.
by slavapestov 1y ago
> This has tradeoffs: increased ABI stability at the cost of longer compile times. Nah. Slow type checking in Swift is primarily caused by the fact that functions and operators can be overloaded on type. Separately-compiled generics don&
13.
by slavapestov 1y ago
> the only-very-recently-stable ABI, You mean 6 years ago? https://www.swift.org/blog/swift-5-released/
14.
by slavapestov 2y ago
Find an area to specialize in that has more depth to it than just gluing APIs together.
15.
by slavapestov 2y ago
You might find Kitten interesting: https://kittenlang.org/
16.
by slavapestov 2y ago
This “Jordan Cutler” guy has a nice grift going, makes money writing a newsletter about career advice when according to his resume, he only has five years of programming experience at best: https://jordancutler.net/assets&#x
17.
by slavapestov 2y ago
The whole point of being an “experienced developer” is that you know more than the new grad. What kind of experienced developer forgets basic computer science on top of which all else is built?
18.
by slavapestov 2y ago
To be fair, you need at least one person on the team to do the actual work, while everyone else is “communicating and managing expectations”.
19.
by slavapestov 2y ago
Basic coding problems involving data structures and algorithms are table stakes for a programmer. This whole thread is embarrassing.
20.
by slavapestov 3y ago
“Total compensation” usually refers to base salary together with your yearly bonus and vested stock. Mortgage lenders will typically look at your W2 income which includes the bonus and stock.
21.
by slavapestov 3y ago
> The rewrite of the Swift compiler from C++ to Swift is an example of where rewriting is occurring but where there’s a non trivial performance loss as a result. Citation needed on the performance loss. So far only a handful of SIL optim
22.
by slavapestov 3y ago
Wait, I’m old enough to remember when IntelliJ used Swing. They wrote their own GUI toolkit since then?
23.
by slavapestov 3y ago
Get a math or CS textbook and try solving some of the exercises.
24.
by slavapestov 3y ago
FWIW This stack monoid is more conventionally referred to as the bicyclic monoid in the literature.
25.
by slavapestov 3y ago
> LFortran is structured around two independent modules, AST (Abstract Syntax Tree) and ASR (Abstract Semantic Representation), both of which are standalone (completely independent of the rest of LFortran) and users are encouraged to use
26.
by slavapestov 3y ago
> My view now is that the applications are quite limited, but the math is still cool. This is true of everything, of course. Everyone knows that “practical applications” is just a flimsy excuse to get funding for your cool math project.
27.
by slavapestov 3y ago
Getting dangerously close to 1.0. Congrats!
28.
by slavapestov 3y ago
> My biggest struggle has been finding good resources to learn the "proper" way to use it Why stop at vi? Go all the way and re-orient your entire lifestyle around Unix text processing: vi, awk, sed, troff, and sh. https:&#x2F
29.
by slavapestov 3y ago
Sadly he passed away before completing Part 2. https://lists.gnu.org/archive/html/axiom-developer/2005-06/m...
30.
by slavapestov 3y ago
Times are changin’. All you young whippersnappers wouldn’t believe that back in my day, Microsoft was evil, Apple was on the verge of bankruptcy, and Google was the scrappy upstart who prided themselves on not serving ads and irrelevant flu

More ›