O usłudze
PrzetłumaczonePiszę programy w języku Oz—multiparadigmowym języku systemu Mozart—i traktuję paradygmaty jako narzędzia, a nie doktryny. W ramach jednego programu swobodnie poruszam się między obliczeniami funkcyjnymi, logiką relacyjną, propagacją ograniczeń i współbieżnością przepływu danych, wybierając model, który czyni daną część zadania jasną i poprawną. To inny sposób rozwoju niż zwykłe kodowanie imperatywne, a sprawdza się dokładnie tam, gdzie zwykłe podejścia mają trudności: w problemach wyszukiwania, harmonogramowaniu, konfiguracji, rozumowaniu symbolicznym i prototypach pomysłów językowych.
Większość mojej pracy dotyczy programowania z ograniczeniami i wyszukiwania. Modeluję problem za pomocą zmiennych o skończonym zakresie, wyrażam zasady przez propagatory i kieruję rozwiązującym za pomocą własnych strategii rozkładu i rozgałęziania, utrzymując ogromne przestrzenie kombinatoryczne w zarządzaniu. W Oz współbieżność jest wbudowana w język za pomocą zmiennych logicznych i synchronizacji przepływu danych: pozwala mi to budować czyste rurociągi "producent-konsument", agentów i lekkie wątki bez zwykłych problemów z blokadami. Pewnie rozważam deterministyczność, enkapsulowane wyszukiwanie i subtelne współdziałanie lenistwa, portów i komórek, które nadaje Ozowi jego ekspresyjność.
Poza rozwiązywaniem problemów, używam Oza do nauczania i wsparcia badań. Pomogłem studentom i badaczom zrozumieć pomysły z "Koncepcji, Technik i Modeli Programowania Komputerowego", przekształcając złożone pojęcia stanu, współbieżności i obliczeń deklaratywnych w działające przykłady z szczegółowym komentarzem. Mogę przenieść algorytm z artykułu do Oza, porównać alternatywne strategie rozkładu pod względem wydajności lub owinąć komponent Mozarta, aby komunikował się ze światem zewnętrznym. Jeśli masz zadanie, które "pachnie" wyszukiwaniem, ograniczeniami lub elegancką współbieżnością, szczerze powiem ci, czy Oz jest odpowiedni.
— Modelowanie z ograniczeniami i o skończonym zakresie z niestandardowymi propagatorami
— Enkapsulowane i równoległe wyszukiwanie, strategie rozkładu i rozgałęzania
— Współbieżność przepływu danych, zmienne logiczne, strumienie, porty i agenci
— Programowanie funkcyjne i relacyjne w jednej bazie kodu
— Wsparcie w nauce dla pomysłów multiparadigmowych w duchu CTM
— Prototypowanie cech językowych i obliczeń symbolicznych w Mozarcie
Większość mojej pracy dotyczy programowania z ograniczeniami i wyszukiwania. Modeluję problem za pomocą zmiennych o skończonym zakresie, wyrażam zasady przez propagatory i kieruję rozwiązującym za pomocą własnych strategii rozkładu i rozgałęziania, utrzymując ogromne przestrzenie kombinatoryczne w zarządzaniu. W Oz współbieżność jest wbudowana w język za pomocą zmiennych logicznych i synchronizacji przepływu danych: pozwala mi to budować czyste rurociągi "producent-konsument", agentów i lekkie wątki bez zwykłych problemów z blokadami. Pewnie rozważam deterministyczność, enkapsulowane wyszukiwanie i subtelne współdziałanie lenistwa, portów i komórek, które nadaje Ozowi jego ekspresyjność.
Poza rozwiązywaniem problemów, używam Oza do nauczania i wsparcia badań. Pomogłem studentom i badaczom zrozumieć pomysły z "Koncepcji, Technik i Modeli Programowania Komputerowego", przekształcając złożone pojęcia stanu, współbieżności i obliczeń deklaratywnych w działające przykłady z szczegółowym komentarzem. Mogę przenieść algorytm z artykułu do Oza, porównać alternatywne strategie rozkładu pod względem wydajności lub owinąć komponent Mozarta, aby komunikował się ze światem zewnętrznym. Jeśli masz zadanie, które "pachnie" wyszukiwaniem, ograniczeniami lub elegancką współbieżnością, szczerze powiem ci, czy Oz jest odpowiedni.
— Modelowanie z ograniczeniami i o skończonym zakresie z niestandardowymi propagatorami
— Enkapsulowane i równoległe wyszukiwanie, strategie rozkładu i rozgałęzania
— Współbieżność przepływu danych, zmienne logiczne, strumienie, porty i agenci
— Programowanie funkcyjne i relacyjne w jednej bazie kodu
— Wsparcie w nauce dla pomysłów multiparadigmowych w duchu CTM
— Prototypowanie cech językowych i obliczeń symbolicznych w Mozarcie
