I began exploring about it in Nim's manual and loved the concept of effect systems. I'll probably do one more post about it in the future.
# What's Refreshing: No divide by zero error var a = 0 echo -89/a #-Inf echo NegInf > Inf #false Usual Try, Except, Finally
from strutils import parseInt try: var x = parseInt("133a") except ValueError as e: echo "We made an error: ", e.msg #We made an error: invalid integer: 133a #For when we don't use 'as e' var error = getCurrentException() echo error.msg #invalid integer: 133a #If we're in a hurry echo getCurrentExceptionMsg() #invalid integer: 133a finally: echo "I will get executed regardless of an error" Custom Exceptions
type MyException* = object of Exception if(1 == 1): raise MyException.newException("This Exception is mine!! Get your own!") #OR raise newException(MyException, "This Exception is mine!! Get your own!") The * is there so that MyException is visible to other modules too.
But can we raise predefined errors with custom messages?
raise newException(IOError, "This is IO speaking, Er Yes you can!") Try Expression
from strutils import parseInt let x = try: parseInt("133a") except: -1 finally: echo "hi" echo x try except and finally(optional) works as they do, and you get to dynamically decide the value of x in a single expression. But you cannot use multi-line code inside the try-except block. You can, in finally block.
Note: There are also defer statement which I haven't covered here
Exception Tracking
Who knew you can explicitly define what exceptions your proc/iterator/method/converter can raise!
proc p(what: bool) {.raises: [IOError, OSError].} = if what: raise newException(ValueError, "It won't compile") #ERROR p(true) The compiler won't let you raise any error that's not defined.
What if we try a custom exception?
type MyException = object of ValueError proc p(what: bool) {.raises: [IOError, OSError].} = if what: raise newException(MyException, "Still won't compile") #ERROR p(true) What if my custom exception was generic type?
type MyException = object of Exception proc p(what: bool) {.raises: [IOError, OSError].} = if what: raise newException(MyException, "Still won't compile") #ERROR p(true) What if I design the code to throw an undefined error?
from strutils import parseInt proc p(what: bool) {.raises: [IOError, OSError].} = var a = parseInt("133a") #Throws ValueError usually echo a p(true) #Still doesn't work That's it. I need more experience with it to completely understand the effect system and then I'll be back with part II post.
If you learnt something from this post, hit ❤️ and share! Others deserve to know about it too!
Top comments (0)