Some thoughts on Roy

js.js

exports.getProperty = function(name, obj) {
  return obj[name];
};

string_length.roy

// JS-interoperability library (do we do Node requires that way?)
let js = require 'js'

// Generic use of js.getProperty (type-unsafe, returns native object)
console.log (js.getProperty "length" "hi")
  
// Simulate a module (is there a module system in Roy?), still type-unsafe
string_length s = 
  js.getProperty "length" s
let String = {length: string_length}  
console.log (String.length "there")

// How to use safe types with native objects? 
// maybe using operator ':' à la Haskell (read "5" :: Int)?
 
// string_typed_length (s:String) : Number = 
//   (js.getProperty "length" s) : Number
// let StringTyped = {length: string_typed_length}

// roy> String.length "bye"
// 3 : Native
// roy> StringTyped.length "bye"
// 3 : Number