Readit News logoReadit News
tasuki commented on I tried Gleam for Advent of Code   blog.tymscar.com/posts/gl... · Posted by u/tymscar
culi · 14 hours ago
https://iselmdead.info/

I can't believe this is still up tbh. And I can't believe there's still people defending Elm's lack of development

> It’s true that there hasn’t been a new release of the Elm compiler for some time. That’s on purpose: it’s essentially feature-complete.

Last talk I saw by Evan Czaplicki (from the 2025 Scala Days conf) he seemed to be working on some sort of database language https://www.youtube.com/watch?v=9OtN4iiFBsQ

tasuki · 3 hours ago
> And I can't believe there's still people defending Elm's lack of development

Why? (I'm one such person defending Elm's lack of development)

tasuki commented on I tried Gleam for Advent of Code   blog.tymscar.com/posts/gl... · Posted by u/tymscar
tempest_ · 16 hours ago
As a mostly back end dev Elm looked really nice but all the conflict with the creator and then the lack of compiler releases made me shy away a bit.

I have bumped into "the Elm architecture" in other projects though and it was nice.

tasuki · 3 hours ago
> the lack of compiler releases

I'm a backend dev mostly and use Elm for all my frontend needs. Yes there are some things compiler-side that could be improved, but basically it's fine.

I appreciate not having to keep up with new releases!

tasuki commented on I tried Gleam for Advent of Code   blog.tymscar.com/posts/gl... · Posted by u/tymscar
troupo · 5 hours ago
> what I wish Elixir would become (re:typing).

Elixir is slowly rolling out set-theoretic typing: https://hexdocs.pm/elixir/main/gradual-set-theoretic-types.h...

tasuki · 3 hours ago
I dunno, my unfounded guess is that gradual type systems are super complex and very hard to get right.

Why use something complex and half working, when you can have the real thing?

tasuki commented on I tried Gleam for Advent of Code   blog.tymscar.com/posts/gl... · Posted by u/tymscar
zelphirkalt · 11 hours ago
I like Gleam, but I am somewhat annoyed by the fact, that I don't have the full functional freedom in calling recursive (inner) functions wherever I want. I don't know, why new functional languages do not get this right all the way, straight from some rnrs document or implementation. Another thing is the separate operators like .> and .< and so on. What I liked were of course pipes and pattern matching.

To me it felt less elegant than Scheme (GNU Guile) which I usually use (with nice parallelism if I want to, pipelines, and also pattern matching), and, aside from syntax, conceptually perhaps less elegant than Erlang. On the other hand it has static typing.

I also tried OCaml this year, but there are issues in the ecosystem making a truly reproducible environment/setup, because opam doesn't produce proper lock files (only version numbers) and it seemed silly to not be able to even include another file, without reaching for dune, or having to specify every single file/module on command line for the OCaml compiler. So I was left unsatisfied, even though the language is elegant and I like its ML-ness. I wish there was a large ecosystem around SML, but oh well ...

Might be I should take another look at Erlang soon, or just finally get started with Haskell. Erlang using rebar3 should have proper lock files, has pattern matching, and if I remember correctly no such limitations for calling functions recursively. No longer sure how or whether Erlang did inner functions though.

tasuki · 3 hours ago
Heh, similar thoughts! The main difference that I only used Scheme for SICP, and I've used a bit of Haskell.

I like Haskell in theory, but: just to get a hello world takes a lot of CPU and disk space. The standard library is full of exceptions (you can use a different prelude, that opens a whole different can of worms). The ergonomics of converting between the thousand different string types are awful.

So, you being basically me, I have some recommendations:

Idris (2): good stdlib, has dependent types. A beautiful language. The compiler is self-hosted and bootstrapped by lisp - very elegant! The ecosystem is basically nonexistent though.

PureScript: also improves on Haskell in many ways. But, it's more of a frontend language, and though you can do backend, you're stuck with JavaScript runtime. Oh well.

