"OCaml"

Intel Skylake/Kaby lake用戶注意，趕快禁用HT超線程技術
Intel Skylake/Kaby lake用戶注意，趕快禁用HT超線程技術
感謝IT之家網友 光卡的投稿IT之家6月26日消息 由於HT超線程技術的加持，Core i7/ i9等高端處理器都有著非常優秀的性能表現，因此深受遊戲玩家...
英特爾 Linux Windows OCaml 2017-06-27
這是哈佛滿績點理工科生的一天，他卻認為滿績點是很失敗的事
這是哈佛滿績點理工科生的一天，他卻認為滿績點是很失敗的事
本文由公眾號 “把科學帶回家” 提供給孩子最好的科學教育編譯 七君許多人都好奇哈佛大學的學生是怎麼學習的吧，或許也想知道在哈佛大學上學又是什麼樣的體驗吧？...
大學 哈佛大學 OCaml TED 數學 2018-12-03
'代碼詳解：以forEach為跳板洞悉函數式編程'
"全文共3388字，預計學習時長7分鐘圖片來源：Unsplash/JR KorpaJavaScript編程員每天都會用多範式語言來處理大量函數式編程工作。那麼，你瞭解多少呢？一個簡單的列表迭代將下列數據視作為一個字符串列表const langs = ['lisp', 'ha...
泛函編程 JavaScript 程序員 SUSE Haskell LISP OCaml 電腦 2019-08-28
程序員不糾結：九大非主流頂尖編程語言！
程序員不糾結：九大非主流頂尖編程語言！
流行的編程語言隨著時代發生了不小的變化，以下這九大被譽為最有潛力的編程語言可能足以成為你下一個項目的完美選擇。這些編程語言受歡迎的原因如下：它們提供了開源...
編程語言 泛函編程 Kotlin Haskell 2017-07-20
5月TIOBE排行榜：Java和C語言正在被超越
5月TIOBE排行榜：Java和C語言正在被超越
自2016年初，Java和C語言就出現了明顯的下頹趨勢，與去年相比，這兩種語言的市場佔有率均下滑了6%有餘。根據TIOBE的數據顯示，原本的Java和C語...
編程語言 Java C語言 FoxPro 2017-05-08
微軟首席研究員：函數式編程語言時代已經來臨
Simon Peyton Jones 將 Haskell 等函數式編程語言描述為：它們是程序員靈感的來源函數式語言(functional language)一類程序設計語言，具有簡明性和獨特的表達能力，因此可用它來研究傳統程序設計語言的語義。在如今面嚮對象語言大行其道的時代...
编程语言 泛函编程 微软 Haskell 软件 灯塔大数据 2017-11-18
2019火熱的開源微服務框架彙總，值得關注
2019火熱的開源微服務框架彙總，值得關注
誕生於 2014 年的“微服務架構”，其思想經由 Martin Fowler 闡述後，在近幾年持續受到重視，理論與相關實踐都不斷髮展，目前它已經成為了主流...
Java 軟件 Node.js Python PHP Eclipse OCaml JavaScript 騰訊 百度 Smalltalk 金融 Google Erlang 技術 Cocoa 編程語言 Ruby Perl Haskell 可視化技術 甲骨文公司 2019-07-12
編程語言數據分析：Python最吃香，php最招罵？
編程語言數據分析：Python最吃香，php最招罵？
Reddit基本可稱為世界最大的開源社群論壇，聚集了大量的開發者，最近Stuck_In_the_Matrix維護的reddit數據集偶然被發現，他歸檔了大...
編程語言 Python PHP 泛函編程 IT168企業級 2017-09-23
編程語言又添新成員，Tisp你用了嗎？
編程語言又添新成員，Tisp你用了嗎？
編程語言如雨後春筍般出現，讓程序員們叫苦不迭。最近微軟的研究人員和工程師、以及加州大學伯克利分校和倫敦帝國理工學院的學術研究人員共同開發了P，一種用於在異...
編程語言 程序員 Python 微軟 2017-05-25
程序員請注意，新的功能編程語言Tisp出沒
程序員請注意，新的功能編程語言Tisp出沒
編程語言如雨後春筍般出現，讓程序員們叫苦不迭。最近微軟的研究人員和工程師、以及加州大學伯克利分校和倫敦帝國理工學院的學術研究人員共同開發了P，一種用於在異...
編程語言 程序員 Python 工程師 2017-05-24
這10款編程工具幫程序員克服JavaScript的不足！
這10款編程工具幫程序員克服JavaScript的不足！
JavaScript是Web應用程序的核心語言；任何需要在瀏覽器中運行的應用程序都必須以該語言實現。我們都知道，JavaScript不是每個任務的最佳語言...
編程語言 JavaScript 程序員 編譯器 IT168企業級 2017-08-23
智能合約兌現其承諾之前 區塊鏈需要不斷髮展
金色財經訊 智能合約，簡言之就是一個自動執行區塊鏈上的合約條款的計算機程序，作為區塊鏈的“殺手級應用程序”，前途無限。但在智能合約兌現其承諾之前，區塊鏈需要不斷髮展。 智能合約作為區塊鏈的“殺手級應用程序”前途非常光明。 區塊鏈技術將為傳統市場提供強勁的上升空間這點也非常...
智能合約 區塊鏈 TheDAO 2018-07-24
免費的計算機編程類中文書籍，github上最火，持續更新
免費的計算機編程類中文書籍，github上最火，持續更新
想進入計算機行業，修煉內功很重要，內功決定一個人的深度，學習一個框架不難，掌握框架的原理卻是不那麼簡單。所以，業餘時間充電很重要，選好書籍很重要，下面為大...
文本編輯器 Git GitHub Go語言 偏愛籃球 2017-10-15
2017年編程語言前三季度盤點：綜合所有權威排行榜及調研結果！
程序員、加班、工資、編程語言、框架、工具這幾個詞語經常同框出現，各大調研分析機構更是對挖掘這其中的關係樂此不疲。在2017年的前三季度，各大針對編程語言和程序員的排行榜單數不勝數，彼此之間難免有所差異（數據來源及評估標準不同），筆者對前三季度各大編程語言榜單進行了彙總，快來...
编程语言 Java Stack Overflow 程序员 Go语言 IT168企业级 2017-11-15
「深度學習Github 10萬+源代碼分析」Python是第三受歡迎語言
「深度學習Github 10萬+源代碼分析」Python是第三受歡迎語言
1新智元編譯 編程語言是軟件開發的主要工具。自20世紀40年代以來，已經有數百種語言被髮明出來，每天，大量的各種語言編寫的代碼活躍著代碼庫。我們認為，如果...
編程語言 GitHub Python 機器學習 新智元 2017-09-03
形式化驗證研究報告
形式化驗證研究報告
2018.06.27 pdf高清下載鏈接：https://pan.baidu.com/s/1PWd1v4ENXloJTyI3Osilhg 密碼：arv3 ...
形式化驗證 安全 區塊鏈 2018-07-25
10種能夠編譯成 JavaScript 的腳本語言
10種能夠編譯成 JavaScript 的腳本語言
相比於簡單的網站，現代應用具有不同的需求。但是瀏覽器是一個具有（幾乎）固定可用技術集合的平臺，而JavaScript依然是 web 應用的核心語言；需要運...
編程語言 JavaScript 泛函編程 編譯器 海同職座標 2017-08-27
他的思想代表了邏輯和語言
他的思想代表了邏輯和語言
用圖靈機的概念完整地證明了希爾伯特判定性問題，並因此從數學理論中開闢出了計算機科學的分支。但即便是這樣，圖靈的理論撐起的也僅是計算機領域的半邊天。如果把日...
阿蘭·圖靈 編程語言 數學 泛函編程 2017-03-25
'對比了 Python、Go 和 Rust 之後，我得出了這個結論'
"幾年前，我負責重寫一個圖像處理服務。為了弄清楚對於給定的圖像和一個或多個轉換（調整大小、圓形裁剪、修改格式等），我的新服務創建的輸出是否和舊服務一致，我必須自己檢查圖像。顯然，我需要自動化，但我找不到一個現有的 Python 庫可以告訴我，這兩張圖片在像素級上有什麼不同，...
Python Rust 圖像處理 編譯器 Xkcd Django 2019-08-16
Libra會成為超主權貨幣嗎？
Libra會成為超主權貨幣嗎？
多年以後，當我們回顧facebook發幣這一事件，會發現其意義遠不止一個商業巨頭的自我轉身。這會是由加密經濟掀起的新一輪金融革命，或是滑入威廉·吉布森所描...
Facebook 比特幣 經濟 技術 投資 金融 WhatsApp 中央銀行 銀行 算法 證券投資基金 國家公債 Uber Instagram 2019-06-22
推薦中...