Converting between numbers and strings

[Nihal-Srivastava05]

Converting between numbers and strings

[developedby]

If you want to see the character as a string, just create a string with a single element.

# This is your String/Cast function
def Number/show(n):
  return String/Cons(n, String/Nil)

To read a string as a number, you have to write a number parser

def Number/parse_digit(digit):
  return digit - '0'

# This is your Number/Cast function
def Number/parse_decimal(str):
  acc = 0
  fold str with acc:
    case String/Nil:
      return acc
    case String/Cons:
      return str.tail(10*acc + Number/parse_digit(str.head))

I think this works, but it's only to give you an idea.

We don't a builtin way to do either at the moment

[Nihal-Srivastava05]

Thanks, will use this syntax.