http://www.stsc.hill.af.mil/CrossTalk/2008/01/0801DewarSchonberg.html

Z niektórymi punktami zgadzam a z niektórymi nie.

  1. Formal Methods and Software Construction - piszą, że formalne metody dowodzenia poprawności programów są bardzo ważne. Na studiach z formalnych metod miałem logiką algorytmiczną. Dowód poprawności programu był tak 3-4x dłuższy od samego programu i tyleż więcej błędów można było popełnić w samym rozumowaniu. Tu akurat piszą o logikach temporalnych. Ktoś się z tym spotkał i jest w stanie potwierdzić, że to się nadaje do tworzenia złożonego oprogramowania?
  2. The Pitfalls of Java as a First Programming Language - czyli Java zła na początek. Zgodzę się ale tylko częściowo.

Because of its popularity in the context of Web applications and the ease with which beginners can produce graphical programs, Java has become the most widely used language in introductory programming courses

Z tym się zupełnie nie zgadzam.
Pierwsze słysze, żeby na kursach podstaw programowania uczyli servletów czy frameworków typu Spring (bo chyba to autorzy mają na myśli pisząc o programowaniu webowym). Po drugie nie wiem skąd pogląd, że pisanie GUI to takie łatwe zadanie. Swing wykorzystuje masę wzorców projektowych od dekoratorów po MVC do tego dochodzi współbieżność oraz ogólnie kwestie interakcji człowiek-komputer. Więc ja nie wiem czy tak prosto stworzyć "aplikację graficzną".
3. A Real Programmer Can Write in Any Language (C, Java, Lisp, Ada) - zgadzam się w 100% szczególnie z częścią dot. LISPa.

A co wy myślicie o tym artykule?