juxtapose

8 ms·

31.
by juxtapose 4y ago
You don't give permissions to an arbitrary Android app because you don't trust it, whereas GNU Emacs can be fully trusted, (unless you run untrusted Emacs Lisp code, ofc). I even tend to think it requires too few permissions, e.g.
32.
by juxtapose 4y ago
Atom was intended to be the modern spiritual successor to Emacs. (It claimed to be ultra-hackable.) It failed due to its miserable performance. Visual Studio Code succeeded because of not being one.
33.
by juxtapose 4y ago
It's crazy how Emacs adapts to so many different platforms! Congrats!
34.
by juxtapose 4y ago
I tried switching to project.el, but eventually decided it's too bare-bones for me. As far as I'm concerned, project.el lacks the following features OOTB: 1. Something like the .projectile file to mark a folder as a project (witho
35.
by juxtapose 4y ago
I use Logseq because it is just a local-first version of Roam Research. To those who haven't used Roam Research or Logseq or anything similar, you are missing some really good stuff.
36.
by juxtapose 5y ago
For programming languages, dependent types. DT is a hot topic in the PL community recently. It massively enhances the capability of a type system by turning it into a comprehensive logic system, so you can encode whatever properties you&#x2
37.
Swapview: Comparison of the performance of various programming languages(github.com)
1 points by juxtapose 5y ago|0 comments
38.
by juxtapose 5y ago
It's not hard to describe what monads are, but it's probably not going to convince anyone of its importance without an appropriate language. The monad per se is an extremely simple idea. In fact, monadic interfaces are ubiquitous:
39.
Integer overflow causes Russel's paradox(github.com)
1 points by juxtapose 5y ago|0 comments
40.
by juxtapose 5y ago
> modulo bottom Since GHC 9.2, with UnliftedDatatypes you can define real uninhabited types! {-# LANGUAGE UnliftedDatatypes #-} import GHC.Exts data Void :: TYPE UnliftedRep where Void :: { absurd :: forall a. a } -&g
41.
by juxtapose 5y ago
> the idea that different languages are dialects of Mandarin I believe most Chinese do think Mandarin and Cantonese are parallel and won't consider Cantonese a dialect of Mandarin. It's better to put it this way: both Mandarin
42.
by juxtapose 5y ago
Well, if they ask for trouble, trouble will come. Haskell packaging is no different from Rust packaging: native executables statically linked with many small packages; both rely critically on cross-module inline for performance; no stable A
43.
by juxtapose 5y ago
> I think Haskell, like Java, and unlike C or C++, promises you still get a meaningful program if you have a data race This is true (when you insist on mutable shared memory), but in Haskell the safety guarantee is in fact not so far fro
44.
by juxtapose 5y ago
Funny that there is an old Chinese idiom 凿壁偷光 (záo bì tōu guāng) referring to this exact act. The idiom literally means "to pierce the wall to steal a light" and the original story goes exactly like how a man wanted to read books
45.
by juxtapose 5y ago
Hmmm... Most points in this article are shouting "yeah we have those too!!" but it didn't give any convincing arguments why I (or anybody who doesn't already know PHP) would like to learn and use PHP over other decent mo
46.
by juxtapose 5y ago
Haskell is standardized so it's impossible, while GHC can absolutely have editions. I think the infrastructure is already there, with the language extension mechanism and Cabal's default-language setting (e.g. Haskell2010, GHC2021
47.
by juxtapose 5y ago
> This is not the same thing, but you seem to think it is. They are only different superficially. The deeper problem here is they both assume that "a new, valid value can only reference old, existing values". (For the sake of s
48.
by juxtapose 5y ago
Tcl is a better shell scripting language. Tcl's escaping is simple and consistent, while bash is almost impossible to grok -- just too many implicit rules to fit in my head.
49.
by juxtapose 5y ago
I used to bash Haskell exceptions but my views changed recently after programming in Haskell for a while. > all of these can fail, and there's nothing in the type system to alert you of this (in the standard library), such failures
50.
by juxtapose 5y ago
Seriously, anything. I use Haskell for any scripts, e.g. crawling web sites. (Python's position has been taken by Haskell in my toolbox.) Surprisingly, a task as simple as web crawler can be related to so many concepts: regex, parsec,
51.
by juxtapose 5y ago
It's a shame that the Cloud Haskell ecosystem is kind of ... on halt? I wish they at least would review patches and make Cloud Haskell packages compile against latest GHC releases. :/
52.
Rust.moe(rust.moe)
2 points by juxtapose 5y ago|3 comments
53.
by juxtapose 5y ago
Totally love this! Just tried it and it worked quite well. Things like this could be a reason why we should write in the functional style: completing a typed hole doesn't need you to reason about other implicit states.
54.
by juxtapose 6y ago
Yes, Emacs supports a limited form of "rich text". See text-mode. It's supported by text properties [1] and overlays [2]. Character properties are special attributes attached to a single character, while overlays can attach a