typechecking

13Ciepło

1Odpowiedz

W jaki sposób mam korzystać z pakietu haskell-type-exts?

Próbuję sprawdzić poprawność kodu podanego w postaci ciągu. Znalazłem pakiet Haskell-Type-ekstrahowane (hackage link), który wydaje się zapewniać co potrzebne: Z parseModule AST zostanie zbudowana na

8Ciepło

1Odpowiedz

Jak sprawdzić typ pola struct w eliksiru?

Powiedzmy mam: defmodule Operator do defstruct operator: nil @type t :: %Operator { operator: oper } @type oper :: logic | arithmetic | nil @type logic :: :or | :and

7Ciepło

1Odpowiedz

W R, inne zachowanie między `is.list (x)` i `is (x, 'list')`

Jakie jest wytłumaczenie następującego zachowania? is.list(data.frame()) ## TRUE is(data.frame(),'list') ## FALSE is(data.frame()) ## "data.frame" "list" "oldClass" "vector" extends('data.frame','l

6Ciepło

1Odpowiedz

Czy możliwe jest egzekwowanie sprawdzania danych w MySQL przy użyciu wyrażenia regularnego

Załóżmy, że mam atrybut o nazwie numer telefonu i chciałbym wprowadzić pewną ważność w odniesieniu do wpisów w tym polu. Czy mogę użyć do tego celu wyrażenia regularnego, ponieważ Wyrażenie regularne

8Ciepło

3Odpowiedz

Dziedziczenie - dlaczego jest to nielegalne?

Przechodzę do quizu C++. I natknąłem się na następujący kod - jest nielegalny, ale nie mogę zrozumieć, dlaczego. Czy ktoś może wyjaśnić, dlaczego ta linia: Box* b1 = s1->duplicate(); generuje błąd k

5Ciepło

2Odpowiedz

Python - parametr kontroli z Exception Podnoszenie

jestem próby zapisu wyjątku podnoszenie bloków kodu do mojego kodu Pythona w celu zapewnienia, że parametry przekazywane do funkcji spełniać odpowiednie warunki (tj dokonywania parametry obowiązkowy

16Ciepło

3Odpowiedz

Jak generować losowe, wpisane funkcje

Chciałbym programowo generować losowe funkcje Haskella i je oceniać. Wydaje mi się, że jedynym sposobem, aby to zrobić, jest generalne programowanie kodu Haskella i uruchamianie go za pomocą interfejs

12Ciepło

2Odpowiedz

Poczytalność nagłówków

Właśnie zaczynam uczyć C++, pochodzących z innych języków. Żałuję, że nie było sposobu, aby konsekwentnie sprawdzać API stworzone przez plik (studenta). Załóżmy student podnosi tego pliku: // this is

7Ciepło

1Odpowiedz

Flowtype - ciąg niekompatybilny z ciągiem enum

Mam wartość, która pochodzi z wejścia select i jest typu string, jednak chcę przekazać go do funkcji (updateLanguage), która otrzymuje jako argument wyliczenie łańcuchowe z typem alias (Język). Proble

8Ciepło

2Odpowiedz

Dlaczego konieczna jest redukcja kontekstu?

Właśnie przeczytałem this paper ("Klasy typów: eksploracja przestrzeni projektowej" autorstwa Peytona Jonesa & Jones), co wyjaśnia niektóre problemy związane z wczesnym systemem Haskella i jego ulepsz