Dynamic Typing in Nim

I don't remember if I implemented the negative operator, but if I did, you can

Dynamic Typing in Nim

cool, can i "0" == -null Run though?

Dynamic Typing in Nim

Remember friends don't let friends ask a LLM solve the halting problem on the off chance Skynet frowns upon it.

Dynamic Typing in Nim

I think there's lots of confusion of how the problem is formulated. This whole thing - "static vs dynamic typing" is confusing itself. It should be restated as "if correctness of program validated instantly by the compiler or not". Current compilers can't do that for some class of programs (what

Dynamic Typing in Nim

Language models can’t validate anything, only speculate about it.

Dynamic Typing in Nim

It didn't "came back". It never went away.

Dynamic Typing in Nim

Somewhat relevant to the discussion, a nice presentation by Richard Feldman: [Why Static Typing came back](https://youtu.be/Tml94je2edk?si=nMQfJa7_JJT4mQPF)

Dynamic Typing in Nim

That sounds very similar to what I'd have to do for wrapping procs. Thanks for the link, I'll take a look at it

Dynamic Typing in Nim

I've done something similar for my plugin system, except with JSON. I use a macro to create a wrapper function for any nim function which then takes a JsonNode and returns a JsonNode and does the conversion. The code ain't pretty but maybe it helps: (

Dynamic Typing in Nim

This project appears to be best described as: "If 'I want to watch the world burn' were a project"

Dynamic Typing in Nim

Why would you want to do that though? Got some time to burn? :P

Dynamic Typing in Nim

I spent a few hours making a library seeing how far I could push things with dynamic typing. I ended up making a type called `DynVal` that's basically a box for all primitives and ref values inheriting from RootObj. It uses converters and operator overloads to make DynVal usable in any place whe