Terimbilimsel anlambilim (DS) hakkında biraz okudum ve türlerin ve işlevlerin matematiğe göre güçlü ve net eşlemelere sahip olduğu bilgisayar programları tasarlama süreci hakkında çok meraklıyım.
DS'ye dayalı program tasarlamayı detaylı olarak tartışan herhangi bir kaynak var mı? Konuyla ilgili birkaç yüzeysel tedavi gördüm.
Haskell, Scala, Common Lisp ve biraz Scheme konusunda konuşuyorum, böylece bu dilleri kullanan herhangi bir kaynak çok takdir edilecektir.
7
İşi Conal
Curry-Howard izomorfizmi, eğer bilmiyorsanız, anahtar kelimedir.
—
pedrofurla
Ben de benzer bir şey düşündüm. Noktaların, rijit cisimlerin ve akışkanların nümerik simülasyonunu tasarlamaya çalıştım. Bu ( github.com/takagi/SimulationDSL ) Haskell DSL'de vektör cebirini ve kısmi denklemleri ifade ettiğim denemelerimden biri. Ayrıca Conal Elliott'un çalışmasını da kontrol ettim.
Samuel Kamin'in "Wadler'in güzel baskı kombinatorlerinin uygulama odaklı bir semantiği" ni okumak isteyebilirsiniz. İyi bilinen, gerçek dünyadan bir örneği uygulamak için operasyonel ve özdeş yaklaşımları karşılaştırır ve özdeşleştirme yaklaşımına yönelik savunuculuğu içerir.
—
stephen tetley