IHP :一個開箱即用的 Haskell Web 框架

2024年01月15日23:05:24 科技 1432

IHP :一個開箱即用的 Haskell Web 框架 - 天天要聞

IHP 是一個開箱即用的 Haskell Web 框架,構建在 Haskell 和 Nix 之上。

我們相信函數式編程是軟體開發的未來,並希望讓任何人都可以使用 haskell 和 nix 進行函數式編程。我們嘗試提供一個可供尚未使用過 haskell 的開發人員使用的解決方案。IHP 提供了使用 haskell 和 nix 構建出色的 Web 應用程序所需的一切。我們做出了許多務實的決定,讓您更快開始。這樣你就可以一路拿起 haskell :-)

IHP 代表集成 Haskell 平台。

是什麼讓它與眾不同?

類型安全且可靠: 通過 Haskell 和 Nix,我們使用最可靠的可用技術,以確保您的應用程序永遠不會因為空指針異常而崩潰。

如果您喜歡 TypeScript,您也會喜歡 IHP。

實時重新載入: 雖然 haskell 是一種編譯語言,但內置的開發伺服器會使用儘可能最快的方式自動重新載入代碼更改。更改會立即反映出來。就像古老的 PHP 一樣。

IHP :一個開箱即用的 Haskell Web 框架 - 天天要聞

觀看它的實際行動!

易於訪問: 完全託管的開發環境的設置只需 5 分鐘。所有依賴項(甚至資料庫和編譯器)都使用 nix 包管理器進行管理。這意味著依賴性問題不會再發生。此外,對於團隊中的所有開發人員來說,一切都保證是相同的。

無需 Haskell 經驗: 即使您還沒有專業的 Haskell 經驗,代碼生成器也將幫助您快速構建內容。通過構建現實世界的應用程序來學習 Haskell。

集成開發工具: 為了加快您的開發過程,IHP 附帶了一整套基於 Web 的開發工具。包括:資料庫模式設計器、基於 Web 的代碼生成器、基於 Web 的 repl、...

支持的主要操作系統: Windows(通過 Linux 子系統)、macOS、NixOS、Debian、Ubuntu

HSX: 就像 React 的 JSX 一樣。在你的 haskell 文件中編寫 html 代碼。這將在編譯時轉換為實際的類型檢查 haskell 代碼。

自動刷新: 當基礎數據發生變化時,在後台重新渲染視圖。當您希望視圖始終反映實時資料庫狀態時,這非常有用。自動刷新可以輕鬆替代使用 AJAX 手動輪詢更改。

這是使用自動刷新的視圖,這裡沒有特定於應用程序的 JS 代碼。所有視圖更新均由伺服器觸發:

IHP :一個開箱即用的 Haskell Web 框架 - 天天要聞

使用一行代碼即可為 IHP 視圖啟用自動刷新。

項目地址:

https://github.com/digitallyinduced/ihp

科技分類資訊推薦

補貼後售價20.49萬元起,大六座SUV深藍S09正式上市並開啟交付 - 天天要聞

補貼後售價20.49萬元起,大六座SUV深藍S09正式上市並開啟交付

深藍CEO承諾深藍S09一年不降價,為什麼這一句承諾引起很多關注?因為近年來太多「背刺」老車主的事情,讓咱們害怕買車就降價,感覺自己虧了。其實新車上市沒多久就降價,主要是因為市場競爭壓力,和產品技術迭代太快,這兩個因素造成的結果。
百度發布金融行業大模型,沈抖:產業從提示詞優化走向智能體構建 - 天天要聞

百度發布金融行業大模型,沈抖:產業從提示詞優化走向智能體構建

圖片系AI生成6月6日消息,在2025智能經濟論壇上,百度集團執行副總裁、百度智能雲事業群總裁沈抖宣布,目前已有65%的央企選擇與百度智能雲開展深度合作,同時百度智能雲發布千帆慧金金融大模型,並推出了覆蓋能源、交通、汽車、醫療、環境等領域的精選行業場景智能體家族。百度摸索行業大模型,金融領域做試點行業大模型是...
一日一技:如何正確渲染大模型返回的Markdown? - 天天要聞

