Name: Anonymous 2014-05-27 6:54
Lisp (scheme, common lisp) and C is all you need.
Try to prove me wrong.
Try to prove me wrong.
That shitter who always holds back the level of discussion to his own primitive level by bringing up the most basic irrelevant piece of knowledge that he still thinks everyone will be impressed of him knowing "hurr everything touring complete is equivalent"
https://github.com/kimhyunkang/r5.rsThis is out of date and doesn't compile :(
http://i.imgur.com/Cd3ZBHT.png
.
Option<T>
s everywhere. That extra level of indirection is... optimized out when T is pointer sized, nvm.a nicer, more functional syntax than Cthe algol-syntax feels weird in (semy)functional languages like rust, the worst is the implict return of the function
uniqueness typingrust has uniqueness typing? I never heard of it but it does not look like something useful since it is not a pure language
no forced GC shitif it works just like D then it is horrible
lifetimes static analysissorry, never heard of it
Does SML have algol syntax?no
Is SML a "semy"-functional language?this is how I call non-pure languages/languages that promote side effects/multi-paradigm languages, so yes
computation is a temporal physical process happening in computer memory
wants to describe computation using expressions with non-temporal, non-physical algebraic semantics that enable equational reasoning
pureFunction 5
this is how I call non-pure languages/languages that promote side effects/multi-paradigm languages, so yesFew others subscribe to a definition of it that doesn't even admit Haskell. If for no other reason, such a term would be valueless in common currency.