The Nineteenth Byte

i just see "monadic chain" a lot in jelly answers and other ppl talking about monads and there doesnt seem to be a single palpable explanation for it online

(palpable isnt the right word but its the one i got i guess)

lyxal

Arity

Arity ( (listen)) is the number of arguments or operands taken by a function or operation in logic, mathematics, and computer science. In mathematics, arity may also be named rank, but this word can have many other meanings in mathematics. In logic and philosophy, it is also called adicity and degree. In linguistics, it is usually named valency. == Examples == The term "arity" is rarely employed in everyday usage. For example, rather than saying "the arity of the addition operation is 2" or "addition is an operation of arity 2" one usually says "addition is a binary operation". In general, the...

Unrelated String

see
there's the tacit concept of a monad, which is simply a unary function
and then there's the mostly-category-theoretical concept of a monad which is... different

thejonymyster

i mean for programming

if that helps

Redwolf Programs

For Jelly, it refers to a function that takes one argument

And for most languages, actually

thejonymyster

Redwolf Programs

11:07 PM

Nilad: 0, Monad: 1, Dyad: 2, etc.

thejonymyster

then wtf is all that haskell shit about lmao

pardon my french

lyxal

1 min ago, by Unrelated String

see
there's the tacit concept of a monad, which is simply a unary function
and then there's the mostly-category-theoretical concept of a monad which is... different

thejonymyster

:P im not mad im just bewildered

Bubbler

haskell one is really deep mathematics

thejonymyster

damn

Jo King

11:08 PM

i have ptsd flashbacks when people start talking about haskell monads

thejonymyster

ok, good to know then

Bubbler

(though it's possible to use it without knowing the math)

thejonymyster

thank u all :-)

Unrelated String

in terms of its application to haskell it's easy to just think about as a way of embedding a notion of side effects in the pure functional type system--you can even conceptualize the monad instances of nice transparent datatypes that way

Jo King

triggered

Bubbler

11:10 PM

But the word "monad" is simply not used in most mainstream languages, and people struggle a lot to understand what a Haskell monad is, so the search results are naturally flooded with those

thejonymyster

@Bubbler yeah ~_~

i almost understood one of the haskell ones fdkslgj

user

@UnrelatedString I just think of it as boxes even though LYAH says not to lol

Here's some more information about Haskell if you're interested

Bubbler

I just either abuse do or f<$>x<*>y<*>z... and pray for it to work

user

I absolutely love Uncyclopedia's page on Lisp

user

11:37 PM

Just found an interesting language: Cone. Not finished yet, but should be cool when done

Bubbler

Looks like it's trying to be a strict superset of Rust

user

Yep, the playground reminds me of Rust's own

Got nicer syntax than Rust

Bubbler

11:53 PM

But the main problem is that Rust has already evolved with ~10 years of huge community support, while newer langs aren't getting even close anytime soon

Unrelated String

yeah

Bubbler

Also Rust is supported by multiple big names

user

Always a problem when something new is made, you gotta get enough people to support you :(