BLUE
Profile banner
M
monomere
@monomere.bsky.social
she/her I do pldev, gamedev and sometimes osdev, conlanging/worldbuilding and am trying to do music name may change
9 followers29 following31 posts
Mmonomere.bsky.social

i should probably say random shit into the void more

0
Mmonomere.bsky.social

hot metal :(

0
Mmonomere.bsky.social

happy 2024!

0
Mmonomere.bsky.social

not actually sure how to do the recursive modules thing yet, but the situation is when you have something like this ("name" is shared, so its ambiguous when constructing a record)

ocaml code:

type decl =
| FunDecl of fundecl
| VarDecl of vardecl
and fundecl =
{ name : string;
  ret  : ty;
  args : vardecl list }
and vardecl =
{ name : string;
  typ  : ty }
1
Mmonomere.bsky.social

b-but you have to do weird recursive module stuff (i think) to have the same labels for record types that are in a type...and construction :( hope this makes sense

1
Mmonomere.bsky.social

cute!

0
Mmonomere.bsky.social

yay!

0
Mmonomere.bsky.social

the knight looks so ancient...

0
Mmonomere.bsky.social

rich text is better (being able to insert images, colors, no syntax errors (not possible to type)) (if you have editor support) (also im not sure if its actually better, but it probably is long-term)

0
Mmonomere.bsky.social

how does this work again

0
Profile banner
M
monomere
@monomere.bsky.social
she/her I do pldev, gamedev and sometimes osdev, conlanging/worldbuilding and am trying to do music name may change
9 followers29 following31 posts