Haskell --- average of a list.

Rules:

✡ must compute arithmetic average of a list
✡ only one pass is allowed
✡ constant memory

In perl6:

my $result = [+]@list / @list;

Are you guys even trying?

Oops, forgor precedence rules.

( [+] @list ) / @list

This works

>>40
Ah but you see, maths is not limited to execution of programs. An inductive argument from the algorithm's formal representation, and another relating it to its implementation, is sufficient to prove correctness of the algorithm and the program code. In practice we'd add tests to an arbitrary (small) subset of ∞, and some tool-driven coverage analysis.

That being said, the weight of that critique is on the case of the zero-element list. One might counter that it's appropriate to leave the average of nothing undefined, but thass' just some sloppy-ass whack right thur as far as pretending to do proper engineering goes.

>>43

arbitrary (small) subset

The subset would be small and trivial enough to be impractical to test.

Static typing is a pseudoscience, related to perpetual motion, which is real only in theory

It is a truth universally acknowledged that almost all mathematicians are Platonists, at least when they are actually doing mathematics …" This refers to their implicit embrace of essentialism, which he finds revealed in mathematicians peculiar use of language. Whereas physicists define Lie algebra as a rule they can apply to facts, mathematicians define it as an essence of a structure, independent of any circumstance.

>>45
This is accurate.

It is a truth universally acknowledged that almost all type-theoreticians are Pederasts, at least when they are actually doing type theory …" This refers to their implicit embrace of homosexualism, which he finds revealed in type theory peculiar use of language. Whereas heterosexuals define sex as a rule they can apply to reproduction, type-theoreticians define it as an essence of a structure, independent of any circumstance.

>>47
fail. GTFO

>>48
Shalom, Hymie!

>>47
Kike theory is made up bullshit.
The age-old practice of inventing new unscientific "ideologies" that can change on a whim is still alive and well.

>>2
Real World Haskell, which was openly published in 2008, addresses this question in-depth.
http://book.realworldhaskell.org/read/profiling-and-optimization.html#id678431
https://donsbot.wordpress.com/2008/06/04/haskell-as-fast-as-c-working-at-a-high-altitude-for-low-level-performance/