모든 항목을 모른 채 기록의 항목을 제거

Question

나는이 시뮬레이션이 :

init : (Model, Cmd Msg) 
    init = ({ dog = List Dog }, Cmd.none) 

    type alias Dog = 
     { name : String 
     , age : Int 
     , price : Float 
     , extra = List Extra 
     } 

    type alias Extra = 
     { allergies : List String 
     , wishes : List String 
     } 


    [{ name = "Hot" 
    , age = 1 
    , price = 300.5 
    , extra = [{...}] 
    }, 
    { name = "Dog" 
    , age = 3 
    , price = 150.0 
    , extra = [{...}] 
    }] 

을 그리고 코드의 판단 부분에서 개의 '엑스트라'를 제거하려면 :

[{ name = "Hot" 
, age = 1 
, price = 300.5 
}, 
{ name = "Dog" 
, age = 3 
, price = 150.0 
}] 

I '추가'항목을 제거하여 전체 목록을 매핑하고 새 항목을 생성하면됩니다.

removeExtraOfDogs dogList = 
    (dogList |> List.map (\dog -> 
      { name = dog.name 
      , age = dog.age 
      , price = dog.price 
      } 
     )) 

하지만 유형에 어떤 변수가 있는지 알지 않고도 제거 할 여분을 전달하는 것이 동적입니다.

Answer 1

느릅 나무에이 ​​기능이 있지만 이전에는 it was removed a while ago이었습니다. 그러나 주석에 설명 된 유스 케이스를 기반으로이 기능이 필요하다고 생각하지 않습니다. 대신 Elm의 확장 가능한 레코드 기능을 사용하여 고정 된 필드 집합을 포함하는 한 다른 레코드를 함수에 전달할 수 있습니다.

type alias Foo = { name : String, age : Int, extra : List String } 
type alias Bar = { name : String, age : Int, extra : Int } 

당신은 유형 String 및 age의 name 필드 레코드를받는 함수를 정의 할 수 있습니다 : 예를 들어

,의 당신이 name와 age 필드 두 가지 유형이 있고 별도의 호환되지 않는 필드를 가진 가정 해 봅시다 유형 Int 및 추가 필드의 :

encode : { r | name : String, age : Int } -> String 
encode record = record.name ++ "," ++ toString record.age 

은 이제 통과 할 수 있습니다 모두 Foo 및 Bar은 형식 서명의 요구 사항을 모두 충족하므로이 함수에 추가해야합니다.