主頁 > 後端開發 > 在OCaml中遞回洗掉重復的尾部

在OCaml中遞回洗掉重復的尾部

2022-09-15 23:09:27 後端開發

我嘗試通過迭代一個帶有空串列的串列來為這個練習撰寫自己的解決方案,在該complst串列中插入所有非重復項,然后回傳。在查找解決方案后,我知道這是一種過于復雜的方法,但仍然想了解為什么模式匹配不能按預期作業:

let compress list =
  let rec aux complst lst =
    match lst with 
    | [] -> complst
    | a :: (b :: c) -> if a = b then aux complst (b::c) else aux (a::complst) (b::c)
    | x -> x  
  in aux [] list;;
val comp : 'a list -> 'a list = <fun>

不管輸入如何,輸出總是一個只有最后一個元素的串列:

 compress [1;1;2;2;3];;
- : int list = [3]

 compress [1;2;3];;
- : int list = [3]

uj5u.com熱心網友回復:

模式匹配

您的模式匹配與三種模式匹配:

  1. 空串列:[]
  2. 至少包含兩個元素的串列:a :: (b :: c)
  3. 一個包羅萬象的東西,它必須通過消除程序成為一個具有單個元素的串列。

考慮當我們評估您的示例時會發生什么:

compress [1; 1; 2; 2; 3]
aux [] [1; 1; 2; 2; 3]
aux [] [1; 2; 2; 3]
aux [1] [2; 2; 3]
aux [1] [2; 3]
aux [2; 1] [3]
[3]

lst哎呀,一旦它擊中[3]它就回傳它。

讓我們通過添加來重寫您的函式以處理該單個元素串列complst

let compress lst =
  let rec aux complst lst =
    match lst with 
    | [] -> complst
    | [x] -> aux (x::complst) []
    | a :: (b :: c) -> 
      if a = b then aux complst (b::c) 
      else aux (a::complst) (b::c)
  in 
  aux [] list

現在:

compress [1; 1; 2; 2; 3]
aux [] [1; 1; 2; 2; 3]
aux [] [1; 2; 2; 3]
aux [1] [2; 2; 3]
aux [1] [2; 3]
aux [2; 1] [3]
aux [3; 2; 1] []
[3; 2; 1]

清理并反轉結果串列

當然,也有一些方法可以使用條件保護來稍微清理代碼,并且_對于不需要將名稱系結到的值。您可能還想反轉您的累加器。

let compress lst =
  let rec aux complst lst =
    match lst with 
    | [] -> List.rev complst
    | [x] -> aux (x::complst) []
    | a :: (b :: _ as tl) when a = b -> aux complst tl
    | a :: (_ :: _ as tl) -> aux (a::complst) tl   
  in
  aux [] lst

折疊

當您看到這種一次遍歷串列一個元素并累積一個新值的模式時,您通常可以很好地將其映射到List.fold_left.

