CatalaLang/catala: Hukuki spesifikasyonlar için bir programlama dili

• Catala, hukuki metinlerden algoritmalar üretmek için tasarlanmış alan özelinde bir programlama dilidir.
• Bu dil, sosyal-mali hukuk programlamasına uygun olacak şekilde ayarlanmıştır ve karmaşık sosyal-mali mekanizmaların kod-hukuk sadakati yüksek bir düzeyde uygulanmasını sağlar.
• Bu süreç, ilgili tüm yasaların, idari emirlerin ve önceki içtihatların toplanmasını ve metnin kodun anlamına göre açıklama notlarıyla işaretlenmesini içerir.
• Catala derleyicisi, alan uzmanlarının, örneğin avukatların, inceleyip doğru olduğunu onaylayabilmesi için avukatların okuyabileceği bir PDF uygulama sürümü üretebilir.
• Catala'nın mantıksal yapısı, hukukun mantıksal yapısını taklit eder ve temel mantığı birinci sınıf işlevler olarak gömerek onu hukuk programlama için benzersiz biçimde uygun hale getirir.
• Catala, opam paketi olarak sunulur ve opam kurulu makinelerde yüklenebilir.
• Bu dil, Catala derleyicisinin kaynak kodunu değiştirmeden özel backend'ler eklemeyi destekler.
• Catala, Fransız hukuk belgelerinin resmî deposu olan LégiFrance ile entegre çalışan bir komut satırı yardımcı aracı olan Catleg'i içerir.
• Bu dil, hukuk davalarına ilişkin bir bilgisayar veritabanı olan Juris-Data'yı oluşturarak Fransız legaltech alanına öncülük eden hukuk profesörü Pierre Catala'nın adını taşır.
• Catala, Fransız Ulusal Bilgisayar Bilimleri Araştırma Enstitüsü Inria'nın bir araştırma projesidir ve şu anda bazı özellikleri kararsız durumda olacak şekilde geliştirilmektedir.

[GN⁺]

Hacker News görüşleri

• CatalaLang/catala, yasal spesifikasyonlar için tasarlanmış bir programlama dilidir.
• Yorumcular, bu tür bir dilin potansiyeli konusunda heyecanlarını dile getiriyor ve yasalar bu biçimde yazılsaydı kamuoyunun anlayışını artırabileceğini öne sürüyor.
• Yasalar için programlama dili kavramı, Greg Bear'ın "Moving Mars" adlı kitabında "Legal Logic" adıyla anılmıştı.
• Bazıları, bu dille yazılan yasaların doğruluğunu ve etkinliğini garanti altına almak için test senaryoları ve model checker entegrasyonu öneriyor.
• Bu dili açıklayan bir makale yayımlandı ve kısa bir video özeti de sunuluyor.
• Bazı yorumcular, yasaların niyetini netleştirmek ve yanlış anlamaları önlemek için yasalar adına standartlaştırılmış bir test paketi biçimi öneriyor.
• Yasalarda belirsizliğin rolü üzerine bir tartışma var; bazıları belirsizliğin temel ve gerekli olduğunu savunurken, diğerleri programlama dillerinin istenmeyen belirsizliği ortadan kaldırmaya yardımcı olabileceğine inanıyor.
• Bazı kullanıcılar, programlama dillerinin hukuk metinlerinin anlaşılmasına yardımcı olabileceğini, ancak hâlâ insan muhakemesi gerektiren denge kurma gibi karmaşık işlerde yardımcı olamayacağını belirtiyor.
• "Hukuk ve etik için bir programlama dili" olarak tanımlanan Logical English gibi benzer başka girişimlerden de söz ediliyor.
• Yasalar için bir sürüm kontrol sistemi kavramı da öneriliyor; buna, yasanın oluşturulduğu anda net hedeflerin tanımlanması ve inceleme sırasında kontrol edilmesi gereken kısıtların belirlenmesi de dahil.