Vyxal

Pacmanboss256

2:00 AM

@mathscat can there at least be an overload for that because having to check if something is equal to zero takes 2 bytes because there is no "is falsy" option

lyxal

6:03 AM

!!/status

Vyxal Bot

@lyxal I am communicating with aliens from a distant planet.

lyxal

@Ginger vyxal bot has a chance to outlast new posts

Proving you to be the better bot maker than rydwolf :p

Ginger

11:36 AM

!!/status boring

Vyxal Bot

Bot status: Online
Uptime: 13 days, 23:02:09.733033
Running since: 2023-09-05T12:33:56.302075
Errors since startup: 2

Ginger

cool

The Empty String Photographer

12:44 PM

Vyxal hasn't had a release for 3 weeks.

math scat

that's normal

at least for months with fewer active users

The Empty String Photographer

Ah...

lyxal

1:45 PM

!!/status

Vyxal Bot

@lyxal I am reading My Immortal to Ginger. Good thing they don't know where I keep my off switch- oh wait.

lyxal

2:00 PM

!!/status

Vyxal Bot

@lyxal I am doing heaps of things all at once.

math scat

hmm

math scat

2:36 PM

in The Nineteenth Byte, 57 secs ago, by Rydwolf Programs

VyxalBot may run into issues soon

we are doomed

Ginger

as long as the bot doesn't shut down, it should be OK

math scat

!!/status

Vyxal Bot

@mathscat I am building sandcastles at the beach.

math scat

hey it's back again

Ginger

5:59 PM

alright

The Empty String Photographer

??????

Ginger

I'm going to take a serious look at the feasibility of a Vyxal-to-LLVM compiler

it would have to be a subset of Vyxal ofc

since things like eval wouldn't be possible

math scat

the python eval or eval in general?

Ginger

I'm talking about v3 here

wait, does v3 even have eval?

math scat

I'm confused now

Ginger

6:07 PM

Vyxal eval wouldn't be possible

math scat

ah nvm

got things mixed up

well, after doing a little googling, this seems to be a very time-consuming task.

Ginger

ayup

math scat

so every element would have to be written in llvm style?

Ginger

effectively

every element would need to map to some bytecode that performs its function

if I were to do this, I'd piggyback off of Vyxal 3's lexer/parser and effectively turn AST objects directly into bytecode

replacing the execution step of the interpreter

math scat

@Ginger I associate bad memories with java bytecode

Ginger

6:27 PM

LYCSAL: Laconic vYxal Compiler System tArgeting Llvm

:p

math scat

@mathscat iirc pxeger suggested bytecode for v2 so I gave it a try

Ginger

7:06 PM

I rather wish that yall had written Vyxal 3 in Kotlin

user

9:31 PM

@Ginger Why's that?

Ginger

10:36 PM

@user it's better IMHO

~~plus I know it but I don't know Scala~~

user

11:04 PM

Better in what way?

If you mean it's easier to learn and better supported then sure

I don't think Scala is that much harder to learn than Kotlin but it is less popular ig

But it's got way more features than Kotlin and it also compiles to native and JS

lyxal

Scala makes lists just work really nicely

Which is why I chose it

It has all sorts of nice operators for lists, and has very good lazy evaluation

Which are things I really like

And super powerful pattern matching is really nice too

Also, who the heck uses fun to define functions anyway?

It just looks nasty

Finally, the type inference system of scala is really convenient

Feels just like python most of the time

The other times are when you need to specify type and it's still convenient even then

user

11:28 PM

@lyxal Oh yeah this is a big one

@lyxal Kotlin actually has pretty much the same type inference (in fact, it has flow typing)

But Kotlin still doesn't have even basic pattern matching

lyxal

@user it's the main reason we're using scala and not something like Go

Like what other language lets you write:

Jul 5 at 13:22, by lyxal

lazy val temp: LazyList[VAny] = LazyList.from(a) #::: temp

Ginger

@lyxal okay, this I agree with

user

11:47 PM

@lyxal Ackchually, Haskell and similar languages let you do that

@Ginger ...of all the points lyxal discussed, you were swayed by the one thing that wasn't an actual con of Kotlin?

ngl I'm really tempted to rewrite Vyxal in Lisp right now

I'm learning Racket and it's pretty great

Aside from being dynamically typed (typed Racket is pretty shitty)

@lyxal Oh god please tell me you weren't going to use Go if I hadn't convinced you to use Scala

lyxal

Sep 21, 2022 at 13:41, by lyxal

who knows, maybe Go could be v3 if scala doesn't work out

user

I used to occasionally feel bad for convincing you to use Scala when there's Rust and Nim but if Go is what you were going to go with then I no longer feel guilty

Sep 21, 2022 at 12:59, by lyxal

I'm going (no pun intended) through the Golang guide and I am falling in love with this language

I'm afraid we can no longer be friends, lyxal.

If every Go programmer died in an explosion, I would be immensely happy

lyxal

Sep 24, 2022 at 7:53, by lyxal

I did some initial experimenting with lazylists and go just makes me want to commit frick

user

Good good

Ginger

hey @lyxal are there docs for the mechanics of the interpreter itself anywhere?

lyxal

11:52 PM

what version?

Ginger

3

that's what LYCSAL will be compiling

user

github.com/Vyxal/Vyxal/blob/version-3/contributing/… maybe?

lyxal

(the answer is yes for both versions but knowing the version helps me redirect your call to the right place)

user

Oh wait you're actually making an LLVM compiler?

Ginger

(well technically a subset of it which I have named Principio, but whatever)

@user mmmmmaybe

lyxal

11:53 PM

and what user linked is the right file

user

Nice

Ginger

I'm figuring out if it'd actually be feasible

user

That whole folder has developer documentation

Also if any part of the source code isn't self-explanatory and also doesn't have enough comments, then please let us know (feel free to ping me)

Ginger

alrighty

user

Here's the heart of the interpreter

It's basically just one big match

Ginger

11:55 PM

the first thing I'd do is write up pseudocode translations of elements to LLVM bytecode

user

How would you do eval?

Ginger

and in fact if anyone wants to help with that I would greatly appreciate it

@user that's the best part: I wouldn't :b

user

Also, you need to implement every element yourself (either in LLVM IR or in a language that compiles to LLVM)

Ginger

Principio doesn't support eval

user

Ah, hence the subset

That's reasonable

Ginger

11:56 PM

yup

lyxal

y'all realise that v3 rolls its own eval function?

user

Would this work with LLDB?

@lyxal wdym?

Ginger

idk yet

like I said, this is all early-stage stuff

lyxal

@user for the eval element, it uses a mischelpers function

github.com/Vyxal/Vyxal/blob/…

user

And?

Oh I see I guess the list case can be done with Interpreter.execute

lyxal

11:58 PM

well eval should be possible in principo to the same behaviour as scala v3

user

Let's go

Ginger

@user I'm aware, and this is what I'm asking for help with

user

You might want to help out with the CGR instead

Or convince the other CGR people to use LLVM instead

Ginger

yeah, that did occur to me

if y'all ever get CGR working I'll consider compiling to it

Transcript for