correctness

6Ciepło

4Odpowiedz

Sprawdzanie poprawności programu przy użyciu typów fantomowych w Haskell

Załóżmy, że pracuję z kodem maszyny stosu, która może wykonywać proste operacje (push constant, add, mul, dup, swap, pop, convert types) na int i double . Teraz program, który piszę, przyjmuje opis w

5Ciepło

4Odpowiedz

czy moje wyliczenie jest poprawne?

W całym naszym projekcie mamy tego rodzaju wyliczenia. Działają dobrze, ale nie jesteśmy do końca pewni. Specjalnie z metodą getDocumentType (String). Czy istnieje sposób na uniknięcie iteracji na wsz

7Ciepło

1Odpowiedz

Poprawność kodu cnotonowego

Czy kod produkowany przez Cython jest zawsze tak samo poprawny, jak kod Pythona, z którego został wyprodukowany? Może pomóc innym czytelnikom w rozwiązaniu problemu z użyciem deklaracji typu statyczne

14Ciepło

1Odpowiedz

Dowody poziomu otwartego typu w Haskell/Idris

W Idris/Haskell można udowodnić właściwości danych poprzez opisywanie typów i używanie konstruktorów GADT, takich jak Vect, jednak wymaga to zakodowania właściwości w typie (np. musi być oddzielnym ty

6Ciepło

2Odpowiedz

Poprawność i logika algorytmu: minimalna liczba kroków do jednego

Problem Statement: W przypadku liczby całkowitej dodatniej można wykonać dowolny z 3 następujących kroków. Odejmij od niego 1. (N = n - 1) Jeśli jego dzieli się przez 2, podzielić przez 2. (jeśli n% 2