I actually missed ATS2->C++ translator: it will be interesting to look at, thanks!
пт, 22 янв. 2021 г. в 06:58, Hongwei Xi <gmh...@gmail.com>: > I think I misunderstood your earlier message. > > If I understand you correctly this time, then what you mentioned in this > message > can already be done in ATS2 (you need ats2cpp for using g++ on the > generated > code): > > https://github.com/githwxi/ATS-Postiats/tree/master/contrib/ats2cpp > https://github.com/githwxi/ATS-Postiats/tree/master/contrib/ats2cpp/STL > > The code in STL shows a way to wrap linear and dependent types around > various > STL functions (stack, deque, etc.). > > By the way, this is also what is planned for xats2cc, which aims at > compiling XATSCML to C/C++. > > > On Thu, Jan 21, 2021 at 5:36 PM Dambaev Alexander <ice.redm...@gmail.com> > wrote: > >> And that is why I dream about an ability to be able to render classes to >> Java/C++: as soon as we might have a XATSCML->Java / XATSCML->C++ translator >> Ie, to be able to render something like this: >> >> >> ``` >> >> UCLASS()class AMyActor : public AActor{ >> GENERATED_BODY()public: >> >> UPROPERTY(EditAnywhere, BlueprintReadWrite, Category="Damage") >> int32 TotalDamage; >> >> UPROPERTY(EditAnywhere, BlueprintReadWrite, Category="Damage") >> float DamageTimeInSeconds; >> >> UPROPERTY(BlueprintReadOnly, VisibleAnywhere, Transient, >> Category="Damage") >> float DamagePerSecond; >> >> ...}; >> ``` >> https://docs.unrealengine.com/en-US/ProgrammingAndScripting/ProgrammingWithCPP/IntroductionToCPP/index.html >> >> Such that we should able to inject things like `UCLASS` into output or >> `UPROPERTY`. >> >> At the same time, this means, that we can have a part of program, that is >> written on a C++ and part, which had been rendered to C++ by ATS, such that >> to use rendered parts borderlessly, we need to be able to describe >> host-languages types in ATS, like: >> ``` >> >> typedef std_vector(a:t0ype, n:int) = $extype_struct"std::vector<a>" >> >> ``` >> >> and then we should be able to use, say `push_back` either by using $extfcall >> or being able to describe it in statics: >> >> ``` >> >> extern fn {a:t0ype} push_back{n:nat} ( v: !std_vector(a, n) >> std_vector(a, >> n+1), value: a): void >> >> ``` >> >> but this means, that ATS should be able to render >> ``` >> >> val vec = (* some constructor *) >> >> val () = push_back<int>( vec, 1) >> >> ``` >> >> into >> ``` >> >> std::vector<int> v; >> >> v. push_back( 1) >> >> ``` >> >> Otherwise, ATS should render structures into host language and either make >> it easy to use from target or we will have to marshall the data between >> target language and ATS, but why do we need a translator into a target >> language >> if we still have to spent development time and CPU cycles to marshal data >> from/to ATS? :) >> >> >> So what I mean is that there are a lot of 'mainstream' OOP languages, which >> are being used for production, say Java and C++ and currently, in order to >> write, say, non-C++ for Unreal Engine development, or non C# for Unity3D or >> non-Java for Android development, you sign for a pain of marshalling data >> and writing a lot of bindings (for both sides: target language and higher >> level language), ie, loosing the time in fighting against the platform in >> pursuit of using >> something more, that platform is not able to provide. >> >> So for me, it is clear, that ATS2 does the great job to eliminate the >> fighting against C to a some extent: ie, ATS requires no marshalling and we >> have $extfcall(), so in the case of 'I need to finish this today', we can >> use a bunch of $extfcall()s for C libraries and it will >> not be a fighting against the C target. >> But, no matter how sad it is, I see a trend, where C API becomes obsolete. >> Even GCC is now using C++ as a language of implementation. Many sources say >> 'use Golang instead of C for most of your tasks' and C slowly becomes >> 'language for kernel API >> or embedded' development, which means, that very few projects now provide C >> libraries, which I can use a an ATS developer. For example: I know, that >> only Godot engine provides C library, but neither Unity nor Unreal Engine. >> (or maybe I'm wrong?) >> But if we imagine that someone had developed a translator to C++/Java/C#/Go >> - will ATS-developer still be fighting against the platform? I think he will >> fight against OOP platforms at least, as it will still require to manually >> create classes at least, from which >> >> he will be able to call functions, rendered by ATS. And things like >> std::vector, std::string and etc may require marshalling to/from ATS, even >> if ATS itself renders into a target language... >> >> >> >> -- >> You received this message because you are subscribed to the Google Groups >> "ats-lang-users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to ats-lang-users+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KzpLfvckjhsWqyOxEVTPy1avB_B0znx8YDz_4Obz_xD%3Dw%40mail.gmail.com >> <https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KzpLfvckjhsWqyOxEVTPy1avB_B0znx8YDz_4Obz_xD%3Dw%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to ats-lang-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLoqGmFPm0J6WeySayf_TLuFYEHB-aQpaZkV4PKzVJBCPA%40mail.gmail.com > <https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLoqGmFPm0J6WeySayf_TLuFYEHB-aQpaZkV4PKzVJBCPA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAHjn2Kz%2BGEpgFGAwr0m%2B23m0DVqrQKy-b%3DcyVSe5%3D12RgH4rfA%40mail.gmail.com.
