Kompilator SScript

jeśli okno główne aplikacji (czyli to z menu i toolbarem) ustawię jako niezmaksymalizowane i zapiszę schemat, to po restarcie programu formularz ten jest maksymalizowany z automatu

Ok, zaraz się fixnie ;)

Zamiast wyświetlać ten błąd (...) sugeruję wyświetlić okienko z potwierdzeniem czy na pewno chce się nadpisać istniejący schemat;

O tym nie pomyślałem na początku, dodane do TODO i zmieni się w wolnym czasie :)

http://sscript.4programmers.net/download/23-07-2013.zip

Voilà - w ten oto sposób prezentuję przed Wami kolejne pełne wydanie pełne równie "fajnych" zmian, jak i poprzednio (hm, w gruncie rzeczy mógłbym wymyślać jakieś fajne nazwy głównych branchy, jak np.ma Android :D).

Kompilator 2.2.3:

• SSA zostało zaimplementowane! :) (chociaż w imo słaby sposób - części związane z SSA mam na mojej liście rzeczy do refatoryzacji; bez zapasu tabletek na ból głowy nie polecam oglądać zawartości ssa_stage1.pas oraz ssa_stage2.pas...)
• naprawione zostały wzajemne zależności, teraz już działają poprawnie (tzn.bezproblemowo może istnieć bezpośrednia wzajemna zależność pomiędzy dwoma plikami (oraz np.procedurami wewnątrz nich) i nie jest to żaden błąd, a wręcz przeciwnie: kompilator wtedy działa jak najbardziej poprawnie i kompiluje wszystko bezproblemowo ;) Kilkanaście godzin myślenia nad rozwiązaniem się jednak opłaciło ;>)
• delikatnie zmieniona została składnia typów enumerycznych: type<enum> foo = [enum1, enum2, enum3]; wygląda imo lepiej, niżeli type<enum> foo = {enum1, enum2, enum3};
• doszło parę istotnych zmian w optymalizacjach (tzn.pomijając te, które zostały usprawnione przez SSA): zaimplementowałem optymalizator pojedynczych wyrażeń (aktywowany --tree-simplify z linii poleceń i/lub w trybie -O1). Optymalizacja ta stara się maksymalnie uprościć każde pojedyncze wyrażenie, np.:
• x = x + 50; zostaje zamienione do x += 50;*,
• x = 10*x + 50*x; zostaje zamienione do x *= 60;*,
• x = x; jest zamieniane na puste wyrażenie,
• plus parę innych; jeżeli ktoś chce poznać wszystkie, może sobie przejrzeć: https://github.com/Piterolex/SScript-Compiler/blob/2.2.3-stable/compiler/optimization/tree_simplification.pas#L87 (spokojnie, są tam ogólne komentarze ;P)
  W ramach ciekawostki dodam, że w/w optymalizator np.w GCC to plik simplify-rtx.c posiadający ~6.2 tysięcy linii (https://github.com/mirrors/gcc/blob/master/gcc/simplify-rtx.c - nie polecam otwierać na Operze :P), mój posiada "zaledwie" 360, ale cóż: zawsze to coś! ;>

Wirtualna maszyna 0.3.3:

• zaimplementowano garbage-collector - yay! Póki co jest to prosta wersja zwykłego mark-and-sweep, lecz potem planuję dodać dodatkowo zliczanie referencji (jako drugą metodę; bodajże podobnie ma JVM). Dla testu można spróbować uruchomić np.taki kod:

function<int> main()
{
 while (true)
  new int[100000];
}

(+- te kilka zer przy tym new) i patrzeć na wykres użycia pamięci np.w menedżerze zadań Windows: domyślnie GC uruchamia się po osiągnięciu limitu 256 MB pamięci, lecz można to zmienić za pomocą przełącznika -gc (lub z poziomu ustawień wirtualnej maszyny w edytorze).

Zmian edytora raczej podawać nie muszę, widać w postach powyżej ;)

Moja aktualna lista TODO prezentuje się tak:

• na pewno na pierwszy ogień idzie załatanie tych wszystkich memleaków... zaczynam powoli żałować, że nie zaimplementowałem tego w jakimś języku z wbudowanym GC, bo teraz muszę sam dbać o zwalnianie pamięci, więc póki co cały kompilator to jeden wielki memleak. Phi, fixnie się w wolnym czasie ;]
• potem poprawa wydajności; ten release powinien być nieco wydajniejszy od poprzednich, lecz mimo wszystko mój kompilator jest wolny jak cholera :P
• optymalizacje dla tablic
• konstrukcja var<int[]> tab = {1, 2, 3, 4, 5}; (o której było już w którymś z tematów, który założyłem)
• usprawnić generator kodu (póki co wypluwa sporą liczbę zbędnych opcodów, które optymalizator bajtkodu nie zawsze wyłapuje)
• optymalizacje międzyfunkcyjne; np.:

