Schlagwort: Programmieren

Peta reduce.

  • 2022-03-22

1990 - A committee formed by Simon Peyton-Jones, Paul Hudak, Philip Wadler, Ashton Kutcher, and People for the Ethical Treatment of Animals creates Haskell, a pure, non-strict, functional language. Haskell gets some resistance due to the complexity of using monads to control side effects. Wadler tries to appease critics by explaining that "a monad is a monoid in the category of endofunctors, what's the problem?"

One Div Zero: A Brief, Incomplete, and Mostly Wrong History of Programming Languages

Leanorris.

  • 2022-03-03

Hey! I heard that Lean thinks 1/0 = 0. Is that true?

Yes. So do Coq and Agda and many other theorem provers.

[...]

But doesn’t that lead to confusion?

It certainly seems to lead to confusion on Twitter. But it doesn’t lead to confusion when doing mathematics in a theorem prover. Mathematicians don’t divide by 0 and hence in practice they never notice the difference between real.div and mathematical division (for which 1/0 is undefined). Indeed, if a mathematician is asking what Lean thinks 1/0 is, one might ask the mathematician why they are even asking, because as we all know, dividing by 0 is not allowed in mathematics, and hence this cannot be relevant to their work.

Xena: Division by zero in type theory: a FAQ

Obvious deficiencies.

  • 2022-02-23

There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies. The first method is far more difficult.

C. A. R. Hoare

Thinking in Unix.

  • 2022-02-17

I’m a practitioner. I’m off to write programs with any excuse or activity.

Lorinda Cherry

Penguindroid.

  • 2022-01-27

But is Android not already Linux on mobile?

We could answer this question. However, it would not be printable on the public Interwebs, so you won’t find the answer in this post.

Mobian project: What is Mobian?