typechecking

9ısı

1cevap

Python

'de yer alan tür ek açıklamaları Türlerin kendi kendine referanslarının python3's type annotations ile nasıl çalıştığını anlamaya çalışıyorum - bu konuda hiçbir şey belirtilmemiş. Örnek olarak : from

python python-3.x python-3.5 typechecking 2016-03-24

---

6ısı

2cevap

Data.Proxy servant'ın public API'sinde (neden Proxy with ScopedTypeVariables çalışmaz)

servant hakkında heyecanlıyım ve dahili typelevel sihirbazının yolunda gitmediği sürece iyiyim ve Beni şaşırtan tek şey, genel API'de type-proxy'un kullanılmasıdır. İşte code var: serve :: HasServer l

haskell types typechecking 2015-07-26

---

5ısı

3cevap

kullanın isinstance ben böyle bir şey yapmak nasıl Unicode dizesi

test etmek için: >>> s = u'hello' >>> isinstance(s,str) False Ama bu Unicode olarak kodlanmış dize için True dönmek isinstance istiyorum. Unicode dize nesne türü var mı?

python unicode typechecking 2014-07-01

---

8ısı

1cevap

Elixir'de yapı alanının türü nasıl kontrol edilir?

ı var diyelim: sonra defmodule Operator do defstruct operator: nil @type t :: %Operator { operator: oper } @type oper :: logic | arithmetic | nil @type logic :: :or |

elixir typechecking 2015-01-17

---

0ısı

1cevap

Groovy: yöntem uygulanamaz (yakalama <?>)

Groovy'un statik typechecker ile oynuyorum ve ilginç bir sorunla karşılaştım. Java yöntemini çağıran Groovy yöntemim var. Groovy tarafta, bu kod iyi çalışır, ben typechecking olmadan public static Map

groovy typechecking 2016-04-11

---

8ısı

2cevap

Tip azaltma sonsuz döngü

Amacım bu gibi terimlerden () ortadan kaldırmaktır: (a, b) -> (a, b) ((), b) -> b (a, ((), b)) -> (a, b) ... Ve bu kod şudur: bunu deneyerek, Ancak {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE T

haskell infinite-loop typechecking type-families 2016-09-08

---

6ısı

1cevap

MySQL'de Veri Denetimi'ni Düzenli İfade Kullanarak Uygulamak Mümkün mü

Sanırım telefon numarası diye bir özniteliğim var ve bu alana girişlerde belirli bir geçerlilik sağlamak istiyorum. Düzenli İfade, kısıtlamaları tanımlamada çok esnek olduğundan, bu amaçla düzenli ifa

mysql regex triggers typechecking enforcement 2013-04-14

---

27ısı

4cevap

Android Studio'nun "beklenen kaynak türü" kontrolleri?

Android Studio Beta (0.8), bazı int parametrelerinin rasgele tamsayılar olmadığını, ancak bazı özelliklerin olduğunu kontrol ettiği şık yeni bir özelliğe sahiptir. Böyle bir şey çağıran Örneğin : setC

android android-studio lint typechecking 2014-07-12

---

8ısı

2cevap

Akış için "JQuery Arayüz dosyası" (Facebook'tan JavaScript için Statik Tip Kontrol Cihazı)?

Kasım 2014'te, 3 ay önce, Facebook açık kaynaklı yeni bir komut satırı aracı, "Flow" adı verilen bir statik tip denetleyicisi. Şimdi eski, mevcut javascript dosyalarından birkaçında çalıştırmak istiyo

javascript jquery facebook typechecking flowtype 2015-02-03

---

12ısı

2cevap

Başlıklar Sanity

Sadece diğer dillerden gelen C++ öğretmeye başlıyorum. Bir (öğrenci) dosyası tarafından oluşturulan API'yi tutarlı bir şekilde kontrol etmenin bir yolunun olmasını diliyorum. bir öğrenci bu dosyayı gö

c++ linker typechecking 2014-09-08

---