# When would you use language plait & when would you use language typed/racket?

**URL:** <https://racket.discourse.group/t/when-would-you-use-language-plait-when-would-you-use-language-typed-racket/1663>\
**Category:** General\
**Created:** [January 25, 2023, 11:27pm UTC](https://racket.discourse.group/t/when-would-you-use-language-plait-when-would-you-use-language-typed-racket/1663 "2023-01-25T23:27:20Z")\
**Posts on this page:** 1\
**Showing post:** 7

<div class="post-metadata">

**Author:** ![shhyou](https://avatars.discourse-cdn.com/v4/letter/s/ccd318/32.png) [@shhyou](https://racket.discourse.group/u/shhyou)\
**Post date:** [January 27, 2023, 4:38am UTC](https://racket.discourse.group/t/when-would-you-use-language-plait-when-would-you-use-language-typed-racket/1663/7 "2023-01-27T04:38:08Z")

</div>

Re (& [Language plait and gui](https://racket.discourse.group/t/language-plait-and-gui/1666)): Typed Racket is a typed version of Racket, which has the type system designed for

- safe and sound interoperability with Racket
- typing idiomatic Racket programs, including logical types and occurrence typing

```scheme
(if (integer? x) #| integer? is not just Any -> Bool but also gives information on the type of x |#
    (+ x 3) #| x has type Integer in this branch |#
    ... #| x has type SOMETHING - {Integer}, roughly |#)
```

---

_[View the full topic](https://racket.discourse.group/t/when-would-you-use-language-plait-when-would-you-use-language-typed-racket/1663)._