python (12.9k questions)

javascript (9.2k questions)

reactjs (4.7k questions)

java (4.2k questions)

java (4.2k questions)

c# (3.5k questions)

c# (3.5k questions)

html (3.3k questions)

Questions - sorbet

Can invalid signature errors ever trigger at runtime if code has been statically checked by Sorbet?

I was looking through the list of Sorbet runtime errors from the docs. It seems to me that "Errors from invalid sig procs" and "Errors from invalid sigs" would be caught by the Sor...
test-img

Bill C

ruby

sorbet

Votes: 0

Answers: 1

Latest Answer

Basic answer There are cases in which the static checks pass, but you'd get a runtime error. Consider the following: # typed: strict class A extend T::Sig sig {returns(Integer)} def foo; 0; end...
test-img

marianosimone

How can I resolve sorbet error: "Constants must have type annotations with T.let when specifying # typed: strict"?

This is similar to my question in How can I resolve sorbet error: "Use of undeclared variable"?, but for constants. I am experimenting with adding sorbet type information to my gem, pdf-read...
test-img

James Healy

ruby

sorbet

Votes: 0

Answers: 1

Latest Answer

# TLDR # NOTE: temporary fix, because this looks like a sorbet bug/feature; # if you're getting inconsistent results use --max-threads=1 $ srb typecheck --stress-incremental-resolver This is t...
test-img

Alex

Resolving "code is unreachable" in sorbet

I maintain the pdf-reader ruby gem, and I'm experimenting with static type checking via sorbet. I have a particular source file that's currently typed: false, and I'd like to change it to typed: true....
test-img

James Healy

ruby

sorbet

Votes: 0

Answers: 1

Latest Answer

Looks like it is related to this bug. I would mark mode as unsafe for now. mode = T.unsafe(:none) You can play with the code on sorbet.run
test-img

javiyu

Confusion on when to use T.let vs. T.cast

Based on: https://sorbet.org/docs/type-assertions In my mind, T.cast seems like a more powerful version of T.let. T.cast(expr, type) forces Sorbet to accept expr as type, even if expr cannot be static...
test-img

Billy the Kid

sorbet

Votes: 0

Answers: 1

Latest Answer

The T.let annotation explicitly widens the type from FalseClass to T:Boolean T.cast on the other hand simply relaxes Sorbet’s static checks, it doesn’t silence type errors at runtime that occur from t...
test-img

Fraser

Posts

Questions

Blogs

Jobs