öğretim üyesi turing makineleri daha iyi bir araca sahip böylece Lisp bir hesaplama modeli matematiksel gösterimi olarak başladı. Böylece lisp, programlama dili doğdu - Kazara, bunun montaj uygulanabilir olduğu ortaya çıktı.
tekrarlama yerine kullanılır: Ama bu açıklar peltek bilgi işlem modeli döngüler olmadığı için aradığınız gerçekten ne sanmıyorum. sözdizimi ayraçları değerlendirmek-bu-ve-yerine-sonuç belirtmek cebir kaynaklanmaktadır. Gerçekten de, bilgisayar Lisp'in modeli ikame temelde - aslında ne cebir.
Gerçekten de, List, Haskell'e ve Erlang gibi en işlevsel diller matematik türetilir. Haskell aslında tip sistemlerini uygulamak için kullanılabileceğini lamda taşı kanıtlayan bir sonucudur. Haskell Yani, Lisp gibi saf matematik doğdu. Ama yine, sözdizimi muhtemelen için kullanılacak gibi değil.
Kesinlikle matematikçiler için Lisp ve Haskell sözdizimi açıklayabilir ve bir "oyun" olarak muamele ederim. döngüler, özyineleme ve Koşullamalar gibi Dil yapılar körlemesine dillerde olduğu gibi uygulanan ziyade oyunun kurallarının dışına kanıtlanmış edilebilir. Bu combinatronics alemlerine, matematik başka dalı haline yol açacak. Nitekim combinatronics, sayıların bile kavramı yerine dil (google Kilisesi Rakamlar) bir yerli bir parçası olmaktan çok oyunun kurallarının dışına inşa edilebilir.
İsterseniz Yani Lisp / Planı, Erlang ve Haskell de bakabilirsiniz. Erlang özellikle istediğinize sözdizimi yakın sahiptir:
add(a,b) -> a + b
Ama benim tavsiyem C benzeri pseudocode yazmaktır. Bu programlama dillerinde en düşük ortak payda tür. Oldukça kolay anlaşılır ve temiz bir sözdizimi vardır. Ve işlev sözdizimi bile matematik fonksiyonları kaynaklanmaktadır. Unutmayın f(x)?
Artı, matematikçiler C yazma için kullanılan, istatistikçiler (bunlar R tercih genellikle gerçi), fizikçiler C yazma için kullanılan yazı C'ye kullanılır, programcılar en az C bakarak için kullanılır (asla ettik kim birkaç biliyorum dokundu ° C).
Aslında bu çizik. Eğer hedef kitle istatistikçiler olan söz. Yaz R
