John Goerzen · @jgoerzen
1013 followers · 2796 posts · Server floss.social

@evan What, no options? πŸ™‚

#Haskell

Last updated 1 year ago

ForgeFed · @forgefed
1734 followers · 73 posts · Server floss.social
ForgeFed · @forgefed
1717 followers · 72 posts · Server floss.social

New ForgeFed blog post: Vervis actor refactoring

forgefed.org/blog/vervis-actor

Where to comment: Here on the Fediverse :)

--pere

#ActivityPub #ocaps #Haskell #development

Last updated 1 year ago

@lorddimwit Is this just another attempt to support my complex and remind me that nobody can understand without many years studying for the CS degree?

#impostor #Haskell

Last updated 1 year ago

webbureaucrat · @webbureaucrat
60 followers · 450 posts · Server floss.social

I would not recommend drinking whiskey while reading *Haskell Programming from First Principles*.

#Haskell

Last updated 1 year ago

kusma :unverified: · @kusma
187 followers · 174 posts · Server floss.social

In case you ever need to explain to someone why to use for a project

#Haskell

Last updated 2 years ago

webbureaucrat · @webbureaucrat
55 followers · 371 posts · Server floss.social

Trying to learn on a whim and it occurs to me that is like a real language that you actually have to learn to use and "I know so whatever close enough" might not *actually* cut it.

#servant #Haskell #elm

Last updated 2 years ago

webbureaucrat · @webbureaucrat
54 followers · 370 posts · Server floss.social

I wrote a program in . I'm really excited about , so my blog is going to be an Idris tutorial blog for the forseeable future.

My goal is to fill the void of tutorials for non- programmers. Follow if you're interested!

webbureaucrat.gitlab.io/articl

#helloworld #idris #totalprogramming #Haskell

Last updated 2 years ago

MacSlow · @MacSlow
11 followers · 35 posts · Server floss.social

With confidence - I really tried - ChatGPT is useless when you plan to speed up learning Haskell.

#chatgpt #failure #Haskell

Last updated 2 years ago

Jan :rust: :ferris: · @janriemer
451 followers · 1576 posts · Server floss.social

@alcinnz You might be interested in this:

vs.

serokell.io/blog/rust-vs-haske

Do you remember that we've just talked about this a few days ago?

floss.social/@alcinnz/10984830

The blog post has been published _today_.

Is this the Matrix or just coincidence (or have we inspired them)?πŸ˜„

#comparisonthatmakessense #rustlang #Haskell #Rust

Last updated 2 years ago

John Goerzen · @jgoerzen
872 followers · 2471 posts · Server floss.social

@janriemer @rust_discussions @monad_cat I'm with you, Jan. I really enjoy for the reasons you mention, and more. My main gripe is the system. It has led to a bifurcation in crates. Do I need a standard or an async one? And if async, will it work with the executor I'm using? There is something to be said for the and "green threads use the same API as synchronous" approach. Yes I know it lacks some flexibility, but OTOH it is unified.

#goLang #Haskell #async #Rust

Last updated 2 years ago

John Goerzen · @jgoerzen
872 followers · 2471 posts · Server floss.social

@seth Hello Seth, and greetings from just a bit north of you! I don't see folks from on here every day. Programmer here too; , , developer since the 1990s, all over the place, and also a (because Kansas, right?) πŸ™‚ I've got some introductions pinned to my profile also.

#pilot #Linux #Debian #Haskell #Rust #kansas

Last updated 2 years ago

Michael T Babcock · @mikebabcock
55 followers · 205 posts · Server floss.social

@alcinnz a good friend of mine (who hasn't joined the fediverse yet) is a fan of but I can never bring myself to spend enough time using it to become functional with it. Some day, maybe.

#Haskell

Last updated 2 years ago

John Goerzen · @jgoerzen
713 followers · 2218 posts · Server floss.social

@algernon It does share a type system with so the types don't seem weird to me πŸ™‚ You're on the right track. Lists aren't linked lists, but the iterators provide that kind of glue. The thing I miss are the tools for good recursion (especially tail recursion). We do have match, but some syntactic sugar around processing lists/iterators like Haskell's `(x:xs)` syntax would be fantastic.

#Haskell

Last updated 2 years ago

John Goerzen · @jgoerzen
713 followers · 2220 posts · Server floss.social

@tfb @JonYoder One of the things that hit me starting with and continuing through is that rapid prototyping is overrated, and there is a lot to be said for "if it compiles, it is (more) likely to work." I think this has significantly raised my expectations for code quality and reordered how I think about productivity (invest a bit more upfront and spend less time debugging later) C, C++, Java, etc. didn't have that property really.

#Rust #Haskell

Last updated 3 years ago

John Goerzen · @jgoerzen
713 followers · 2220 posts · Server floss.social

@JonYoder The one place I still see being used is situations where the is valuable. (Note, also has this). is an example of this too. People use for rapid testing of things and interactive prototyping. For a time, when I had date arithmetic problems, I'd open up the Python CLI and write stuff there. Nowadays it's simpler to just write a Rust program to do it for me, really. 7/

#Jupyter #Haskell #repl #Python

Last updated 3 years ago

John Goerzen · @jgoerzen
713 followers · 2220 posts · Server floss.social

@JonYoder These days, we have credible alternatives to : , , and (among many others). All three of these are performant, avoid all the manual legwork of or the boilerplate of , and provide easy ways to do simple things. 6/

#Java #C #Haskell #Go #Rust #Python

Last updated 3 years ago

John Goerzen · @jgoerzen
713 followers · 2221 posts · Server floss.social

@nytpu The file synchronization tool is written in . git-annex by @joeyh is written in . Parts of are written in what was once that relatively niche language, . Not so niche anymore though. There's a ton of software written in , including mail and readers, clients for web, , and ; chat programs, and my favorite: the window manager.

#exwm #Gemini #gopher #Usenet #elisp #Rust #Firefox #Haskell #OCaml #unison

Last updated 3 years ago

John Goerzen · @jgoerzen
714 followers · 2224 posts · Server floss.social

@mkf @jtr @debian @kensanata in that case, you might check out , but it is written in and I would wonder if you have a compiler available for that. git-annex by @joeyh is another possibility, but written in so again there is a question if compiler availability on . If all else fails, you may have to wind up with careful use of or something.

#rsync #haikuos #Haskell #OCaml #unison

Last updated 3 years ago

OSTechNix · @ostechnix
520 followers · 1486 posts · Server floss.social