For engineers, maybe. But with immigration restrictions, employers can no longer create a workplace where "work with the best in the world" is an attraction.
Before Trump/Vance nuked US reputation the interest on US bonds was low and provided a safe asset to investors. Spending on scientific research was a no-brainer.
the negative and positive use of types (gating inputs vs. witnessing implementations) get confused when talking about programming languages. It seems to me the positive aspect is overwhelmingly where programmers find frustration.
This is cool! What does one need to do to get this to work? I get:
$ ghci
GHCi, version 9.12.2: https://www.haskell.org/ghc/ :? for help
ghci> ts=0:(1+ts+ts^2+ts^3)
ghci> take 12 ts
<interactive>:2:1: error: [GHC-39999]
• No instance for ‘Num [Integer]’ arising from a use of ‘it’
• In the first argument of ‘print’, namely ‘it’
In a stmt of an interactive GHCi command: print it
Edit: After reading Bentley's paper that you linked, figured it out:
$ cat > bentley.hs
ps0:: Num a => [a]
ps0 = 0 : ps0
-- (.*):: Num a => a->[a]->[a]
c .* (f:fs) = c*f : c.*fs
instance Num a => Num [a] where
-- negate (f:fs) = (negate f) : (negate fs)
(f:fs) + (g:gs) = f+g : fs+gs
(f:fs) * (g:gs) = f*g : (f.*gs + fs*(g:gs))
fromInteger c = fromInteger c : ps0
^D
$ ghci bentley.hs
GHCi, version 9.12.2: https://www.haskell.org/ghc/ :? for help
[1 of 2] Compiling Main ( bentley.hs, interpreted )
bentley.hs:7:10: warning: [GHC-06201] [-Wmissing-methods]
• No explicit implementation for
‘abs’, ‘signum’, and (either ‘negate’ or ‘-’)
• In the instance declaration for ‘Num [a]’
|
7 | instance Num a => Num [a] where
| ^^^^^^^^^^^^^^^^
Ok, one module loaded.
ghci> ts=0:(1+ts+ts^2+ts^3)
ghci> take 12 ts
[0,1,1,2,5,13,36,104,309,939,2905,9118]
Brian Hayden has a book right at the heart of this topic, how secret societies (terrorist proto-religions, think scientology+murder) anticipate civilization. You don't find such societies in precarious places, perhaps because extorting wealth isn't tolerated, though you do find them in hunter-gatherer societies as well as civilizations.
Unlike many paleontologists, he is willing to bring in psychology and unlike many anthropologists he is willing to doubt sincerity/motives.
Oh I heard about it and oops just hate myself for forgetting it.
And the first sentence [1] of its pointer type introduction, exactly says everything I said here...
> [...] greatest motivation behind ATS is to make it employed to construct safe and reliable programs running in OS kernel.
Also found this interesting Reddit thread [2]. Time to bring some old gems back with good ergonomics now, it won't be that hard. Hold my beer for a while.
Partly kidding of course, it is a super interesting language. It is probably the only language that ever made me feel out depth and I dabble in a lot of niche languages. Pretty cool stuff!
