Diego Rosario

Could the subspace concept be extended so all members of a subspace are of a certain type, like pair(int, ptr) ; pair(int,int) ; etc? The idea is that storing the...

Right, due to the nature of sixten's generics, one machine-word length heap allocated objects should be very very rare

@ollef Btw. do you think an existing language could retrofit sixteen's data representation? Sixteen only stores things behind an indirection, if they are explicitely behind one like a pointer. I...

@ollef In idris2 0 ( erased ) values are values only represented during type checking, they wont be present at runtime. Sixteens generic struct representation stores some extra information that...

@ollef Sorry, what i meant is that the information sixteen's method wants to add is similar to the data used by idris2 developers for theorem proving. Idris2 allows you to...

Has ffi been implemented yet? If a language like idris2 compiles to malfunction, can it interact with c or ocaml functions?

I am eventually going to write a new backend for the GRIN whole program compiler, since i am dissatisfied with llvm. If i target cranelift i was thinking of just...

I get a couple of errors when updating my project from the master branch to this one. The first one may be a problem on my end, but i am...

I got llvm version installed from the default opensuse tumbleweed repo ( the strikethrough isnt supposed to be there ) : diego@localhost:~> llvm-config --version 16.0.6 diego@localhost:~> zypper info --type package...

@noahmartinwilliams An user in the haskell matrix server pointed out the issue likely is this branch removes dynamic linking support eg: removes the shared-llvm flag in the cabal file Many...