⊸ ne anlama gelir
B’yi elde etmek için girdi kaynağı A tüketilir.
Doğrusal mantık, kaynakları izleyerek akıl yürütme biçimidir: bir varsayım gelişigüzel biçimde yeniden kullanılamaz ya da atılamaz. A ⊸ B uygulandığında B’yi elde etmek için A tüketilir.
Jean-Yves Girard doğrusal mantığı 1987’de ortaya koydu; bu mantığın gösteriminde ⊸, doğrusal gerektirmeyi belirtir.
Doğrusal mantıkta ve kaynakları izleyen programlama tür sistemlerinde kullanılan uzmanlık gösterimi.
Bunu sıradan bir “A ise B” diye okuma: kullanıldığında A tüketilir.
Sık sorulan sorular
1⊸, → ile aynı mı?
Hayır. Doğrusal mantıkta ⊸ kaynak kullanımını izler; sıradan → tek başına bu kuralı içermez. Açıkça doğrusal mantık olarak tanımlanmamış bir bağlamda yazarın tanımlarını izleyin.
⊸ nasıl yazılır
⊸\22B8Kodlar ve kodlamaKod noktaları: 1
Görünür bir sembol birden fazla kod noktası içerebilir. JS .length UTF-16 birimlerini, UTF-8 ise baytları sayar.