theory

7熱度

4回答

驅動程序是什麼意思？

有一篇引用來自Java算法（sedgwick 2003）p。 135：什麼是驅動程序的意思是「我們共同開發或調試ADT iplementations時所使用的驅動程序」？谷歌只是給了我關於編程的司機，顯然不相關

11熱度

8回答

關係數據庫和數學？

任何人都可以建議採用數學方法處理關係數據庫的資源嗎？本質上是關係代數，我猜想。我有一個數學背景，現在與數據庫工作很多，並希望縮小差距。

6熱度

3回答

教會數字：如何在lambda演算中編碼零？

我學習演算，但我似乎無法理解的編碼數字0 是如何「函數，它在功能和第二個值和應用功能上的說法零次」一零？有沒有其他的方式來編碼零？任何人都可以幫我編碼0嗎？

1熱度

2回答

序列化到磁盤創建一個簡單的數據庫的地方...有沒有這種方法的模式或行業名稱？

我領導一個由5名左右開發人員組成的開發團隊，我們需要堅持少量的數據。我想我們不需要使用完整的數據庫引擎，而是可以簡單地將我們的數據序列化到磁盤。我們會在運行時根據需要將我們的對象集合序列化到磁盤上和從磁盤序列化，而不是將數據映射到對象和從對象映射表。至多我們有大約20個對象，我無法想象我們的對象數量會延伸到數千個。.. 部分團隊希望按照理解的方式訪問數據庫路線。另一部分認爲序列化是可以的。我的

7熱度

9回答

有限自動機的用途是什麼？

finite automata有什麼用？以及我們在計算理論中研究的所有概念。我從來沒有見過他們的用途。

42熱度

6回答

「封閉」與「塊」之間的區別究竟是什麼？

我發現很多人可以互換使用關閉和塊。這些人大部分都無法解釋他們在說什麼。一些Java程序員（甚至是來自非常昂貴的諮詢公司的人）都會將匿名內部類作爲「塊」和「閉包」進行討論 - 但我知道這是不正確的。（你不能從他們在定義該方法的範圍內通過可變的變量...）我在尋找：精確，計算機科學定義的方框封閉和澄清的精確，計算機科學定義在兩者之間的差異。我真的很希望看到鏈接，文章或書這些請參考。

0熱度

3回答

如何存儲用戶列表，並讓用戶知道他們在列表中

我在構建一個用戶可以將用戶添加到他們的「列表」中的網站。這個列表屬於用戶，但我想知道什麼是最好的方式來存儲/檢索/循環通過此列表中的函數，以顯示名單上的人，他們在那裏，誰創造它。所以一旦創建用戶名列表中，我會假設它存儲在MySQL表中的字段，然後寫這將搜索該表來查找影響當前登錄的用戶列表中的任何一個功能。我的問題是兩倍。首先，假設列表只是a-z 0-9並且連字符和下劃線（用戶名中沒有空格，但用

1熱度

2回答

是否可以通過機器邊界（通過tcp-ip）進行事務處理？

理論上，是否可以定義一個協議，其中一臺機器在另一臺機器（或多臺機器）上進行一些遠程調用，以及在該進程的任何部分中，如果任何機器（或操作）發生故障或通信中斷，一切都回滾了？（就像數據庫一樣）我問這個問題，因爲在硬件層面上，人們總是說如果沒有原子處理器操作（測試和設置），就不能進行原子操作（一個非常重要的事務成分）。但是，既然我們現在正在談論多臺機器，這不會飛。作爲一個例子，這將是一個棘手的問題

29熱度

2回答

可以liftM與liftA不同嗎？

根據the Typeclassopedia（其它來源之一），Applicative邏輯Monad和Pointed（因此Functor）之間所屬的類型的類層次結構，所以我們非常有這樣的事情，如果Haskell的前奏是今天寫的： class Functor f where fmap :: (a -> b) -> f a -> f b class Functor f => Pointed

2熱度

2回答

對於後期項目，真的是「夠好」了嗎？

看起來管理層總是在說項目如何遲到，那麼我們必須弄清楚什麼是足夠快的生活。我發現的問題是，我們傾向於將重點放在客戶需要的功能上，而不是一些基本的功能，我認爲Web應用應該具有它的本質。例如，我們花了更多時間討論是否添加noscript標記以通知用戶該網站需要將javascript添加到功能請求列表中，而不是將它添加到母版頁中的時間推出來。是否有一些好的方法來確定哪些東西應該足夠好？我如何知道我