strong-typing

7Ciepło

1Odpowiedz

Jak zachować elastyczność pisania w języku Haskella?

Pisałem rosnącą bazę kodów w Haskell. Mój problem polega na tym, że dodałem podpisy typów do funkcji opartych na tym, co GHCI mówi mi, że powinny być. Problem polega na tym, że mam coraz większy zasię

6Ciepło

3Odpowiedz

Jak w prosty sposób utworzyć silnie typowany obiekt z anonimowego obiektu w TypeScript?

Mam niektóre JSON zawierające anonimowe obiekty przychodzące do mojego klienta. Czy istnieje jakiś wbudowany mechanizm lub biblioteka zewnętrzna do konwersji tych anonimowych obiektów w mocno typowane

7Ciepło

1Odpowiedz

Wpisane krotki i zamknięcia w Groovy

Zrobiłem trochę programowania i Haskell, i chciałem zaimplementować niektóre funkcje przetwarzania list Haskella w Groovy. Poniżej znajduje się implementacja unfoldr. Zasadniczo A jest rodzajem wyniko

8Ciepło

1Odpowiedz

ASP.NET Web Forms (4.5) Silnie wpisane wiązanie modelu - DropDownList w InsertItemTemplate of ListView

Uwaga: To jest ASP.NET Web Forms Model Binding w .NET 4.5 i NOT MVC. Korzystam z nowych funkcji silnie typowego wiązania modelu ASP.NET Web Forms (4.5), aby utworzyć listę elementów, które można edyto

20Ciepło

3Odpowiedz

Typ wskazówka/adnotacja (PEP 484) dla numpy.ndarray

Czy ktoś zaimplementował typ wskazówek dla konkretnej klasy numpy.ndarray? W tej chwili używam typing.Any, ale miło byłoby mieć coś bardziej konkretnego. Na przykład, jeśli ludzie numpy dodali type al

5Ciepło

1Odpowiedz

Użycie Tablicy abstrakcyjnych typów w Julii

Odkrywam Julię, więc jestem początkującą. Teraz badam jego silnie typowane funkcje. Rozumiem, że nie widzę użycia abstrakcyjnych typów tablic. Pozwól mi wyjaśnić na przykładzie: Załóżmy, że chciałbym

29Ciepło

2Odpowiedz

Czy typy skalarne i ścisłe w PHP7 to funkcja zwiększająca wydajność?

Od PHP7 możemy teraz use scalar typehint and ask for strict types on a per-file basis. Czy korzystanie z tych funkcji przynosi jakieś korzyści? Jeśli tak, w jaki sposób? Około interwebs Mam tylko znal

5Ciepło

3Odpowiedz

Tworzenie w C#, C++ i Java silną wersję wpisywanych z pytona słabej struktury maszynowy

W python Mam następujący: graph = {} graph[1] = {} graph[2] = {} graph[3] = {} graph[1][3] = graph[3] graph[2][1] = graph[1] graph[2][3] = graph[3] graph[3][2] = graph[2] jest to konstruk

9Ciepło

5Odpowiedz

Zdecydowanie typowane języki po stronie klienta?

Istnieje wiele opcji dla potężnych języków po stronie serwera, ale nie mogę myśleć o silnie napisanych, naprawdę potężnych językach po stronie klienta. JavaScript ma wiele zalet w postaci formularzy,

8Ciepło

7Odpowiedz

Zdecydowanie wpisany dostęp do CSV w scala?

Chciałbym uzyskać dostęp do plików CSV w scala w mocno napisany sposób. Na przykład, gdy czytam każdy wiersz csv, jest on automatycznie analizowany i reprezentowany jako krotka z odpowiednimi typami.