JavaScript / Ruby dünyalarından geldikten sonra Haskell'i öğrenmeye başladım. Https://github.com/HoTT ve okumaya çok hevesli olduğum Homotopy Type Theory kitabına rastladım .
Bununla birlikte, matematik ve tür teorisi kavramlarını öğrenirken öğreneceğim, bu yüzden homotopi tür teorisinin pratik bir programcı için ne anlama geldiğini anlamadan önce uzun zaman alacak gibi görünüyor.
Homotopy tip teorisinin uygulamada programlama üzerinde nasıl bir etkisi olacağını açıklayabilir misiniz? Örneğin, bazı şeylerin yazılmasını kolaylaştırır mı? Varsa, hangi şeyler? Yoksa programlamada daha önce mümkün olmayan yeni şeyler yapmanıza izin verecek mi? Varsa, hangi şeyler?
Teşekkürler, kafamı daha temel bir seviyeye sarmayı dört gözle bekliyorum.
Programcıların pratik olmasını her zaman tahakkuk ettirmeyeceğini ve her zaman anlaşılmaz kalacağını umuyorum. En iyi ihtimalle, daha hızlı derleyiciler veya matematiksel futan yararlanan büyülü kara kutular alabiliriz.
—
Telastyn
Haha ben de öyle düşünüyorum. Yine de merak ediyorum, cevap bu mu yoksa söylediklerinin ötesinde bir şey var mı? Örneğin, veritabanları bundan yararlanabilir mi? Ya da bunun gibi bir şey.
—
Lance Pollard
Hiç bir fikrim yok. Özeti okudum ve hemen akıl almaz akademik mumbo-jumbo için kovaya bıraktım.
—
Telastyn
önerilen okuma: $ {something} 'i $ {someone}' a nasıl açıklayabilirim?
—
gnat
@Telastyn: Portekizce bir kitap indirirseniz, dili öğrenmeye çalışmadığınız sürece kitap da anlaşılmaz olacaktır. Portekiz kitaplarını neden mumbo-jumbo aşağılayıcı terimiyle açık bir şekilde kınıyor ? Gödels'in ilkel özyinelemeli işlevler getirme motivasyonu son derece akademikti, özellikle dünya 30'lu yıllarda herhangi bir program bile çalıştırmadı. Sadece pratik bir programcı olduğu için akademik konular sizin yeteneklerinize "her zaman anlaşılmaz kalacaktır" diye düşünmüyorum.
—
Nikolaj-K