January 18, 2021
On Monday, 18 January 2021 at 17:51:16 UTC, Basile B. wrote:
> On Monday, 18 January 2021 at 17:45:16 UTC, Basile B. wrote:
>> On Friday, 15 January 2021 at 19:40:11 UTC, Ola Fosheim Grøstad wrote:
>>> [...]
>>
>> Yeah, in addition to my real name, I've been invovled in dmd as "Nils Lankila" and "Stian Gulpen" which are names generated using specialized services. You can choose to have a swedish name for example.
>
> on the internet nobody knows you're a dog ;)

https://de.fakenamegenerator.com/
January 18, 2021
On Thursday, 14 January 2021 at 17:51:51 UTC, Basile B. wrote:
> This is the last[1] occasion to speak about a programming language initiatly made in D, as the bootstrap phase is very near.
>
> I'd like to thank the D compiler developers, that let me work on DMD even if I borrow another path.
>
> [1] : https://gitlab.com/styx-lang/styx

Interesting project.

A few questions.

I see that you use "var auto name" in order to automatically infer the type. Would it be possible just using "var name" for that, similar to other popular languages.

There is currently no information about memory management, is this something you have an idea how to design right now?


January 18, 2021
On Monday, 18 January 2021 at 18:03:12 UTC, IGotD- wrote:
> On Thursday, 14 January 2021 at 17:51:51 UTC, Basile B. wrote:
>> This is the last[1] occasion to speak about a programming language initiatly made in D, as the bootstrap phase is very near.
>>
>> I'd like to thank the D compiler developers, that let me work on DMD even if I borrow another path.
>>
>> [1] : https://gitlab.com/styx-lang/styx
>
> Interesting project.
>
> A few questions.
>
> I see that you use "var auto name" in order to automatically infer the type. Would it be possible just using "var name" for that, similar to other popular languages.
>
> There is currently no information about memory management, is this something you have an idea how to design right now?

yes, it would be possible, but it wont be done. In Styx "auto" is a type joker and that's it.
January 19, 2021
On Friday, 15 January 2021 at 19:18:09 UTC, Basile B. wrote:
> On Friday, 15 January 2021 at 09:54:59 UTC, Ola Fosheim Grøstad wrote:
>> [...]
>
> self-hosting is not started yet, maybe next month, classes are still to be implemented.
> I plan to use dparse for the most part, not only to convert but also to detect non bootstrapable code or missing features. Then, feature freeze, convert, catch and fix bugs as they will appear when feading the compiler with real food.
>
> [...]

Thoughts on libfirm? I am thinking about writing an online book about compiler backends so I'm curious what it's like to work with.
January 19, 2021
On Monday, 18 January 2021 at 17:58:22 UTC, Basile B. wrote:
> On Monday, 18 January 2021 at 17:51:16 UTC, Basile B. wrote:
>> on the internet nobody knows you're a dog ;)
>
> https://de.fakenamegenerator.com/

Awww... And here I thought you were a fellow Norwegian... But I guess a dog is ok too.
January 19, 2021
On Tuesday, 19 January 2021 at 12:50:40 UTC, Max Haughton wrote:
> On Friday, 15 January 2021 at 19:18:09 UTC, Basile B. wrote:
>> On Friday, 15 January 2021 at 09:54:59 UTC, Ola Fosheim Grøstad wrote:
>>> [...]
>>
>> self-hosting is not started yet, maybe next month, classes are still to be implemented.
>> I plan to use dparse for the most part, not only to convert but also to detect non bootstrapable code or missing features. Then, feature freeze, convert, catch and fix bugs as they will appear when feading the compiler with real food.
>>
>> [...]
>
> Thoughts on libfirm? I am thinking about writing an online book about compiler backends so I'm curious what it's like to work with.

There is this small wiki page https://proglangdesign.net/wiki/firm written by myself, so I have not much to add, as I've dropped FIRM at the very beginning of the backend exprimentation.
January 16, 2022

On Monday, 18 January 2021 at 18:03:12 UTC, IGotD- wrote:

>

On Thursday, 14 January 2021 at 17:51:51 UTC, Basile B. wrote:

>

This is the last[1] occasion to speak about a programming language initiatly made in D, as the bootstrap phase is very near.

I'd like to thank the D compiler developers, that let me work on DMD even if I borrow another path.

[1] : https://gitlab.com/styx-lang/styx

Interesting project.

A few questions.

I see that you use "var auto name" in order to automatically infer the type. Would it be possible just using "var name" for that, similar to other popular languages.

There is currently no information about memory management, is this something you have an idea how to design right now?

It has a memory management system very comparable to older Delphi (<= 2007) or current FreePascal. So dynamic arrays are reference counted and automatically managed when used a local var.

Classes and structures are manually managed but the dtor is automatically called when the instance is a local.

This system is proven to work as the compiler itself is now rewritten in styx.
(example, the valgrind report after running the compiler with the equivalent of D "-unittest" CLI option : https://gitlab.com/styx-lang/styx/-/jobs/1980055910#L110.

To be honest I already knew it will work before implementing ref counting. This has been used for something like 30 years by hundreds and hundreds of programmers.

January 16, 2022

On Friday, 15 January 2021 at 09:54:59 UTC, Ola Fosheim Grøstad wrote:

>

On Thursday, 14 January 2021 at 17:51:51 UTC, Basile B. wrote:

>

This is the last[1] occasion to speak about a programming language initiatly made in D, as the bootstrap phase is very near.

Interesting project! How did you move from D to Styx? (I assume bootstrapping means a self hosting compiler?) Did you write some scripts to translate?

It turns out that finally everything was translated manually. This was a bit painful but also an opportunity to review older parts and to change a details that otherwise would not have been done.

January 16, 2022

On Sunday, 16 January 2022 at 17:09:07 UTC, Basile B. wrote:

>

On Friday, 15 January 2021 at 09:54:59 UTC, Ola Fosheim Grøstad wrote:

>

On Thursday, 14 January 2021 at 17:51:51 UTC, Basile B. wrote:

>

This is the last[1] occasion to speak about a programming language initiatly made in D, as the bootstrap phase is very near.

Interesting project! How did you move from D to Styx? (I assume bootstrapping means a self hosting compiler?) Did you write some scripts to translate?

It turns out that finally everything was translated manually. This was a bit painful but also an opportunity to review older parts and to change a details that otherwise would not have been done.

Interesting language. I was able to make a quick port to OpenBSD; works fine there too. Thanks for your work on this!

~Brian

January 16, 2022

On Sunday, 16 January 2022 at 18:53:45 UTC, Brian Callahan wrote:

>

I was able to make a quick port to OpenBSD; works fine there too. Thanks for your work on this!

~Brian

holly s**t ! I'm a bit surprised that it works, especially because of the way linking is done.