MD Tech Blog

Warto znać różne narzędzia programistyczne do rozwiązywania odpowiednich problemów. Czasem się zdarzy, że rozwiązanie danego problemu da się wyrazić w postaci zdań logicznych. Jednym z języków, które pozwalają na programowanie w logice jest Prolog. Aczkolwiek czasem chciałoby się coś więcej.

W językach imperatywnych rozróżniamy dwa rodzaje funkcji - takie, które zwracają wartość i takie, które nic nie zwracają (void). Chcielibyśmy się upewnić, że jeśli funkcja ma coś zwracać to zwraca wartość na każdej ścieżce wykonania.

Często problem złożoności obliczeniowej można odłożyć na później. Bo działa. Ale kiedy trafi się, że nasz algorytm będzie musiał przerobić większe ilości danych, to nagle to czy działa liniowo, kwadratowo, a może i sześciennie ma ogromne znaczenie i jest różnicą między otrzymaniem wyniku za 10 minut lub za 10 dni.

Pół lutego miałem ferie, a potem zaczął się nowy semestr. Spójrzmy co dokładniej się działo.

Dzisiejszy post jest super specyficzny do mojej sytuacji, ale może ktoś z niego skorzysta.

Podczas kompilacji dochodzi do wielu optymalizacji. Jest wiele operacji, które można wykonać raz podczas kompilacji, zamiast podczas każdego wykonania programu. Poniżej opiszę zwijanie stałych i propagację stałych.

Są języki dynamicznie typowane i są języki statycznie typowane. Ja wyznaję wyższość języków ze statycznym typowaniem, ale są różne opinie. Dzisiaj spojrzymy na to jak wygląda sprawdzanie typów podczas kompilacji.

Postanowiłem robić posty podsumowujące co miesiąc, bo ciężko strasznie robić podsumowanie całego roku, kiedy nie pamięta się już dobrze tego co działo się na początku roku.

Odsładzanie (z ang. desugaring) to proces przetwarzania abstrakcyjnego drzewa składni, do pewnej prostszej (logicznie) formy, który być może w kodzie zajmowałaby za dużo miejsca.

Ze względu na zmianę umowy internetowej, UPC wymieniło mi router, tym samym pozbywając mnie dzierżawy IPv4, a zamiast tego dostarczając dzierżawę IPv6, które potencjalnie będzie się co tydzień zmieniać. W obec tego nadszedł czas zabezpieczyć mój domowy serwer przed brakiem dostępu spowodowanym zmianą IP.