title: Implement Dynamic Typing Lanugage Using LLVM IR
body: <p>I'm trying to implement a toy language with dynamic typing, i.e., variables do not have types, only values do, and every variable needs to be declared before being used. For example, the code might look like <code>var x; x = 3; x = 'a';</code>. Furthermore, I want to compile this toy language to native code instead of running it in some virtual machine.</p>
  
  <p>Currently, I've generated an AST and I am going to compile the AST to LLVM IR using LLVM C++ APIs. The question is, what kind of IR should I generate for</p>
  
  <ol>
  <li>Variable Declaration (with or without initial value, like <code>var x;</code> or <code>var y = 3.4;</code></li>
  <li>Variable Access (like <code>a</code> in <code>c = a + 1</code>)</li>
  </ol>