9
$\begingroup$

I have a question that I was going to post on Software Engineering, but I suddenly stumbled upon this site, and now I'm wondering if the question would be on-topic here.

There's a draft available here, but here's a summary:

I'm now wondering if it makes sense to have both the concept of null and Maybe, to represent unknown and nothing respectively. Is this the three-valued logic I read about, or does it have another name? Or is the intended way to nest a Maybe in a Maybe?

Looking at your questions, they all seem to be a lot more theoretical than my question, so I think it's off-topic, but figured it couldn't hurt to ask.

$\endgroup$
4
  • 3
    $\begingroup$ This seems to be on topic here, I'm just not sure about which tags to use, maybe programming-languages + some more specific tag. $\endgroup$ Commented Dec 30, 2016 at 2:35
  • $\begingroup$ This is not at all an answer to your question, but note that Maybe is a type constructor, not a type unto itself; it is sometimes important to understand this difference. (In Haskell-speak, its kind is * -> *, not just *.) $\endgroup$ Commented Jan 4, 2017 at 4:47
  • $\begingroup$ @wchargin Thanks for your input. The question was posted here fyi :) $\endgroup$ Commented Jan 4, 2017 at 8:40
  • 1
    $\begingroup$ That question turned out to prompt very interesting answers, thanks! $\endgroup$ Commented Jan 4, 2017 at 9:02

1 Answer 1

Reset to default
11
$\begingroup$

We do have the and tags. As long as your questions fall into these categories and are (mostly) language-agnostic they are very welcome!

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.