# \#unsafe

**URL:** https://racket.discourse.group/tag/unsafe/125.md

[Latest](https://racket.discourse.group/latest.md) · [Categories](https://racket.discourse.group/categories.md) · [Tags](https://racket.discourse.group/tags.md)

---

## [An option to omit type checks](https://racket.discourse.group/t/an-option-to-omit-type-checks/1735)

<div class="topic-metadata">

**Author:** [@joskoot](https://racket.discourse.group/u/joskoot)\
**Replies:** 15\
**Last updated:** [March 3, 2023, 5:51pm UTC](https://racket.discourse.group/t/an-option-to-omit-type-checks/1735 "2023-03-03T17:51:14Z")

</div>

Hi, The type checking in Racket is a big help in debugging programs and to prevent crashes that shut down the whole of the computer (as far as seen my the current user). I don't know how the most recent version of Fortr…

---

## [Is it possible to unsafely assume sub-types in Typed Racket?](https://racket.discourse.group/t/is-it-possible-to-unsafely-assume-sub-types-in-typed-racket/1140)

<div class="topic-metadata">

**Author:** [@pcn](https://racket.discourse.group/u/pcn)\
**Replies:** 1\
**Last updated:** [July 11, 2022, 2:41pm UTC](https://racket.discourse.group/t/is-it-possible-to-unsafely-assume-sub-types-in-typed-racket/1140 "2022-07-11T14:41:20Z")

</div>

Typed Racket exposes unsafe primitives that make it possible to unsafely cast a value to an arbitrary type. Is it also possible to use existing unsafe utilities to somehow make Typed Racket assume that one type is anothe…