What is the best way to type cast os.date('%Y') return value as integer?

[stefanos82]

I have attempted the following example without success:

require 'os'

local year = (@int64)(os.date('%Y'))
print(year)

What is the ideal way to cast a string to integer?

[RaycatWhoDat]

require 'os'

local year: int64 = tonumber(os.date('%Y'))
print(year)

?

Also, you'll probably get a faster response in the Discord.

[stefanos82]

I have totally forgot about tonumber 🤦 thank you @RayMPerry 👍

[stefanos82]

@edubart based on the example above by @RayMPerry, if I don't set its type explicitly, why is it nil?

require 'os'

do
  local year = tonumber(os.date('%Y'), 10)
  print(year) -- 2023
  ##[[
  print(string.format("year.type: %s", year.type)) -- year.type: nil
  ]]
end

I have tried the same with tointeger() and still the same.

I thought this was being applied:

Am I doing something wrong?

[RaycatWhoDat]

According to tonumber's definition here, it returns auto. An auto variable doesn't have a type property like others. Dunno why that is; I just know it is.

local function return_auto(): auto
   return 12
end

local other_var = return_auto()
## print(string.format("other_var.type: %s", other_var.type)) -- nil

Workaround: just cast it.

[stefanos82]

Something is not right...in the comment in my screenshot above it makes it clear about type deduction.

[stefanos82]

@RayMPerry Oh shoot, I forgot about the after_inference() that can be used to find the types after the compiler finishes the type inference.

require 'os'

do
  local year = tointeger(os.date('%Y'))
  print(year)
  ##[[
  after_inference(function()
    print(string.format("year.type: %s", year.type))
end)]]
end

[RaycatWhoDat]

Huh. TIL.

[stefanos82]

Yeah, I totally forgot an old example Eduardo shared with me about various ways to get variable types in 5 different ways:

require 'io'

local a: auto = 1
local b = 1
local c: #[a.type]# = 1

-- at compile time
##[[
print(string.format("At compile-time\n  a: %6s, b: %6s, c: %6s", a.type, b.type, c.type))
]]
-- the above outputs: a: int64, b: nil, c: int64

-- at compile time after type inference is finished
##[[
after_inference(function()
  print(string.format("At compile-time after type inference\n" ..
      "  a: %6s, b: %6s, c: %6s", a.type, b.type, c.type))
end)
]]
-- the above outputs: a: int64, b: int64, c: int64

-- at runtime using preprocessor
io.printf("At runtime using preprocessor\n" .. 
  "  a: %6s, b: %6s, c: %6s\n",
  #[tostring(a.type)]#,
  #[tostring(b.type)]#,
  #[tostring(c.type)]#)
-- the above outputs: a: int64, b: nil, c: int64

-- at runtime using the traits module
require 'traits'
io.printf("At runtime using traits module\n" .. 
  "  a: %6s, b: %6s, c: %6s\n",
  traits.typeinfoof(a).name,
  traits.typeinfoof(b).name,
  traits.typeinfoof(c).name)
-- the above outputs: a: int64, b: int64, c: int64

-- at runtime using a customized polymorphic function
local function typenameof(x: auto): string
  return #[tostring(x.type)]#
end
io.printf("At runtime using polymorphic function\n" .. 
  "  a: %6s, b: %6s, c: %6s\n",
  typenameof(a), typenameof(b), typenameof(c))
-- the above outputs: a: int64, b: int64, c: int64