tkz1312

8 ms·

91.
by tkz1312 3y ago
there are many excellent languages that have adts (and much more) without having to deal with the borrow checker. Maybe give ocaml or haskell a try :)
92.
by tkz1312 3y ago
I had understood that the delimited continuations stuff was more like performance optimisation for the (slow) free monadic effect systems than a fundamentally different theoretical foundation for modelling effects in a pure language? fwiw
93.
by tkz1312 3y ago
Given its strict purity and use of typeclasses over modules I would say roc is more like haskell than it is ocaml.
94.
by tkz1312 3y ago
Haskell is a wonderful language, but I don’t think you can claim it’s baggage free. It’s certainly accumulated it’s fair share of technical debt (more in the standard library than the core language to be fair). The endless proliferation of
95.
by tkz1312 3y ago
Roc uses perceus, which is a reference counting model that allows for opportunistic in place mutation if it is safe to do so. HVM is more like a fundamentally new evaluation model that is parallel by default. They are both very exciting, bu
96.
by tkz1312 3y ago
I think algebraic effects usually just compile down to monads under the hood? As I understand it, it’s more like a cleaner interface to model side effects, than some new approach compared to the tools that haskell gives you out of the box?
97.
by tkz1312 3y ago
I think it boils down to: - simplicity - strict evaluation model - devx - faster runtime - built in effect system I love haskell and write it every day, but I have the feeling that the language is probably too complex to real
98.
by tkz1312 3y ago
I guess parsing the list into a NonEmpty would probably be considered somewhat more idiomatic haskell than returning a Maybe from head.
99.
by tkz1312 3y ago
here’s one: https://www.chainalysis.com/blog/2023-crypto-crime-report-in...
100.
by tkz1312 3y ago
Certainly they are not 1-1 the same. Cash has better privacy properties, crypto lets you move large sums more easily. In general, when it comes to a monetary technology, I view being able to quickly and easily make transfers as a feature no
101.
by tkz1312 3y ago
I personally don’t have an opinion on the ratio, but there are many reports estimating that the illicit to legal ratio is much lower than you suspect. Either way I actually don’t care that much, I think access to the financial system is a h
102.
by tkz1312 3y ago
visa very clearly much more users who transact much lower amounts than stablecoins, I never claimed otherwise. The fact remains that substantial amounts of people are using crypto rails to move very economically significant sums of money. T
103.
by tkz1312 3y ago
Stablecoins came close to moving as much value as visa in 2022 [1]. The use case for crypto has always been clear. There is a lot of demand for digital cash, some from people who operate outside of the law, but also from people who lack acc
104.
by tkz1312 3y ago
rust mainstreaming a lot of functional concepts and patterns is awesome very much agree, just pushing back on the claim that this it’s the only language where this style is prevalent.
105.
by tkz1312 3y ago
This kind of thing has been very standard in other ML family languages for decades now. Rust is a nice language, but it’s frustrating when its proponents act as if it’s the first language to have these kind of features. ML is 50 years old a
106.
by tkz1312 3y ago
The entire western economic system is structured in such a way that ethical consumption is difficult and expensive. While certainly I would agree that economically advantaged groups bear some responsibility to make ethical choices about wha
107.
by tkz1312 3y ago
I mean monads alone are not enough to do IO. Like it’s not possible to implement the IO monad in pure haskell. It’s more like the haskell runtime exposes a monadic API for its IO system. The general intuition that makes sense for me after a
108.
by tkz1312 3y ago
because you don’t want the government to be able to delete you from the economy? do you use signal? what’s the difference between strong privacy for your text messages and strong privacy for your financial transactions?
109.
by tkz1312 3y ago
This kind of absurd bullshit is exactly why crypto is so important. Access to cash like money is a human right, and this right is being rapidly eroded across the world.
110.
by tkz1312 3y ago
iiuc the “non unique” section on repology accounts for this. nixpkgs is almost twice the size of the aur if you count like this.
111.
by tkz1312 3y ago
If you look at a 30 year old language and realise that most of the progress in mainstream language design over the same time period has come from copying it’s features, at what point do you start to think it might be worth learning?
112.
by tkz1312 3y ago
I think most of the issues are more social than technical. A lot of people feel that flakes were pushed through to serve the needs of their corporate sponsor (target) without adequate time spent responding to community feedback. There is (w
113.
by tkz1312 3y ago
fwiw nixpkgs has significantly more packages than arch (including the aur), and those packages are also significantly more up to date. No other repo comes close to nixpkgs in this regard. This has been the case for quite some years now. ht