Mars Curiosity Rover wylądował pomyślnie, a jeden z filmów promocyjnych „7 minut terroru” przechwala się tam będąc 500.000 linii kodu. To bez wątpienia skomplikowany problem. Ale to dużo kodu, na pewno było za tym sporo wysiłku programistycznego. Czy ktoś wie coś o tym projekcie? Mogę sobie tylko...
Jestem dogłębnie programowany i poznałem języki, w tym BASIC, FORTRAN, COBOL, LISP, LOGO, Java, C ++, C, MATLAB, Mathematica, Python, Ruby, Perl, JavaScript, asembler i tak dalej. Nie rozumiem, jak ludzie tworzą języki programowania i opracowują dla nich kompilatory. Nie mogłem również zrozumieć, w...
Ostatnio przydzielono mi czytanie z debat Tanenbaum-Torvalds w mojej klasie OS. W debatach Tanenbaum dokonuje pewnych prognoz: Mikrojądra to przyszłość x86 wymrze, a architektury RISC zdominują rynek (Za 5 lat) wszyscy będą korzystać z bezpłatnego systemu operacyjnego GNU Miałem rok, kiedy...
Jestem teraz bardzo ciekawy. Jestem programistą Python, a to pytanie mnie zaskoczyło: piszesz system operacyjny. Jak to działa? Trzeba go jakoś uruchomić, a ten sposób jest w innym systemie operacyjnym? Jak aplikacja może działać bez systemu operacyjnego? Jak nakazać komputerowi uruchomienie,...
Ostatnio miałem problem z czytelnością mojego kodu. Miałem funkcję, która wykonała operację i zwróciła ciąg reprezentujący identyfikator tej operacji do przyszłego odwołania (trochę jak OpenFile w Windows zwracający uchwyt). Użytkownik użyje tego identyfikatora później, aby rozpocząć operację i...
W moim systemie plików (Windows 7) mam kilka plików tekstowych (jeśli są to pliki skryptowe SQL). Po otwarciu za pomocą Notepad ++ , w menu „Kodowanie” niektóre z nich mają kodowanie „UCS-2 Little Endian”, a niektóre „UTF-8 bez BOM”. Jaka jest tutaj różnica? Wszystkie wydają się być całkowicie...
Zastanawiałem się, czy ktoś wie, jaki system operacyjny jest używany w samolotach komercyjnych (powiedzmy Boeing lub Airbus). Jaki jest (preferowany) język programowania w czasie rzeczywistym? Słyszałem, że Ada jest używana w Boeingu, więc moje pytanie brzmi - dlaczego Ada? jakie kryteria musieli...
Studiując kurs dla początkujących na temat interfejsu sprzętowego / programowego i systemów operacyjnych, często pojawia się pytanie, czy lepiej byłoby wymienić niektóre części sprzętowe na oprogramowanie i odwrotnie. Nie mogę nawiązać
Próbuję ustalić szczegóły techniczne, dlaczego oprogramowanie wyprodukowane przy użyciu języków programowania dla niektórych systemów operacyjnych działa tylko z nimi. Rozumiem, że pliki binarne są specyficzne dla niektórych procesorów ze względu na język maszynowy, który rozumieją i różne zestawy...
Czy istnieją badania dotyczące skuteczności języków statystycznych i dynamicznych? W szczególności: Pomiary wydajności programisty Wskaźnik defektów Uwzględnia także skutki zastosowania testu jednostkowego. Widziałem wiele dyskusji na temat zalet każdej ze stron, ale zastanawiam się, czy...
Zdaję sobie sprawę, że niektóre rzeczy są łatwiejsze / trudniejsze w jednym języku niż w drugim, ale interesują mnie tylko funkcje związane z typem, które są możliwe w jednym, a niemożliwe / nieistotne w drugim. Mówiąc dokładniej, zignorujmy rozszerzenia typu Haskell, ponieważ jest ich tak wiele,...
Rozważ to pytanie „akademickie”. Zastanawiałem się od czasu do czasu, aby uniknąć NULL-ów i jest to przykład, w którym nie mogę znaleźć zadowalającego rozwiązania. Załóżmy, że przechowuję pomiary tam, gdzie czasami wiadomo, że pomiar jest niemożliwy (lub jego brak). Chciałbym przechowywać tę...
Eric Lippert podkreślił bardzo interesujący punkt w swojej dyskusji na temat tego, dlaczego C # używa nullraczej niż Maybe<T>typu : Ważna jest spójność systemu typów; czy zawsze możemy wiedzieć, że odwołanie, które nie ma wartości zerowej, nigdy nie jest w żadnym wypadku uważane za...
Dlaczego jest to w porządku i najczęściej oczekiwane: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... podczas gdy to nie jest OK i nikt nie narzeka: concrete type Name : string { } concrete type Index :...
Zakładając język z pewnym nieodłącznym rodzajem bezpieczeństwa (np. Nie JavaScript): Biorąc pod uwagę metodę, która akceptuje a SuperType, wiemy, że w większości przypadków, w których możemy ulec pokusie przeprowadzenia testów typu w celu wybrania akcji: public void DoSomethingTo(SuperType o) {...
tło Projektuję język jako projekt poboczny. Mam do tego działający asembler, analizator statyczny i maszynę wirtualną. Ponieważ mogę już skompilować i uruchomić nietrywialne programy z wykorzystaniem infrastruktury, którą zbudowałem, pomyślałem o wygłoszeniu prezentacji na moim...
Typ dolny to konstrukcja występująca głównie w matematycznej teorii typów. Jest również nazywany pustym typem. Jest to typ, który nie ma wartości, ale jest podtypem wszystkich typów. Jeśli typ zwracany przez funkcję jest typem dolnym, oznacza to, że nie zwraca. Kropka. Może zapętla się na zawsze,...
W JavaScript: Dobre części Douglasa Crockforda wspomina w swoim rozdziale dotyczącym dziedziczenia: Inną zaletą klasycznego dziedziczenia jest to, że obejmuje specyfikację systemu typów. To głównie uwalnia programistę od konieczności pisania jawnych operacji rzutowania, co jest bardzo dobrą...
Piszę aplikację, która działa ze zdjęciami satelitarnymi, a mój szef poprosił mnie, abym przejrzał niektóre aplikacje komercyjne i zobaczył, jak się zachowują. Znalazłem dziwne zachowanie, a potem, gdy szukałem, znalazłem je również w innych standardowych aplikacjach. Programy te najpierw zapisują...
PHP, jak większość z nas wie, ma słabe pisanie . Dla tych, którzy tego nie robią, PHP.net mówi: PHP nie wymaga (ani nie obsługuje) jawnej definicji typu w deklaracji zmiennej; typ zmiennej jest określony przez kontekst, w którym zmienna jest używana. Uwielbiam to lub nienawidzę, PHP ponownie...