如果你也會C#,那不妨瞭解下F#(3):F#集合類型和其他核心類型

来源:http://www.cnblogs.com/hjklin/archive/2016/08/17/fs-for-cs-dev-3.html
-Advertisement-
Play Games

本文鏈接: 在第一篇中,我們介紹了一些基礎數據類型,其實那篇標題中不應該含有“F ”字眼,因為並不是特有的。 在本篇中,我們介紹如數組這些集合類型以及部分F 特有的類型。 在第一篇里我們列了一個從0加到100的代碼段,瞭解函數式編程的同學會說那個F 代碼不正宗。 而現在的C 開發一般也會使用Linq ...


本文鏈接:http://www.cnblogs.com/hjklin/p/fs-for-cs-dev-3.html

在第一篇中,我們介紹了一些基礎數據類型,其實那篇標題中不應該含有“F#”字眼,因為並不是特有的。
在本篇中,我們介紹如數組這些集合類型以及部分F#特有的類型。

在第一篇里我們列了一個從0加到100的代碼段,瞭解函數式編程的同學會說那個F#代碼不正宗。
而現在的C#開發一般也會使用Linq的方式來代替迴圈,其實F#天生就是使用這種方式的,下麵我們先介紹F#的集合類型,在之後會介紹相關集合的函數操作。

集合類型

列表:List

聲明List

註意,F#中的List不是C#中常用的System.Collections.Generic.List<T>,雖然後者你也可以在F#里使用。

F#中的List是有序,不可變的,且每一項的類型必須一致。我們先看看怎麼定義列表。以下代碼以>開頭的為輸入,之後的一行則為輸出結果。

> let charList = ['a';'o';'e';'i';'u';'ü'];; 
val charList : char list = ['a'; 'o'; 'e'; 'i'; 'u'; 'ü']
> let emptyList = [];;
val emptyList : 'a list
> let emptyList2 = List.empty;;
val emptyList : 'a list

使用[]聲明和List.empty均可聲明空列表,空列表類型為'a list表示可接收任意類型,但當你添加一個元素後,列表類型但確定了,無法添加其它類型的元素。

和C#不一樣,F#在集合中使用分號(;)分隔各個項。但當列表很大時,使用這樣的聲明方式就變得很麻煩了。

這時,可以使用下麵的範圍(Range)聲明方式來聲明:

> let intList = [1..10];;
val intList : int list = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]
> let tens = [0 .. 10 .. 100];;
val tens : int list = [0; 10; 20; 30; 40; 50; 60; 70; 80; 90; 100]
> let countDown = [5L .. -1L .. 0L];;
val countDown : int64 list = [5L; 4L; 3L; 2L; 1L; 0L]

範圍聲明方式中,中間項為間隔(若無則間隔為1),並包含起始項到結束項熟悉Python的小伙伴要註意。

您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 配置的同步涉及到兩個方面:第一,對原始的配置文件實施監控併在其發生變化之後從新載入配置;第二,配置重新載入之後及時通知應用程式進而使後者能夠使用最新的配置。要瞭解配置同步機制的實現原理,先得從認識一個名為ConfigurationReloadToken的類型開始。 ...
  • 臟檢查 Session到底是如何進行臟檢查的呢?當一個Customer對象被加入到Session緩存中時,Session會為Customer對象的值類型的屬性複製一份快照。當Session清理緩存時,會先進行臟檢查,即比較Customer對象的當前屬性與它的快照,來判斷Customer對象的屬性是否 ...
  • Redis五種數據類型之列表類型 Redis五種數據類型之列表類型。你可以存儲一個有序的字元串列表一類數據。比如你想展示你所存儲的所有文章中的前十條,當分頁取下一頁的時候,你也可以取接下來的十條。所以建議你維護一個文章ID的列表。其內部使用雙向鏈表實現,這意味著在你獲取一段頭部和尾部的數據是極快的, ...
  • WCF服務可以承載與iis、winform、console、window服務中,下麵重點介紹以console為載體,對外提供服務(服務滿足web訪問以及soap方式訪問) 1.服務類的實現 wcf服務類一般有兩種實現方式,下麵分別對兩種方式進行介紹: 1.1 使用介面進行實現 1 namespace ...
  • 這篇關於MVC路由及視圖規則本來是昨天要發的,但是本人真的有點懶,終於今天忍無可忍了。初學MVC的時候比現在還菜一點(現在也很菜),想著會用就行,但是有時還是會好奇,為什麼它能找到控制器?為什麼控制器return View();就能找到視圖,而為什麼視圖一定要建在Views文件下?好像說的有點多了, ...
  • 以前使用log4net的時候老是在糾結配置log4net,總會發生配置文件不生效的情況,最後會發現其實是配置文件沒有拷貝到log4net的運行目錄,還真是糾結。現在好了,通過將文件當作嵌入的資源,然後初始化的時候載入下配置文件,這個問題完美解決。下麵方法如下: 1、將配置文件加入到當前.net相關的 ...
  • (二) 模型變換 模形變換就是指的在世界坐標系中(world space)做“移動”,“旋轉", "縮放"三種操作。 首先要說明的,在Opengl中,是用4x4矩陣進行坐標變換,OpenGL的4x4矩陣是按列排列的,就像下麵這樣。 所謂的模型變換,就是對這個矩陣進行變換。 描述三維世界你就得先設計三 ...
  • .NET的SSL通信過程中,使用的證書可能存在各種問題,某種情況下可以忽略證書的錯誤繼續訪問。 經過下麵的處理伺服器證書驗證中不會有錯誤發生,證書認證一直通過,並正常通信 1.設置回調屬性ServicePointManager.ServerCertificateValidationCallback ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...