Inżynieria oprogramowania

12
Schemat sekwencji: czy aktorzy są przedmiotami?

Najbardziej prawdopodobna odpowiedź brzmi „nie”, ale mam wątpliwości. Czy aktor może działać jak klasa? Wiem, że aktorzy wyzwalają zdarzenia i mogą mieć podpowiedzi, ale jeśli istnieje klasa modelująca aktora (na przykład klasę użytkownika), czy możemy wywoływać metody nad nimi? Czy jest to...

12
Czy można udowodnić, że funkcja jest idempotentna?

Czy można użyć typów statycznych lub zależnych, aby udowodnić, że funkcja jest idempotentna? Przeszukałem Google i różne miejsca na StackOverflow / StackExchange w celu znalezienia odpowiedzi bez powodzenia. Najbliżej znalazłem rozmowę o Idrisie:

12
Dlaczego wdrażane są numery bez znaku?

Nie mogę zrozumieć, dlaczego systemy mikroprocesorowe implementują niepodpisane liczby. Sądzę, że koszt jest tylko dwukrotnością liczby gałęzi warunkowych, ponieważ większa niż, mniejsza niż .etc, potrzebuje innego algorytmu niż podpisany, czy nadal istnieją jakieś algorytmy, dla których liczby bez...

12
Scrum - programiści pracujący poza Sprintem

Zespół Scrumowy 3 x programistów 2 x testery 1 x analityk testów automatyki Nie jesteśmy zespołem wielofunkcyjnym, ponieważ programiści nie testują, a testerzy nie rozwijają się. Uważam, że jest to główna przyczyna problemu. Obecnie wykonujemy dwutygodniowe sprinty. Na początku sprintu...

12
Udostępnianie części monorepo

Obecnie mamy złożony i nieefektywny system kompilacji składający się z wielu repozytoriów SVN i Git (po około 50%), w tym repozytorium podmodułów git. Mamy też domowe skrypty, które lepiej lub mniej dobrze zarządzają całym procesem. Głównym punktem naszej bazy kodu (zamkniętego źródła) jest to, że...