jsonnetで文字列を整数に変換するにはどうすればよいですか？

Question

私はJsonnet変数に数字を含む文字列を持っています。どのように整数に変換するのですか？

Answer 1

Jsonnet標準ライブラリはかなり薄いですが、ここではこの変換を行うJsonnet関数の例です。

{ 
    string_to_int(s):: 
     local char_to_int(c) = std.codepoint(c) - std.codepoint("0"); 
     local digits = std.map(char_to_int, std.stringChars(s)); 
     std.foldr(function(x,y) x+y, 
        std.makeArray(std.length(digits), 
           function(x) digits[std.length(digits)-x-1]*std.pow(10, x)), 
        0), 
}