[問題] main()和main(void)的差別

[pandaren0905 (熊貓小弟)]

已爬文看過main()系列文章，
但一直困擾我很久的一個問題：

根據函數的定義是定義域非空X裡所有元素x都要有唯一的值y來在對應域Y對應。那麼請問
問題來了

C和C++中，
1.為何主程式可以不用丟元素進去？主程式不也是一種函數嗎？
2.如果把void指令也看成一個元素，是否就滿足函數的定義了？
3.main()是否為main(void)的化簡呢？


數學系的我剛學程式好難接受啊

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 101.12.162.72 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1590580459.A.D32.html
→ james732: 要不要改用functional language (咦)
→ CMJ0121: 改用 variable-length argument 思考應該就可以...吧
→ ddavid: 那你不會先在x = x + 1就卡關了嗎XD
推 ddavid: 然後void不可以視為元素，這麼想是錯的
→ ketrobo: 把隱含的時間軸帶進去看看
推 chuegou: 一般函數也可以foo(void) 當初為什麼叫function呢？
推 bibo9901: 函數的定義域可以是空集....吧?
→ zxzx8059: 以前有void main(void)
推 alan23273850: 6樓有回答到你的問題嗎
→ suhorng: 3. C++ 可以 C 不行. C 不寫 void 的宣告代表未知 arity
推 joey11121: 如果想了解進階觀念的話，去看jserv的「你所不知道的C
→ joey11121: 語言」中的規格書探討
→ joey11121: 網址：https://hackmd.io/@sysprog/c-standards?type=v
→ joey11121: iew
→ joey11121: 大致上是說有void的才是正確的
→ joey11121: https://i.imgur.com/HtdrzIj.jpg
→ pandaren0905: 謝謝joery大大的回答
推 a58524andy: 函數定義域為空代表常數ㄅ 不過這離題了
→ a58524andy: 總之就只是名詞就這麼多 偶爾有點歧義也是很正常的
推 lc85301: 所以數學上像 main 這樣要叫什麼
推 ddavid: 其實說常數也是不正確的，因為main()雖然沒直接拿參數，但
→ ddavid: code裡面其實卻可以從argv以外的地方拿input，所以不是嚴
→ ddavid: 格的常數XD
→ ddavid: 事實上這說法也可推到一般有輸入的程式語言function，再加
→ ddavid: 上指標等等的存在，本來程式語言的function就是不能直接跟
→ ddavid: 數學的function畫上等號的，就只是把詞拿來用罷了
→ a58524andy: 我說的是數學上會當沒輸入的函數常數啦XD
推 CoNsTaR: 認真建議你先寫 Agda 或 Coq 來熟悉一下直構邏輯（types
→ CoNsTaR: ）和 pattern calculus（lambda calculus）
→ CoNsTaR: 如果你選的是 Agda，應該可以無痛直接接上 Haskell
→ CoNsTaR: 在 Haskell 裡就有對電腦程式各種東西做數學的抽象
→ CoNsTaR: 掌握了 Haskell 的 GADT 之後就很容易可以掌握 OO 語言了
→ CoNsTaR: 語法從 Haskell 跳到 OO 不習慣的話，可以先寫 rust 找一
→ CoNsTaR: 下對應
推 CoNsTaR: 啊... 我說的對程式的東西做數學的抽象指的就是像你講的
→ CoNsTaR:  void、IO 之類的東西
→ TitanEric: 以為走錯版
推 jack82822005: 副程式、函數、純函數本來就有差吧XD
→ jack82822005: 概念上有差XD