Rozpocząłem nagrodę za to pytanie

...bo naprawdę chcę wkład społeczności. Mogę (i mieć) spojrzał na kilka języków / RAM i myśleć " dobrze, to będzie pewnie działa dobrze , ale ja bym naprawdę doceniam porady, które są oparte specjalnie na problem, z którym się borykam, a zwłaszcza z każdy z doświadczeniem integrującym / korzystając z tego, co polecasz.

Pracuję nad oprogramowaniem do analizy naukowej. Informatyka dostarcza wiele narzędzi do matematycznej transformacji danych. Jedno narzędzie pozwala użytkownikowi wprowadzić własne równanie, które jest uruchamiane na zbiorze danych (duża macierz wartości 2D lub 3D) i oceniane.

To narzędzie ma graficzny edytor równań, który wewnętrznie buduje obiektowe drzewo wyrażeń z innym obiektem dla każdej operacji (na przykład byłaby instancja klasy Logarytm, która jest węzłem w drzewie do dodawania obliczania logarytmu o wartości wartość do bazy; ma dwoje dzieci, które są jego wejściami. Zrzut ekranu części:

Widać drzewo, które buduje po lewej stronie, i kilka z wielu (pięćdziesiąt?) potencjalne operacje w menu po prawej stronie.

To ma kilka wad:

• edytor graficzny staje się niezgrabny dla złożonych równań
• istnieją pewne operacje, które są trudne do przedstawienia graficznie, takie jak tworzenie dużych macierzy (jądro dla n x n na przykład)
• pozwala tylko na równania: nie ma rozgałęzień ani innej logiki

Było schludne, gdy było znacznie prostsze, ale już nie, dla tego rodzaju rzeczy, które nasi użytkownicy chcą z nim robić. Gdybym to teraz napisał, zrobiłbym to zupełnie inaczej - i to jest moja szansa:)

Chciałbym dać użytkownikowi coś mocniejszego i pozwolić mu pisać kod-skrypt lub skompilowany-który może wykonywać znacznie bardziej zaawansowane operacje. jestem szukając porady SO, jakiej technologii należy użyć lub najlepszego podejścia do niej.

Ważne ograniczenia:

• Nasza matematyka operuje na dużych macierzach. W powyższym równaniu V1 reprezentuje wejście (jedno z potencjalnie wielu) i jest 2D lub 3D, a każdy wymiar może być duży: na zamówienie tysięcy albo setki tysięcy. (Rzadko obliczamy to wszystko na raz, tylko plasterki / segmenty. Ale jeśli odpowiedź wiąże się z czymś, co wymaga gromadzenia danych, należy pamiętać, rozmiar i szybkość tego jest brana pod uwagę.)

• Podane przez nas operacje pozwalają zapisać, powiedzmy, 2 x V, co mnoży każdy element w V przez 2. Rezultatem jest kolejna matryca o tej samej wielkości. Innymi słowy, język skryptowy lub programistyczny, który zawiera standardowe prymitywy matematyczne, nie jest wystarczy: musimy być w stanie kontrolować co prymitywy są dostępne, lub Jak są one realizowane.

  Operacje te mogą być złożone: Wejście Może być tak proste jak liczba (2, 5.3, pi) lub tak złożone jak macierz 1, 2 lub 3-wymiarowa, która zawiera liczbowe, Dane logiczne lub złożone (wartości sparowane). Moje obecne myślenie jest wystarczająco potężnym językiem, któremu możemy ujawnić nasze typy danych jako klasy i zaimplementować standard operatorzy. Prosty ewaluator nie wystarczy.

  • zamiast po prostu pisać operacje, które są ewaluowane iteracyjnie na jednym lub kilku wejściach w celu dostarczenia wyjścia, jak obecnie (co jest łatwo zaimplementowalne za pomocą ewaluatora wyrażeń), chciałbym, aby użytkownik mógł: dostarczać wyjścia o różnych rozmiarach do wejść; wywoływać inne funkcje; itp. W przypadku programu hosta przydatne byłoby pytanie kodu użytkownika, która część lub kawałek danych wejściowych będzie wymagana do ocenia wycinek lub część wyjścia. Myślę, że pokazanie jakiejś części naszych zajęć i używanie języka OO jest prawdopodobnie najlepszym sposobem na osiągnięcie tych punktów.

• W 2011 roku firma Matlab wprowadziła do swojej oferty nowe oprogramowanie do programowania, które zostało opracowane przez firmę Matlab.]}

• Używamy Embarcadero C++ Builder 2010 do rozwoju, z niewielkimi ilościami Delphi. Może to ograniczyć to, z czego możemy korzystać - to, że coś jest C++, powiedzmy, nie znaczy, że będzie działać, jeśli zostanie zakodowane tylko przeciwko VC++ lub GCC. Musi być również odpowiedni do użytku z oprogramowaniem komercyjnym.

• Nasze oprogramowanie posiada obecnie interfejs COM, a część aplikacji może być zautomatyzowana, ponieważ nasza aplikacja jest poza procesowym serwerem COM. Możemy dodać interfejsy COM do niektórych wewnętrznych obiektów lub stworzyć drugi framework COM specjalnie do tego celu, jeśli jest to wymagane.

