# Shouldn't isempty(nothing) return true?

**URL:** <https://discourse.julialang.org/t/shouldnt-isempty-nothing-return-true/9296>\
**Category:** General Usage\
**Created:** [February 24, 2018, 4:08pm UTC](https://discourse.julialang.org/t/shouldnt-isempty-nothing-return-true/9296 "2018-02-24T16:08:56Z")\
**Posts on this page:** 3\
**Page:** 2

<div class="post-metadata">

**Author:** ![jandehaan](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jandehaan/32/6805_2.png) [@jandehaan](https://discourse.julialang.org/u/jandehaan)\
**Post date:** [April 3, 2018, 5:27am UTC](https://discourse.julialang.org/t/shouldnt-isempty-nothing-return-true/9296/21 "2018-04-03T05:27:32Z")

</div>

There are many systems of logic. Examples include propositional logic, description logic, first-order logic, fuzzy logic, modal logic. ([Logic - Wikipedia](https://en.wikipedia.org/wiki/Logic))  
Maybe somebody should develop a package that defines the meaning of operators like `<`, `<=`, `==`, `===`, `>=`, `>`, `⇔`, `⇒`, `→’, etc. based on the type of logic the user want to apply.

---

<div class="post-metadata">

**Author:** ![Liso](https://avatars.discourse-cdn.com/v4/letter/l/898d66/32.png) [@Liso](https://discourse.julialang.org/u/Liso)\
**Post date:** [April 3, 2018, 10:17am UTC](https://discourse.julialang.org/t/shouldnt-isempty-nothing-return-true/9296/22 "2018-04-03T10:17:27Z")

</div>

Or new Julia’s feature could be used:  
_Custom infix operators can now be defined by appending Unicode combining marks, primes, and sub/superscripts to other operators. For example, +̂ₐ″ is parsed as an infix operator with the same precedence as +_ (source: [https://github.com/JuliaLang/julia/blob/master/NEWS.md](https://github.com/JuliaLang/julia/blob/master/NEWS.md))

---

<div class="post-metadata">

**Author:** ![ScottPJones](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/scottpjones/32/146_2.png) [@ScottPJones](https://discourse.julialang.org/u/ScottPJones)\
**Post date:** [April 3, 2018, 1:30pm UTC](https://discourse.julialang.org/t/shouldnt-isempty-nothing-return-true/9296/23 "2018-04-03T13:30:48Z")

</div>

That seems like an intriguing possibility, however, I feel that typing those operators would be a royal pain! 🤓  
(like many of the Unicode operators that can be used in Julia)

[Previous page](https://discourse.julialang.org/t/shouldnt-isempty-nothing-return-true/9296.md?page=1)