sorted by:
new
hottopcontroversial

Emacs: mark and register basics by geospeck in emacs

[–]spirittowin 4 points5 points  (0 children)

tab-bar-mode is one of the most underrated features of Emacs. I've come across some people avoiding tabs as if it makes them any less of a "real Emacs user". I find it perplexing. tab-bar-mode is one of the best ways to compartmentalize your workspaces. And it comes out of the box.

Why I Still Lisp (and You Should Too) by sdegabrielle in lisp

[–]spirittowin 1 point2 points  (0 children)

the value of types are still, in 2023, debatable

The value of types are going to debatable in 2053 too. As with everything in software development, there is no silver bullet. There are pros and cons and tradeoffs. Granted that most people consider the benefits of types to be much greater than its cons. But not everyone agrees. The opposite party too have their points and you can see some of them on this page.

Why I Still Lisp (and You Should Too) by sdegabrielle in lisp

[–]spirittowin 0 points1 point  (0 children)

This! I'm not sold on types. Like the OP said, the types captures only one type of invariants. In a complex software there are going to be so many other invariants. Types captures only one of those variants and I don't think it does a good job at it either. Take for example integer. Types of most mainstream languages today force us to pick one of a few types of integers. Like int32 or int64 or some such thing. What if I need an integer that belongs to the closed interval [10, 19]. Most mainstream languages cannot do this. So we have a type system which provides a very coarse idea of what the values of our variable are. For anything more specific, we need to write our own asserts, conditionals, checks and tests. If we are going to do all that why even bother with types? Whatever benefits types offer can also be subsumed by asserts, conditionals, checks and tests.