• "narzędzia", w tym ten jest migrowany do wielowątkowego frameworka. Rozwiązanie końcowe musi być wykonane w dowolnym wątku i w wielu jego instancjach naraz . Może to mieć wpływ na środowisko uruchomieniowe języka hostowanego - Python 2.na przykład X ma blokadę globalną.

• Byłoby wspaniale używać języka, który pochodzi z bibliotek do użytku matematycznego lub naukowego.

• Kompatybilność wsteczna ze starym narzędziem wyrażenia nie jest ważna. To jest wersja 2: czyste konto!

Aktualne pomysły:

• RemObjects Pascal Script i DWScript są językami łatwo bindowalnymi do klas pochodnych TObject. Nie wiem, czy można zapewnić operatorowi przeciążenie.
[24]}hostowanie środowiska wykonawczego.Net i ładowanie bibliotek DLL opartych na C# (powiedzmy) jako wtyczek. Podoba mi się ten pomysł: widziałem to, gdzie program host zapewnia zakreślacz składni, debugowanie itp. Domyślam się, że to był Ogromna ilość kodowania. Umożliwiłoby to również korzystanie z IronPython i F#.
• RemObjects Hydra wygląda na ciekawy sposób osiągnięcia tego. Bezsprzecznie reklamuje się dla Delphi, a nie c++ Buildera; sprawdzam kompatybilność.
• Hosting czegoś w rodzaju Pythona, który jest wykonalny z RAD Studio
• zapewnienie interfejsu BPL i umożliwienie użytkownikom kodowania bezpośrednio przed naszym programem, jeśli kupują kopię Aby udostępnić interfejs wtyczki i wystawić klasy za pomocą interfejsów; może być konieczne skompilowanie wtyczek z kompatybilną binarnie wersją naszego IDE)
• ...

Dzięki za wkład! Doceniam wszystkie odpowiedzi, nawet jeśli nie są do końca doskonałe - mogę badać, jestem po wskazówki, gdzie się udać ,i opinie (proszę, opinie z powodów zawartych w odpowiedzi :p) na temat tego, jak podejść do niego lub co może być odpowiednie. Każda odpowiedź, bez względu na to, jak krótka, będziemy wdzięczni. Ale jeśli polecisz coś w szczegółach, a nie tylko "używaj języka X", będę bardzo zainteresowany przeczytaniem tego :)

Pozdrawiam,

Dawid

Aktualizacje:

Dotychczas zalecono:

• Python: 2.6 ma globalną blokadę, która brzmi jak zabójca gier. 3 (najwyraźniej) nie ma jeszcze szerokiego wsparcia ze strony użytecznych bibliotek. Brzmi dla mnie (i Wiem, że jestem outsiderem społeczności Pythona) jak fragmentacja trochę-czy jest to naprawdę bezpieczne w użyciu?

• Lua: nie wydaje się być bezpośrednio OO, ale zapewnia "meta-mechanizmy implementacji funkcji, zamiast dostarczania wielu funkcji bezpośrednio w języku" . Brzmi to bardzo fajnie z punktu widzenia programisty, ale nie jest to skierowane do programistów, którzy chcą się bawić fajnymi rzeczami. Nie jestem pewien, jak dobrze by to działało, biorąc pod uwagę grupę docelową - myślę, że język, który zapewnia więcej podstaw wbudowanych byłby lepiej.

• Ms script / ActiveScript. Udostępniamy już zewnętrzny interfejs COM, za pomocą którego nasi użytkownicy automatyzują nasze oprogramowanie, zwykle w języku VBScript. Chciałbym jednak bardziej wydajny (i, szczerze mówiąc, lepiej zaprojektowany) język niż VBS, a JScript też nie jest odpowiedni. Nie wiem też, jakie problemy mogą mieć dane na COM - mamy dużo danych, często bardzo konkretnie wpisanych, więc szybkość i utrzymanie tych typów są ważne.

• Lisp: nawet nie pomyślałem o tym języku, ale wiem, że ma wielu fanów.

• Hosting. Net plugins: nie wspominany przez nikogo. Czy to nie jest dobry pomysł? Dostajesz C#, F#, Python... Czy ma takie same problemy co COM? (Czy hosting CLR działa przez COM?)

Kilka wyjaśnień: przez "macierz" mam na myśli macierz w sensie zmiennej Matlab, czyli ogromną tabelę wartości-nie powiedzmy 4x4 macierz transformacji, jakiej można użyć w oprogramowaniu 3D. Są to dane zbierane w czasie, tysiące wartości często wiele razy na sekundę. Nie chodzi nam również o system algebry komputerowej, ale o coś, w czym użytkownicy mogą pisać pełne wtyczki i pisać własną matematykę-chociaż system mający zdolność do obsługi złożonej matematyki, jak system algebry komputerowej może, byłby przydatny. Wziąłbym "pełny język" zamiast "algebry", ale jeśli te dwa się nie mieszają, aby umożliwić złożone gałęzie / ścieżki w kodzie użytkownika, a także interfejs OO.