framapiaf.org est l'un des nombreux serveurs Mastodon indépendants que vous pouvez utiliser pour participer au fédiverse.
Un service Mastodon fourni par l'association d’éducation populaire Framasoft.

Administré par :

Statistiques du serveur :

1,5K
comptes actifs

@clementd Did kind of the same. After 6 yrs of #haskell I switched the job and introduced rust there. Company builds packing machines. So it was to introduce PLC programmers to a new language - haskell would have been probably too much.

Also still missing things (f.e. GADTs). But on the other hand f.e. associated types do their job as type functions (type families) which is great. Private toy projects also with a "cargo init" instead of "cabal init" in the meantime.

@alios Yeah, associated types come in handy, but I hardly went as far with them as I went with tyfams

@clementd tend to use typenum and uom crates quiet a lot. Imo good examples of typelevel coding in rust.

@alios I wonder if there is an equivalent of symbols. They regularly came in handy in Haskell

@clementd "I still think #Rust’s adoption is not aligned with the level of abstraction it promotes, and that most programs would benefit from higher-level languages, but most of the high-level languages are so bad that Rust is still comparatively great as a high-level programming language, just because it’s such a good language."

Heh.

@alcinnz 👆 knowing you're into Haskell, you might be interested in the above (is this called "nerd sniping"?) 😜

@clementd Very interesting read! Thank you for sharing. Wish you all the best on your further Rust journey. :ferris: