# Reveal type in Crystal

**URL:** <https://forum.devtalk.com/t/reveal-type-in-crystal/99548>\
**Category:** Backend Official News\
**Tags:** newsbot, crystal, type, official-news\
**Created:** [6 March 2023 22:02 UTC](https://forum.devtalk.com/t/reveal-type-in-crystal/99548 "2023-03-06T22:02:13Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![NewsBot](https://forum.devtalk.com/user_avatar/forum.devtalk.com/newsbot/32/1114_2.png) [@NewsBot](https://forum.devtalk.com/u/NewsBot)\
**Post date:** [6 March 2023 22:02 UTC](https://forum.devtalk.com/t/reveal-type-in-crystal/99548/1 "2023-03-06T22:02:13Z")

</div>

A new [Crystal](https://devtalk.com/crystal) blog post/announcement has been posted!

> [@](#):
>
> Recently I came across [`reveal_type` from Sorbet](https://sorbet.org/docs/flow-sensitive#example) as a way to inspect the type of an expression, thanks [Brian Hicks](https://www.brianthicks.com/). I wondered if that can be ported to Crystal. You can jump to the [conclusions](#conclusions) section if you want to copy-paste the good-enough™️ solution in your project.
> 
> Inspecting the type of an expression is a reasonable question to ask. When the program compiles, the compiler knows the answer for sure.
> 
> Let’s start working with a relatively simple example grabbed from Sorbet’s documentation.
> 
> ```
> def maybe(x, def<span cla...
> 
> ```

`
Get the full details here: Reveal type in Crystal - The Crystal Programming Language`