function<int> callme()
{
 return 10;
}

function<int> main()
{
 var<int> x = 5*callme(); // wartość wywołania "callme();" jest z góry znana, zatem można by od razu podłożyć i policzyć tę wartość
}

Mam jeszcze listę takich "może kiedyś":

• SSA dla bajtkodu
• operator ? (na takiej samej zasadzie, jak w C++: wyrażenie?prawda:fałsz)
  Cóż, sporo pozycji na tej liście nie ma :]

function<void> callme(int param)
{
}

function<int> main()
{
 for (var<int> i=0; i<10; i++)
  callme(i); 

 return 0;
}

W formie grafu to:

Forma SSA może wydawać się nieco dziwna, lecz wygląda to tak:
zmienna.(pre-ssa)$(post-ssa)
pre-ssa to SSA-ID, które są używane przez zmienną
post-ssa to SSA-ID, które są zwracane przez zmienną (dla operatora przypisania zawsze pre-ssa=post-ssa, różnica jest w przypadku całej reszty)
Musiałem wprowadzić dwa oznaczenia z racji na operatory ++, += i pochodne, ponieważ np.: wyrażenia i++; nie można by przedstawić w formie i$(0), bo jest to zarówno przypisanie, jak i wykorzystanie wartości zmiennej i. Ot, lubię takie niemainstreamowe rozwiązania ;)

function<int> callme()
{
 return 0;
}

function<int> main()
{
 var<int> x = 0;

 if (callme())
  x = 10; else
  x = 20;

 if (x%2)
  x++;

 return x;
}

Fajne to xD, przydała by się jeszcze obsługa plików i dll/so coby można było zapisywać wyniki do plików i korzystać z zasobów systemowych...

Ciekawe było by coś takiego jak typ liczbowy, w którym sam definiujesz jego rozmiar np var<num[32]> x = 0; gdzie
num to typ, i w nawiasach jego rozmiar, a używasz go jak int'a

@hzmzp: wszystko po kolei - jak zaimplementuję klasy (lub przynajmniej struktury :P), to dodam obsługę plików - tak, coby to było ładnie opakowane w jakąś klasę w stylu File.
Aktualnie dokańczam kompilator JIT (yeah!) i dodaję parę pomniejszych rzeczy do VM-ki oraz kompilatora, i chociaż projekt nieco przystopował, to nadal wytrwale nad nim pracuję.
Alzo, w ramach rozluźnienia pisze także jeden pomniejszy projekt, o którym mam nadzieję, że pewnego dnia wspomnę i również dam do oceny (podpowiem, że jest to 2D-owa gra) ;)

Halo, coś się tutaj dzieje? Jak idą prace? :-)

Tia, ostatnio trochę cicho, ponieważ jestem leniwy i zacząłem grać w Fallouta ("jeszcze tylko wrócę do Megatony i otwieram Lazarusa... no dobra, skoro już tutaj stoi karawana, to może także zakupię amunicję... o, a tam dawno nie byłem...") :P
Oprócz tego aktualnie trzeci raz przepisuję kompilator JIT w VM-ce, bo za każdym razem całkowicie zmieniałem ideę całości i mnie zaczęło to powoli doprowadzać do białej gorączki, ale mam nadzieję, że teraz się już uda bez większych problemów.
Ale spokojnie - prace nad całością nie zatrzymały się całkowicie, wystarczy spojrzeć na listę zmian: http://sscript.4programmers.net/wiki/Changelog
Ogólnie to nowa wersja kompilatora jest właściwie niemalże gotowa, w VM-ce mam do dokończenia ten kompilator JIT, a nad edytorem ostatnio się długo nie rozwodziłem, ale niewiele pozostało.

W jaki sposób tworzysz bibliotekę standardową?

