other c# fixes

Author: drblallo

README.md

@@ -5,7 +5,7 @@
 
 From a single simple description, generate all tools you may need. Test your rules with fuzzers, generate machine learning agents, use it in C or python, embed it in graphical engines and on the web. All automatically.
 
-Rulebook contains unique mechanisms that cannot be implemented in mainstream languages such as c, cpp and python that mathematically guarantees asymptotically less code to write the same rules. (paper to be released soon.)
+Rulebook contains unique mechanisms that cannot be implemented in mainstream languages such as c, cpp and python that mathematically guarantees asymptotically less code to write the same rules by allowing composition and reuse of sequences of actions.
 
 The following table compares the number of lines of code required to implement a given game in Rulebook and CPP, excluding their header files. The number of lines they require scales quadratically with respect to the complexity of the game. Our does not.
 ![RLC Logo](./imgs/lines_of_code.png)
@@ -54,6 +54,8 @@ It will to learn pass true to `win` to maximize `score`, as reported by the seco
 
 [Tutorial for GYM users](./docs/gym_tutorial.md)
 
+[Paper for Reinforcement Learning users](https://arxiv.org/abs/2504.19625)
+
 [Language reference and stdlib documentation](https://github.com/rl-language/rlc-stdlib-doc/tree/master)
 
 ### Contacts

docs/rationale.md

@@ -2,7 +2,7 @@
 
 The `Rulebook` (or `rl` for short) is a domain specific-language that tries to reduce the complexity of writing simulations, such as those used in reinforcement learning, game programming, and similar other domains. This document explains the rationale behind it.
 
-If you want to jump directly into the code, try it out as described in the main page instead instead. If you want to read about the project rationale, read it [here](./where_we_are_going.md). If you want to see a quick description of what the `rlc` tool is capable of, instead of the `rl` language, you can see video [here](https://www.youtube.com/watch?v=tMnBo3TGIbU). A less pratical and more rambly philosofical description of why `rl` is usefull can be found [here](./philosophy.md)
+If you want to jump directly into the code, try it out as described in the main page instead instead. If you want to read about the project rationale, read it [here](./where_we_are_going.md). If you want to see a quick description of what the `rlc` tool is capable of, instead of the `rl` language, you can see video [here](https://www.youtube.com/watch?v=tMnBo3TGIbU).
 
 ### The Complexity of writing games and rule heavy simulations.
 

lib/conversions/src/RLCToCSharp.cpp

@@ -22,6 +22,7 @@ limitations under the License.
 #include "rlc/dialect/Passes.hpp"
 #include "rlc/dialect/Types.hpp"
 #include "rlc/dialect/Visits.hpp"
+#include "rlc/dialect/conversion/TypeConverter.h"
 
 namespace mlir::rlc
 {
@@ -79,7 +80,7 @@ namespace mlir::rlc
 		matcher.add([](mlir::rlc::StringLiteralType type,
 									 llvm::raw_string_ostream& OS) { OS << "char*"; });
 		matcher.add([&](mlir::rlc::ArrayType type, llvm::raw_string_ostream& OS) {
-			OS << matcher.convert(type.getUnderlying()) << "*";
+			OS << typeToMangled(type) << ".Content";
 		});
 		matcher.add(
 				[&](mlir::rlc::OwningPtrType type, llvm::raw_string_ostream& OS) {
@@ -213,7 +214,7 @@ namespace mlir::rlc
 		const int toDrop = int(isMemberFunction);
 		for (auto [type, name] : llvm::drop_begin(llvm::zip(types, args), toDrop))
 		{
-			if (isCSharpBuiltinType(type) or isBuiltinDeclaration)
+			if (isBuiltinDeclaration)
 				writer.write("ref ");
 			writer.writeType(type, isBuiltinDeclaration);
 			writer.write(" ");
@@ -270,12 +271,7 @@ namespace mlir::rlc
 				writer.write(" __result");
 				writer.write(" = new ");
 				writer.writeType(returnType);
-				writer.write("((");
-				writer.writeType(returnType, 1);
-				writer.write("*)");
-				writer.write("Marshal.AllocHGlobal(sizeof(");
-				writer.writeType(returnType, 1);
-				writer.writenl(")));");
+				writer.write("();");
 			}
 		}
 	}
@@ -756,7 +752,7 @@ namespace mlir::rlc
 
 		if (not table.isTriviallyCopiable(type))
 		{
-			writer.write("void assign(", name, " other) {");
+			writer.write("public void assign(", name, " other) {");
 			writer.indentOnce(1);
 			writer.writenl(
 					"RLCNative.",
@@ -863,7 +859,9 @@ namespace mlir::rlc
 	static void emitArrayDecl(
 			mlir::rlc::ArrayType type,
 			StreamWriter& writer,
-			MemberFunctionsTable& table)
+			MemberFunctionsTable& table,
+			size_t typeSize,
+			size_t elementSize)
 	{
 		writer.write("public unsafe class ");
 		writer.writeType(type);
@@ -874,15 +872,42 @@ namespace mlir::rlc
 			writer.writenl("public Content* __content;");
 			writer.writenl("private bool owning;");
 			writer.writenl("[StructLayout(LayoutKind.Sequential)]");
-			writer.write("public struct Content {");
+			writer.writenl("public struct Content {");
 			auto _ = writer.indent();
-			writer.write("public fixed ");
-			writer.writeType(type.getUnderlying());
+			writer.write("public fixed byte");
 			writer.write(" __content");
-			writer.write("[");
-			writer.writeType(type.getSize());
-			writer.writenl("];");
+			writer.writenl("[", typeSize, "];");
 			writer.writenl("}").endLine();
+
+			writer.write("public ");
+			if (isCSharpBuiltinType(type.getUnderlying()))
+			{
+				writer.write("ref ");
+			}
+			writer.writeType(type.getUnderlying());
+			writer.writenl(" this [int index] {");
+			writer.writenl("get {");
+			writer.writenl(
+					"if ((((uint) index) >= ",
+					type.getArraySize(),
+					")) throw new ArgumentOutOfRangeException(nameof(index));");
+			writer.writenl("return ");
+			if (isCSharpBuiltinType(type.getUnderlying()))
+			{
+				writer.write("ref (*(((");
+				writer.writeType(type.getUnderlying());
+				writer.write("*) __content) + index));");
+			}
+			else
+			{
+				writer.write("new ");
+				writer.writeType(type.getUnderlying());
+				writer.write("((((");
+				writer.writeType(type.getUnderlying(), 1);
+				writer.write("*) __content) + index));");
+			}
+			writer.writenl("}");
+			writer.writenl("}");
 		}
 
 		emitSpecialFunctions(type, writer, table);
@@ -1166,6 +1191,14 @@ namespace mlir::rlc
 		}
 	}
 
+	static size_t getSizeTypeInBytes(
+			const mlir::DataLayout& dl,
+			mlir::Type type,
+			mlir::TypeConverter& converterToLLVMIR)
+	{
+		return dl.getTypeSize(converterToLLVMIR.convertType(type));
+	}
+
 #define GEN_PASS_DEF_PRINTCSHARPPASS
 #include "rlc/dialect/Passes.inc"
 
@@ -1178,8 +1211,11 @@ namespace mlir::rlc
 			PatternMatcher matcher(*OS);
 			MemberFunctionsTable table(getOperation());
 			mlir::rlc::ModuleBuilder builder(getOperation());
+			mlir::TypeConverter converter;
+			mlir::rlc::registerConversions(converter, getOperation());
 
 			llvm::SmallVector<std::string> declaredFunNames;
+			const auto& dl = mlir::DataLayout::closest(getOperation());
 
 			emitPrelude(matcher.getWriter());
 			matcher.addTypeSerializer();
@@ -1234,7 +1270,12 @@ namespace mlir::rlc
 				}
 				else if (auto casted = mlir::dyn_cast<mlir::rlc::ArrayType>(type))
 				{
-					emitArrayDecl(casted, matcher.getWriter(), table);
+					emitArrayDecl(
+							casted,
+							matcher.getWriter(),
+							table,
+							getSizeTypeInBytes(dl, casted, converter),
+							getSizeTypeInBytes(dl, casted.getUnderlying(), converter));
 				}
 			}
 		}

tool/rlc/test/wrappers/csharp_action.rl

@@ -22,8 +22,7 @@ class Tester {
     public static int Main() {
         RLCNative.setup(Path.GetDirectoryName(Assembly.GetEntryAssembly().Location) + "/Lib" + RLCNative.SharedLibExtension);
         Game pair = RLC.play();
-        long arg = 3;
-        pair.pick(ref arg);
+        pair.pick(3);
         return (int)(pair.asd - 3); 
     }
 }

tool/rlc/test/wrappers/csharp_custom_functions.rl

@@ -33,8 +33,7 @@ class Tester {
         Outer pair = new Outer();
         Console.WriteLine(pair.inner.x);
 
-        long x = 2 ;
-        return ((int) RLC.to_invoke(pair, ref x)) - 5;
+        return ((int) RLC.to_invoke(pair, 2)) - 5;
     }
 }
 

tool/rlc/test/wrappers/csharp_union.rl

@@ -23,8 +23,7 @@ class Tester {
     public static int Main() {
         RLCNative.setup(Path.GetDirectoryName(Assembly.GetEntryAssembly().Location) + "/Lib" + RLCNative.SharedLibExtension);
         Outer pair = new Outer();
-        double x = 2.2;
-        pair.inner.x.assign(ref x);
+        pair.inner.x.assign(2.2);
         if (pair.inner.x.get_long != null) {
             return -10;
         }

tool/rlc/test/wrappers/csharp_vector.rl

@@ -26,9 +26,9 @@ class Tester {
         RLCNative.setup(Path.GetDirectoryName(Assembly.GetEntryAssembly().Location) + "/Lib" + RLCNative.SharedLibExtension);
         VectorTint64_tT pair = new VectorTint64_tT();
         long x = 2;
-        pair.append(ref x);
-        pair.append(ref x);
-        pair.append(ref x);
+        pair.append(x);
+        pair.append(x);
+        pair.append(x);
         return (int)(pair.size() - 3);
     }
 }