一日一技:如何正確渲染大模型返回的Markdown?

我們經常讓大模型返回Markdown格式的文本,然後通過Python的markdown庫把文本渲染成HTML。但不知道大家有沒有發現,大模型返回的Markdown並不是標準的Markdown。特別是當返回的內容包含列表時,大模型返回的內容有
迷你電腦、筆記本、整機都不足2000元,618這幾款低價PC很彪悍 - 天天要聞

迷你電腦、筆記本、整機都不足2000元,618這幾款低價PC很彪悍

最近朋友想買一款2000元內的電腦,主要是家裡辦公用。由於有顯示器,所以就想買個主機,也就可以了。評價君不看不知道,看了一下發現,在低價電腦方面,現在出的最多的要數宏碁了,其迷你電腦、筆記本、整機都不足2000元,給出了豐富的選擇。首先是商用台式機Veriton D750,原價1999元,補貼價1599元。這款電腦採用了銳龍5...
全球壟斷卻賣不動?ASML的尷尬:最牛光刻機遭台積電嫌棄 - 天天要聞

全球壟斷卻賣不動?ASML的尷尬:最牛光刻機遭台積電嫌棄

ASML這家公司活得挺憋屈——手握全球90%的光刻機市場,EUV光刻機更是獨門生意,按理說該躺賺。可現實是,它正被兩頭堵得喘不過氣:一邊是美國攥著對華出口的「遙控器」,另一邊是自家最先進的設備賣不動,連台積電都甩臉子不買賬。先說美國的「緊箍
小米:被罵得越狠,賣得越火?揭秘「招黑體質」背後的生存法則 - 天天要聞

小米:被罵得越狠,賣得越火?揭秘「招黑體質」背後的生存法則

小米這家公司,真是行業里的「奇葩」。自打誕生起,罵聲和掌聲就從來沒斷過。有人誇它是「價格屠夫」,有人罵它是「組裝廠」;有人捧它「讓科技更親民」,有人踩它「沒核心技術」。可怪就怪在這兒——挨罵最多的小米,反而越活越滋潤,手機、家電、汽車樣樣開
充電時,先插手機還是充電器?這幾種充電方法,手機壞得快! - 天天要聞

充電時,先插手機還是充電器?這幾種充電方法,手機壞得快!

我們每天都在使用手機,但很多人可能不知道正確的手機充電方式。充電時,先插手機還是充電器?手機一定要滿充滿放嗎?這些知識一定要掌握01手機一定要滿充滿放嗎?關於充電,總流傳著一些說法:手機電量耗盡再充電,每次要充滿,這樣才有利於電池保養,隨時充會影響電池壽命。實際上,這些理論都比較過時了。早些年廣泛使...
全球第一台積電,對比大陸第一中芯國際,差距究竟有多大? - 天天要聞

全球第一台積電,對比大陸第一中芯國際,差距究竟有多大?

眾所周知,在全球晶元代工領域,台積電是真正的第一名,不管是技術,還是市場份額都是第一名。而在中國大陸,則中芯國際是第一名,同樣不管是技術,還是市場份額,都是中國大陸的第一名。那麼問題來了,我們拿台積電,來對比一下中芯國際,看看差距到底有多大
OLED不再傷眼!探秘天馬工廠破解「0頻閃」護眼屏誕生之路 - 天天要聞

OLED不再傷眼!探秘天馬工廠破解「0頻閃」護眼屏誕生之路

人類本質上是矛盾的生物。 這一點在對待手機的態度上尤為明顯。家長們一面擔憂手機「傷眼」,頻頻告誡孩子「少玩手機防近視」;一面卻難以割捨掌中方寸帶來的便利與消遣。這種矛盾,使得「護眼」功能成為智能手機不可迴避的核心需求。 然而回溯早期,廠商的所謂「護眼」方案頗為粗淺:無非是將屏幕調至昏暗,或是簡單粗暴地...