this post was submitted on 25 Jan 2022
6 points (80.0% liked)
Asklemmy
43394 readers
1740 users here now
A loosely moderated place to ask open-ended questions
Search asklemmy ๐
If your post meets the following criteria, it's welcome here!
- Open-ended question
- Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
- Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
- Not ad nauseam inducing: please make sure it is a question that would be new to most members
- An actual topic of discussion
Looking for support?
Looking for a community?
- Lemmyverse: community search
- sub.rehab: maps old subreddits to fediverse options, marks official as such
- !lemmy411@lemmy.ca: a community for finding communities
~Icon~ ~by~ ~@Double_A@discuss.tchncs.de~
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
I suffer from it too.
For programming I've found that the more strongly typed a language is, the less I have to worry about keeping in mind. Being able to offload a lot of basic soundness checks to the computer saves me when I lose track and allows me to focus on smaller components without having to worry about messing something else up elsewhere.
That's about it, though, in terms of life pro tips from me. I end up having to rely on others to complete some trains of thought as I seem to get stuck at an early stage of thinking something through. That means I often start a conversation with an impression or opinion that I'll have revised by the end of it due to factors I hadn't considered.
I feel a similar opinion; but I think I dislike typing in general.
I am trying to use LISP and I like the lack of syntactic difficulty
I sympathise with the syntax often getting in the way. On the flip side I find untyped languages opaque, leaving me to guess what code actually does. Lisps are a great offender because macros, syntactic primitives and functions look the same but behave differently, and without type signatures it becomes a mess.
The thing with type systems is that they only reveal the gestalt of something that's already there. All languages have types. It's just that many don't bother to correct you.
I tried to write a language parser in Guile, but when I couldn't figure out what the different data structures actually looked like I eventually gave up.
I see your viewpoint.