Matytoonist

Ezequiel

@Matytoonist

Bnnuy brainrot(?

19yo argentinian cis guy
Things i like range from art, to software, to DIY electronics, and whatever current project im having

big button that reads "powered by linux" featuring Xenia's left eye from the original drawing om the left
button that reads "bunny browser" parodying the netscape logo with a rabbit siluette

log inask
Matytoonist
@Matytoonist
mehbark
@mehbark
mehbark
@mehbark

I finished reading The Little Typer.†

1

How was it?

Good enough for me to go to the effort of recreating its formatting for this post.

2

Evidently.

In all seriousness, wow, what a great book.

3

Isn't pie great as well?

I prefer cake.

4

Isn't Pie great as well?

It works at a really interesting and educative level of explicitness.

5

Isn't it entirely explicit? In The Way Forward, they mention implicit arguments as a feature that could be added to Pie.

While Pie requires much more explicitness than most other programming languages, many of its builtins don't require the type of their arguments, so it is not fully explicit.

6

Like same, cons, and, arguably, car and cdr?

Yes.

7

That's probably for the best.

Indeed.

All of this positivity is making me hungry, shall we head to lunch?

8

This post is already far too tall.

Go eat ((λ (f x) (f x)) (λ (x) x) 4) bananas, and maybe find a way to read the book we were talking about.

You must log in to comment.

in reply to @mehbark's post:

Pinned Tags