Co masz konkretnie na myśli?
Pomysły na funkcje biorę zaglądając do dokumentacji C++, Pascala i innych języków (+dodaję, co mi samo wpadnie na myśl) - rzecz w tym, że przez to w bibliotece standardowej panuje dosyć spory chaos i będę musiał pewnego dnia to wszystko ładnie spisać do jakiegoś dokumentu w stylu standardu języka (coś jak C++ ISO lub jakkolwiek tam "formalniej" to się nazywa).
Ogólnie to całą bibliotekę standardową planuję przepisać w SScript 3* (gdy już będą struktury, klasy (...), czyli na stan obecny... +∞ sekund minut dni lat od teraz), tak aby summa summarum trzymało się toto jednej konwencji nazewnictwa i całej tej reszty.
Dążę do tego, aby SS3 wyglądał jakoś tak:

@("stdio.ss")
using std;

function<int> main()
{
 var<int> i = input.readInt("Wpisz jakąś liczbę: ");
 output.writeLine("%i+%i*%i=%i', i, i, i, i+i*i);

 return 0;
}

Ot, trochę C++-owato.
Jeszcze nie myślałem nad żadnymi konkretnymi nazwami metod, oczywiście, wszystko jest "na czas pisania tego postu"; a nuż nawet zmienię całą gramatykę języka, jak mi się tak pewnego dnia spodoba :P

* tak dla czystej formalności: od pierwszego postu w tym wątku mowa o SScript 2 (SS1 to projekt sięgający 2009 roku, o ile dobrze pamiętam, i nawet nie mam do niego już kodu źródłowego**)
** no dobra, mam... ale na starym, zepsutym już dysku twardym z laptopa. Zresztą, to i tak jedynie słabo napisany interpreter i w ogóle moje pierwsze podejście do tworzenia własnego języka programowania (co więcej - miał inną składnię, chociaż miejscami podobną (klamerki, @ do importowania oraz oparty na słowach kluczowych; główną różnicą jest to, że miał jawne dynamiczne typowanie)), czyli nic ciekawego.

W kodzie (vmtypes.pas) widziałem typy jak referencja, wskaźnik.

• Czy w samym Sscripcie mogę ich użyć?
• Jeśli tak, czy istnieje "uniwersalny wskaźnik"?

Pewnie masz na myśli plik: https://github.com/Piterolex/SScript-VM/blob/b27f51bcb1645da2e6922d1b1d1798a76901ad5d/ssvm/vmtypes.pas
Są to typy zarezerwowane do wewnętrznego użytku przez maszynę wirtualną - stricte: uczytelnienia kodu.
Wygodniej i czytelniej pisze się przykładowo Xyz := PVMFloat(addr)^; niż Xyz := PExtended(addr)^;, to samo odnośnie VMReference (chociaż jeszcze nie wszędzie to jest pozmieniane - zbliża się spory update kodu VM-ki, w którym zmieniam całkowicie VMString, aby pozbyć się memleaków (o ironio) i ułatwić sobie dalszą zabawę z kompilatorem JIT, a przy tym porządkuje sporo w kodzie - m.in. to).
bool, char, int, float oraz string są wbudowane pod takimi nazwami w sam język (np.var<int> foo = 1024;), lecz referencja ((P)VMReference) istnieje jedynie na poziomie bajtkodu (rejestry trzymające referencje (adresy): er1, er2, er3 oraz er4) - w kodzie wysokopoziomowym referencje na stan obecny to jedynie tablice pod postacią, jaką są zaimplementowane.

Ad 1: w sumie "na siłę" (ponad tablice) możesz najwyżej wysokopoziomowo rzutować 64-bit -> 32-bit i na odwrót:

var<int[]> tmp;
var<int> src_64, dst_32;
/* ... */
tmp = cast<int[]>(src_64); // oczywiście zadziała jedynie, gdy VM-ka jest kompilowana na 32-bitowy system
dst_32 = cast<int>(tmp); // boom! z 64-bitów zrobiliśmy 32!

Czyli jakoś da się je używać poza ich pierwotnym zastosowaniem, chociaż VM-ce niekoniecznie się to musi spodobać (GC, który w tym przypadku jednak nie powinien zostać aktywowany, może się pewnego razu przyczepić) :P

Ad 2: jedynie na poziomie bajtkodu, jak opisane wyżej. Ew.typ any, który przyjmuje wszystko:

var<any> foo = 10;
foo = "hello";
foo = 10.5;
foo = null;

To taki feature, który został zaprojektowany w zupełnie innym celu, a którego takie użycie to narażanie samego siebie na undefined behaviour... ale poniekąd odpowiada to na pytanie.

Ujawniając swoje intencje: Chcę zrobić port jakiejś biblioteki graficznej do twojego języka;
Męczącym mnie problemem jest wskazywanie na niezarządzaną przez gc pamięć.
Struktur nie mogę uniknąć, lecz tutaj z pomocą przychodzi arytmetyka wskaźników.

Pozostaje mi próba zaimplementowania ich na własną rękę ;) (Szanse nikłe, lecz są!)