tasuki commented on I tried Gleam for Advent of Code   blog.tymscar.com/posts/gl... · Posted by u/tymscar
tasuki · 10 hours ago
> You can do [first, ..rest] and you can do [first, second].

> But you cannot do [first, ..middle, last].

I don't think you're supposed to do that! It's probably expensive!

tasuki commented on Go is portable, until it isn't   simpleobservability.com/b... · Posted by u/khazit
mmulet · a day ago
I ran into this issue when porting term.everything[0] from typescript to go. I had some c library dependencies that I did need to link, so I had to use cgo. My solution was to do the build process on alpine linux[1] and use static linking[2]. This way it statically links musl libc, which is much friendlier with static linking than glibc. Now, I have a static binary that runs in alpine, Debian, and even bare containers.

Since I have made the change, I have not had anyone open any issues saying they had problems running it on their machines. (Unlike when I was using AppImages, which caused much more trouble than I expected)

[0] https://github.com/mmulet/term.everything look at distribute.sh and the makefile to see how I did it.

[1]in a podman or docker container

[2] -ldflags '-extldflags "-static"'

tasuki · a day ago
Huh. Does term.everything just work, or are there some gotchas? This seems like it could be supremely useful!
tasuki commented on Google releases its new Google Sans Flex font as open source   omgubuntu.co.uk/2025/11/g... · Posted by u/CharlesW
tasuki · 2 days ago
Not particularly imaginative/interesting? I don't see how it's better than say Roboto. And I'm not even that huge a fan of Roboto...
tasuki commented on Koralm Railway   infrastruktur.oebb.at/en/... · Posted by u/fzeindl
preisschild · 2 days ago
I (pro-EU Austrian) think they are great, as they show that we also get huge benefits through our EU membership and that we can do such enormous megaprojects only together

Also, eyesore? What do you have against the EU flag?

tasuki · 2 days ago
> Also, eyesore? What do you have against the EU flag?

I like the EU flag. I do not like the billboards. They just do not look good. Plant an actual flag there instead? I'd prefer that!

tasuki commented on Koralm Railway   infrastruktur.oebb.at/en/... · Posted by u/fzeindl
brnt · 2 days ago
They put them up with and without the EU funding info, right? Here most is not EU funded, but there are still signs, because how else do you know what is going on? Or are big construction projects completely unsigned where you live?
tasuki · 2 days ago
They used to be unsigned. I agree it's good for the funding to be transparent, but a government and/or EU-wide website would be fine to list the supported projects. No need for ugly signs.
tasuki commented on Koralm Railway   infrastruktur.oebb.at/en/... · Posted by u/fzeindl
tremon · 2 days ago
it's all paid by us EU taxpayers anyway

That's simply not true, the EU subsidy budget is dwarfed by each country's national budget. From https://eubudget.europarl.europa.eu/en/how-it-works/ :

The EU budget [..] accounts annually for around 1% of the EU's GNI (gross national income), or around €160-180 billion. National public spending by EU countries averages nearly 50% of their respective GNI.

tasuki · 2 days ago
> That's simply not true

I'm not sure I understand your comment tbh. Where does the money come from, if not from EU taxpayers?

> the EU subsidy budget is dwarfed by each country's national budget.

My comment had nothing to do with that.

The page you linked has a question "How is the budget funded", which lists the revenues:

> Another difference between the EU budget and national budgets is that the EU lacks direct taxation power to finance its budget and instead relies on revenues called “own resources”.

> These revenues are:

> - Custom duties on imports into the EU

> - A small part of the VAT collected by each EU country

> - A contribution based on the amount of non-recycled plastic waste in each EU country

> - National contribution from each EU country based on its gross national income (GNI). All member states contribute according to their share in the combined GNI of EU countries. This is the largest share of the own resources.

I'd say all of that comes from the EU taxpayers.

u/tasuki

KarmaCake day4083February 2, 2012
About
https://tasuki.org/
View Original