TAH is a user on functional.cafe. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

TAH @TheAspiringHacker@functional.cafe

Okay, I'm making an standard library extension. What should I call it? I'm thinking Yale for Yet Another Library Extension or Yacs for Yet Another Competing Standard (xkcd.com/927/). What do you think?

Here's a sample of signature naming conventions:

Stdlib: CamelCase
Jane Street Base: Snake_case
Lwt: CamelCase (but the signature that I found, OrderedType, is identical to several stdlib signatures)
Menhir: ALL_CAPS
Coq: CamelCase
Dune: Capitalized (All the examples that I found are single words)
Utop: No sigs found
Batteries: CamelCase (but it's supposed to be compatible with the standard library IIRC)
0install: ALL_CAPS
Llvm: No sigs found

Can anyone suggest other libraries to check?

In , do you prefer interface names that are all-caps or interface names that have the first letter capitalized and the rest lowercase?

Which name do you prefer: bind, flat map, or >>=?

reddit.com/r/learnprogramming/ Whoa, did Bjarne Stroustrup himself just reply to this r/learnprogramming submission?

Star Wars Show more

Functional programming starter pack

Politics Show more

TAH boosted
Meet Alyssa Rosenzweig, a "friendly local biological life form" and a passionate young free software activist, interning with our tech team this summer! https://u.fsf.org/2mk
TAH boosted

@TheAspiringHacker
A good TS does help with the abstractions' clarity and strength, but only by means of a restrictions. — If a type doesn't restrict the space of possible values of a variable, it's a comment…

A good type system enhances, not restricts. What I mean is that literally, typechecking will always reject valid programs, hence restricting, but figuratively, types should enhance the program's meaning, helping the programmer build stronger and clearer abstractions.

“…the keynote speaker asked the audience to indicate by show of hands, one, how many people disliked C++, and two, how many people had written a C++ program. There were twice as many people in the first group than the second. Expressing dislike of something you don’t know is usually known as prejudice.” - Bjarne Stroustrup Source: technologyreview.com/s/406923/

Immutability is good for reasoning about programs, but in some cases, mutability can lead to a cleaner solution. See okmij.org/ftp/ML/generalizatio, a variation of Hindley-Milner type inference that uses refs instead of pure substitution for efficiency. I’d say that the algorithm here is very elegant!

The manual for release 4.07 has apparently received a modest makeover! caml.inria.fr/pub/docs/manual-

As a corollary, if I ever toot anything political, please don't assume that the people whom I follow or who follow me agree with me.

Disclaimer: In case it isn’t obvious, I do not necessarily share political beliefs with the people whom I follow or boost.

TAH boosted