asciilifeform: author (one armstrong, recently dead) sewed it by taking various fp langs of the time, and mercilessly cutting cpu-expensive features (e.g. the infamous np-complete reductor of prolog, the 'lazy' of haskell, etc)
asciilifeform: 'No one else ever built a purely functional operating system' incidentally also false, the haskell people tried ('house') , with the expected result ( i won't detail, literate reader can guess )
asciilifeform: this kinda thing can be frustrating, but imho it helps to remember that ada is ~deliberately~ 'not a haskell', it does not try to 'think for you', but rather leans to 'must be obvious to reader what proggy does'
asciilifeform: i.e. 'magic haskell oracle pronounced that my proof is proofy-enuff. nao gimme tenure.'
asciilifeform: in other noose, asciilifeform recently and for the THIRD time tried to get http://www.clifford.at/icestorm going . has the iron ready, etc. BUT the only prog utils are in a) python3 b ) haskell
asciilifeform: not mega-puzzler. consider the haskell people. 'hey this is a mechanical substitute for my brain! says on the box!!'
asciilifeform: https://archive.is/Ihgo4 << and then debian revokes his commit. as if it weren't 'tor exit node operating', haskell-teaching, fine folx who made debian what it is today, poetteringolade
asciilifeform: currently 'rust' et al. decade ago -- haskell. prior -- the java people.
asciilifeform: ( well not just haskell, but that one software co )
asciilifeform admits that he mentally associates ben_vulpes's home town with haskell, and gets physically queasy thinking about it
asciilifeform: and hey if it's good enough for phd with haskell, why not plebe.
asciilifeform: in other lulz, https://www.cs.york.ac.uk/fp/DrIFT/original/History.html >> 'You asked whether naming your software `Haskell Derive' would be satisfactory, and you explained your reasoning for wishing to adopt that name. We believe that we understand your reasoning, but the critical point is that including `Derive' as part of your software's name in *any* manner is not permissible. That fact is not
asciilifeform: this is main reason why haskell and other 'lazy eval' systems are malignant
asciilifeform: easily 1000x the sweat went to haskell.
asciilifeform: dunno that hitler ever goes 'all in', the moneys (however counted) spent on, e.g., haskell, dwarf the ethertard lab budget 100+x
asciilifeform: haskell package <<< pay someone to add a sexpr backend to it so I can work it into my CL toolchain ...
asciilifeform: just about everything pushed as 'pure functional' (haskell, standard ml, etc.) to a large extent operate via pattern matching
asciilifeform: there is even, apparently, a haskell version.
asciilifeform: undata: it works quite like, e.g., haskell.
asciilifeform: haskell, ml, hindley-milner type systems.
asciilifeform: decimation: i'm willing to believe him where he swore to me that he never learned 'haskell', 'ml', or the like.
asciilifeform: haskell is an american chumpatronic masterpiece.
asciilifeform: people who design baroque contraptions (ml, haskell, ocaml, go - tradition) for 'smarter compiler' - that ends up grinding the original semantics of a program into incomprehensible soup - as if god came and said to mortals to use pdp-11 forever - are solving the wrong problem.
asciilifeform: benkay: and this reply to a reader asking about urbit (author of urbit was labouring under the same ill-conceived notions that produced haskell) - http://www.loper-os.org/?p=1390
