The take I have is that with a dynamically typed language you still have a static analysis step. It’s just that the analysis happens in your and other developers’ brain and it is objectively worse. I honestly can’t think of a single thing in favor of dynamic typing.

I write Clojure in my day job and it’s insane how often we have issues where it would have been immediately caught by a static type check.

May I interest you in some unmentioned static analyzer possibilities for Clojure: https://github.com/clj-kondo/clj-kondo https://github.com/jonase/eastwood You seem dissatisfied with Clojure in your day job -- I am sure that there are others that would be happier in your situation.

I'm aware of these, but thank you nevertheless. Clojure has plenty of nice things balancing the scales, so it's not all pain and misery!

I'd love to learn more. Are you part of a large team (enterprise or SMB, whatever you can share)?

How have you experienced using Type Clojure, spec, Malli, etc. to determine correctness?

I've only worked on solo projects with Clojure, with most of it fitting into my head. I imagine with teams of size N > 1 things can change quite a bit.

I don't have an ADHD diagnosis but clearly have some of the typical symptoms.

My brain is constantly in an obsessive state, meaning that I get an obsession about something and my brain just focuses on that single topic for some variable amount of time (days, weeks, months) until I get a new obsession. I'm quite unable to think (or do) anything else during that time.

Last November I experienced something that I have not experienced before. My mind was at peace. I had no obsession for at least two weeks. It felt amazing, I was so content.

I started to read Wizard of Earthsea, which I finished few days later. Then I read Tombs of Atuan in a few days as well. I read The Farthest Shore about halfway before my brain rebooted into its usual obsessive state. This was the most I'd read in almost 10 years!

I wish I could experience that peace of mind once again.

Also better look and feel[1] for Mac (including dark mode) users with

  (add-to-list 'default-frame-alist '(ns-transparent-titlebar . t))
  (add-to-list 'default-frame-alist '(ns-appearance . dark))

[1]: https://imgur.com/aRdxPk0

Wow, just tried it out and it looks really good. What theme are you using? (ref. screenshot)

It's doom-nord from the doom-themes package.

The first just makes my titlebar white, not transparent. The second doesn't seem to do anything. I'm using the updated binary from emacsformacosx.com.

You may need to restart emacs after adding those lines to your config. Creating a fresh frame also seems to work, if you use daemon mode.

Restarting did the trick for me (also emacsformacosx.com).

Did you do anything to increase your modeline's height?

Git really should have issue and merge/pull request data shipped with the repository. Does anyone know if this has been planned or not?

If that's all you need, maybe μEmacs[1] could do it?

[1]: https://en.wikipedia.org/wiki/MicroEMACS

Don't forget mg. It seems to be more used than uemacs these days, possibly thanks to the openbsd project:

[1]: https://en.wikipedia.org/wiki/Mg_(editor)

It's also available in deb/rpm/pkg:

https://pkgs.org/download/mg

Note: pkgs.org list is not all-inclusive; there are more Linux distros in which it's included.

Looks like it's in a few Slackware repos but I'm having trouble finding it in deb/yum/Arch pkg:

https://pkgs.org/search/uemacs

JASSPA version (the package is jasspa, but searching on microemacs just to show results more thoroughly):

https://pkgs.org/search/microemacs

What, no id[1] in the major companies?

EDIT: Nevermind I found it way down the list, but still, id is pretty major company when it comes to games.

[1]: https://github.com/id-Software

>If you'd like to add a repository to the list, please create an Issue, or fork this repository and submit a pull request.

Not really related to the article, but would you look at that web page. This is what all of them should look like! Nothing fancy, just good content, 64.91KB in total.

And yet I can't read it on my phone without scrolling side to side.

That's because your browser sucks. Try Opera Mobile or something similar. Good browsers can reflow text to fit whatever screen size they display at. This website has zero CSS related to layout, so it is your browser's duty to render it nicely.

It boggles my mind why reflow is not one of the most important and most highly regarded features of any mobile browser.

The problem is quickly solved on Firefox thanks to its "Fit text to width" addon [1].

>it is your browser's duty to render it nicely

I think browsers should have the ultimate say on how to display websites, according to the user's preferences (think of text size and colors). Sadly, with websites gradually transforming into "web apps", users are losing control.

[1]: https://addons.mozilla.org/En-us/firefox/addon/fit-text-to-w...

Thanks for pointing to that add-on. Works nicely.

even after 'zooming in'? it didn't create a new viewport for me after doing that that.

on opera mobile: are you truly comfortable to use a 'default on man-in-the-middle-ware' from china? (it proxies everything and compresses it, to save data bandwidth)

i stopped using it in August because of that. might've been too paranoid though.

Just turn off the "VPN" proxying if that makes you uncomfortable.

Personally I am less concerned about the Boogiemen from China/Russia than about the pervasive ruin of privacy by US companies.

Yeah, they should add the meta/viewport with scale=1 tag to the head, and it would improve readability on phones. I mean it't annoying that the web is in a state where that is necessary, but until it's solved, it's better (and not much more difficult) than nothing.

Screenshots?

One has been added in the Repo :)

This is something that I'm actually writing for my own programming language, coincidentally also written in Rust.

My idea was to label each expression with these flags, i.e. is the expression constant?, tail recursive?, etc., and then make that information available for the text editor and other tooling, so the user can instantly see certain things about their program, and see the type of optimizations the compiler will do for them.

Thats a great idea. Do you have it available somewhere?

Currently there's only a tokenizer/parser implementation publicly available. I'm currently working on the type system.

Progress has been a bit slow, but I will be posting here on HN if I end up making something worthwhile.

Maybe they could add an option to order an on-demand print from a service like Lulu.com

Good idea. I'd pay for that.