let compress lst =
  List.(
    fold_left 
      (fun i x -> 
         match i with 
         | (x'::_) when x = x' -> i 
         | _ -> x::i) 
      [] lst 
    |> rev
  )

因為List.fold_left一次只能知道串列中的一個元素,所以我們作為第一個引數傳遞的函式無法知道串列中的下一個元素。但它知道累加器或“init”值。在這種情況下,這是另一個串列,我們可以模式匹配該串列。

如果它不為空并且第一個元素等于我們正在查看的當前元素,則不要將其添加到結果串列中。否則,請添加它。這也處理累加器為空的第一個元素情況。

感謝為這個問題創建尾遞回解決方案!

uj5u.com熱心網友回復:

你的代碼的問題主要是最后一部分,它對應于你的串列中有最后一個元素,所以在這里[3],你回傳帶有這個單個元素的串列。您需要做的是將其附加到 complst 中,如下所示:

let compress list =
  let rec aux complst lst =
    match lst with 
    | [] -> complst
    | a :: (b :: c ) -> if a=b then aux complst (b::c) else  aux (a::complst) (b::c)
    | x::e -> x::complst 
  in aux [] list;;
val comp : 'a list -> 'a list = <fun>

現在您可以檢查給定的示例:

compress [1;1;2;2;3];;
- : int list = [3; 2; 1]

希望它可以幫助您更好地理解您的錯誤。

關于注釋的注意事項:您應該保留 [] 大小寫,因為盡管它只能在一種情況下發生,但它仍然是一個有效的輸入,這意味著它必須保留!。

轉載請註明出處,本文鏈接:https://www.uj5u.com/houduan/508405.html

標籤:列表 递归 函数式编程 模式匹配 ocaml

上一篇:回傳遞回函式與回傳存盤遞回函式值的變數

下一篇:返回列表

標籤雲
其他(144758) Python(37231) JavaScript(24844) Java(16400) C(14959) 區塊鏈(8236) C#(7952) AI(7469) 爪哇(7395) html(6769) MySQL(6705) 基礎類(6313) sql(6082) 熊猫(6051) PHP(5777) 数组(5735) R(5304) Linux(5174) 反应(5172) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4408) 数据框(4307) css(4247) 节点.js(4012) C語言(3288) json(3236) 列表(3119) C++語言(3117) 扑(3073) 安卓(2991) 打字稿(2955) VBA(2784) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2379) ASP.NET(2364) MongoDB(2315) 麻木的(2285) 正则表达式(2230) 字典(2211) 循环(2196) 擅长(2159) 迅速(2157) 镖(2147) 功能(1966) Web開發(1951) python-3.x(1912) 弹簧靴(1910) xml(1866) for循环(1841) 谷歌表格(1837) Unity3D(1823) PostgreSQL(1805) 網絡通信(1793) .NETCore(1787) .NET技术(1786) 蟒蛇-3.x(1774)

熱門瀏覽
  • 【C++】Microsoft C++、C 和匯編程式檔案

    ......

    uj5u.com 2020-09-10 00:57:23 more
  • 例外宣告

    相比于斷言適用于排除邏輯上不可能存在的狀態,例外通常是用于邏輯上可能發生的錯誤。 例外宣告 Item 1:當函式不可能拋出例外或不能接受拋出例外時,使用noexcept 理由 如果不打算拋出例外的話,程式就會認為無法處理這種錯誤,并且應當盡早終止,如此可以有效地阻止例外的傳播與擴散。 示例 //不可 ......

    uj5u.com 2020-09-10 00:57:27 more
  • Codeforces 1400E Clear the Multiset(貪心 + 分治)

    鏈接:https://codeforces.com/problemset/problem/1400/E 來源:Codeforces 思路:給你一個陣列,現在你可以進行兩種操作,操作1:將一段沒有 0 的區間進行減一的操作,操作2:將 i 位置上的元素歸零。最終問:將這個陣列的全部元素歸零后操作的最少 ......

    uj5u.com 2020-09-10 00:57:30 more
  • UVA11610 【Reverse Prime】

    本人看到此題沒有翻譯,就附帶了一個自己的翻譯版本 思考 這一題,它的第一個要求是找出所有 $7$ 位反向質數及其質因數的個數。 我們應該需要質數篩篩選1~$10^{7}$的所有數,這里就不慢慢介紹了。但是,重讀題,我們突然發現反向質數都是 $7$ 位,而將它反過來后的數字卻是 $6$ 位數,這就說明 ......

    uj5u.com 2020-09-10 00:57:36 more
  • 統計區間素數數量

    1 #pragma GCC optimize(2) 2 #include <bits/stdc++.h> 3 using namespace std; 4 bool isprime[1000000010]; 5 vector<int> prime; 6 inline int getlist(int ......

    uj5u.com 2020-09-10 00:57:47 more
  • C/C++編程筆記:C++中的 const 變數詳解,教你正確認識const用法

    1、C中的const 1、區域const變數存放在堆疊區中,會分配記憶體(也就是說可以通過地址間接修改變數的值)。測驗代碼如下: 運行結果: 2、全域const變數存放在只讀資料段(不能通過地址修改,會發生寫入錯誤), 默認為外部聯編,可以給其他源檔案使用(需要用extern關鍵字修飾) 運行結果: ......

    uj5u.com 2020-09-10 00:58:04 more
  • 【C++犯錯記錄】VS2019 MFC添加資源不懂如何修改資源宏ID

    1. 首先在資源視圖中,添加資源 2. 點擊新添加的資源,復制自動生成的ID 3. 在解決方案資源管理器中找到Resource.h檔案,編輯,使用整個專案搜索和替換的方式快速替換 宏宣告 4. Ctrl+Shift+F 全域搜索,點擊查找全部,然后逐個替換 5. 為什么使用搜索替換而不使用屬性視窗直 ......

    uj5u.com 2020-09-10 00:59:11 more
  • 【C++犯錯記錄】VS2019 MFC不懂的批量添加資源

    1. 打開資源頭檔案Resource.h,在其中預先定義好宏 ID(不清楚其實ID值應該設定多少,可以先新建一個相同的資源項,再在這個資源的ID值的基礎上遞增即可) 2. 在資源視圖中選中專案資源,按F7編輯資源檔案,按 ID 型別 相對路徑的形式添加 資源。(別忘了先把檔案拷貝到專案中的res檔案 ......

    uj5u.com 2020-09-10 01:00:19 more
  • C/C++編程筆記:關于C++的參考型別,專供新手入門使用

    今天要講的是C++中我最喜歡的一個用法——參考,也叫別名。 參考就是給一個變數名取一個變數名,方便我們間接地使用這個變數。我們可以給一個變數創建N個參考,這N + 1個變數共享了同一塊記憶體區域。(參考型別的變數會占用記憶體空間,占用的記憶體空間的大小和指標型別的大小是相同的。雖然參考是一個物件的別名,但 ......

    uj5u.com 2020-09-10 01:00:22 more
  • 【C/C++編程筆記】從頭開始學習C ++:初學者完整指南

    眾所周知,C ++的學習曲線陡峭,但是花時間學習這種語言將為您的職業帶來奇跡,并使您與其他開發人員區分開。您會更輕松地學習新語言,形成真正的解決問題的技能,并在編程的基礎上打下堅實的基礎。 C ++將幫助您養成良好的編程習慣(即清晰一致的編碼風格,在撰寫代碼時注釋代碼,并限制類內部的可見性),并且由 ......

    uj5u.com 2020-09-10 01:00:41 more
最新发布
  • 在OCaml中遞回洗掉重復的尾部

    我嘗試通過迭代一個帶有空串列的串列來為這個練習撰寫自己的解決方案,在該complst串列中插入所有非重復項,然后回傳。在查找解決方案后,我知道這是一種過于復...

    uj5u.com 2022-09-15 23:09:27 more
  • 回傳遞回函式與回傳存盤遞回函式值的變數

    這兩個函式回傳不同的結果。他們看起來和我一模一樣。這里發生了什么?def DFS(r, c, grid): if (r<0 or r>=len(grid) or c<0 or c>=len(grid[0])):...

    uj5u.com 2022-09-15 23:08:35 more
  • 為什么在這種情況下使用引數語法運算子“[”?AsLike""['i']""我用

    在這種情況下:x = Win32API.new("user32","GetAsyncKeyState",['i'],'i').call(0x01)我理解了整個代碼,單擊滑鼠左鍵時它回傳一個值。但是,我想知道為什么程式...

    uj5u.com 2022-09-15 21:23:03 more
  • js函式獲取欄位中的所有值

    以下功能僅獲取第一個索引金額,而我需要金額的所有欄位,并在這些欄位中查找金額型別$("#payment_info").on("change", ".price", function() { var amount =...

    uj5u.com 2022-09-15 21:17:46 more
  • 保證模塊包含器類在Ruby中包含另一個模塊

    我正在使用 SemanticLogger 進行日志記錄。它提供了一個Loggable模塊,類可以包含該模塊以創建logger回傳特定于類的記錄器物件的類和實體方法。我正在使用我...

    uj5u.com 2022-09-15 21:15:41 more
  • 如何排序方法以強制元素位于陣列的前面

    我想按字母對字串陣列進行排序,但將一個強制放在陣列的前面p ['Home', 'Contact', 'Profile', 'Jobs', 'Privacy'].sort { |x, y| if x == 'Privacy' -1...

    uj5u.com 2022-09-15 21:12:33 more
  • 在Ruby中解壓縮LZString

    是否有任何等效或開源庫可以在 Ruby 中使用LZ String進行解壓縮?Python中的代碼:x = lzstring.LZString()decompress = x.decompressFromEncodedURIComponent...

    uj5u.com 2022-09-15 21:09:50 more
  • RSpec:如何測驗方法內另一個類方法的呼叫?

    所以我在 gem 中有一些類,我正在努力測驗我的代碼中的特定行。該類Foo有兩個屬性,它們都是類的實體User和Client. 我如何測驗Foo.get_events(date)呼叫該方法...

    uj5u.com 2022-09-15 21:07:48 more
  • DalliGET在舊版memcached實體中找不到記錄

    前言:我有一個遺留的 memcached 實體正在運行,它與 Perl 模塊互動以管理密鑰。我可以遠程登錄到服務器以手動獲取和設定密鑰。問題:我正在嘗試使用 Ruby/Rails...

    uj5u.com 2022-09-15 21:06:09 more
  • Ruby版本安裝后不更新

    我成功將 ruby?? 版本安裝到 2.7,但ruby -v不想更新。請參閱下面的輸出:? ~ ruby -vruby 2.6.8p205 (2021-07-07 revision 67951) [universal.arm64e-darwin...

    uj5u.com 2022-09-15 21:05:05 more