Em, GC nie będzie tykał żadnych danych (obiektów), które nie zostały zaalokowane bezpośrednio przez VM-kę (czyli jedynie przez operator new na stan obecny), jeżeli o to Ci chodzi.

A dlaczego gdy wpiszę do GOOGLE hasło SScript to nie pokazuje żadnych wyników na ten temat?

Google cie nie lubi.

A tak bardziej na powaznie. Duzo popularniejsze jest haslo script, wiec google automatycznie wyszukuje dla script i trzeba kliknac pod spodem zamiast tego wyszukaj sscript.

Tak dla czystej formalności: wszystkie te inne wyniki SScript (poza 4p i githubem) nie są moje :P
(przed stworzeniem tego języka nie sprawdzałem w Google tego hasła ;p)

U mnie google nie wyszukuje sscript:
http://postimg.org/image/xxnx2zex5/

Ehm:

n0name_l napisał(a):

Duzo popularniejsze jest haslo script, wiec google automatycznie wyszukuje dla script i trzeba kliknac pod spodem zamiast tego wyszukaj sscript.

Niezależnie od tego czy wpiszę sscript czy script to google mi nic nie pokazuje dopiero jak wpiszę np. sscript 4programmers.net do dostaje oczekiwany wynik.

To wpisz SScript w cudzysłowie, Google po prostu nie zna tej nazwy i próbuje na siłę dopasować coś podobnego.

Trzeba kliknąć to niebieskie sscript przy Zamiast tego wyszukaj, Ty najwyraźniej tego nie robisz.

AlfaLeporis napisał(a):

To wpisz SScript w cudzysłowie, Google po po prostu nie zna tej nazwy i próbuje na siłę dopasować coś podobnego.

To zadziałało.

Co ciekawe jakiś ktoś jeszcze rozwija projekt języka o tej samej nazwie:
a) http://perso.nnx.com/pludov/homepage/sscript/status.html,
b) http://perso.nnx.com/pludov/homepage/sscript/presentation.html

goscktos123:
Najwyraźniej masz problemy z czytaniem ze zrozumieniem. Wpisz "sscript" bez cudzysłowów i kliknij wyszukaj, a następnie kliknij "zamiast tego wyszukaj sscript".

http://perso.nnx.com/pludov/homepage/index-sscript.html

29/05/2006 New Available version

Raczej już nie jest rozwijany :P
A w sumie szkoda, zawsze ciekawie jest popatrzeć na inne rozwiązania ;)

[OT]: 11 postow o tym jak wyszukac haslo w google. Boje sie o przyszlosc tego narodu.

Fajny ten Schutz Staffel cript ;)

No, po prawie roku - nowiutka wersja prosto spod moich palców ;)

Lista zmian jak zwykle dostępna tutaj:
http://sscript.4programmers.net/wiki/Changelog

Tym razem jednak jestem zmuszony wrzucić paczuszkę z plikami na osobny hosting (problemy z połączeniem się do serwera, a nie mam aktualnie czasu dłużej nad tym przysiąść, więc idę po linii najmniejszego oporu :P):
http://speedy.sh/Qz4qp/15-06-2014.zip

Parę screenshotów:

(tak to wygląda rzecz jasna tylko po włączeniu wyświetlania logu (-v -vv), normalnie tyle nie wyświetla)

Jestem otwarty na sugestie oraz raporty o bugach ;)

@Patryk27 - gratuluję nowej wersji :]

Mam tylko małą sugestię, dotyczącą kolejnych nowych wersji IDE - jak dobrze pamiętam, kiedyś sugerowałem Ci kolorowanie składni w pozycjach w okienku CodeInsight; Przydałoby się, aby to okienko posiadało kolory ustawione w ustawieniach (Delphi7 tego nie wspiera, Lazarus połowicznie);

Na myśli mam takie samo tło listy pozycji w CodeInsight, jak tło edytora kodu, taki sam kolor dla słów kluczowych, znaków specjalnych, identyfikatorów itd.; Tego ciągle mi brakuje w środowiskach - pełnej zgodności ustawionego schematu kolorów.

@furious programming:
Oh, racja - musiałem zapomnieć dodać do listy. Machnięte do pliku TODO.