woodstockwoodstock.hashnode.dev·Feb 6, 2024맵드 타입 기반의 유틸리티 타입 2 - Pick, Omit, RecordPick Pick<T, K>는 특정 객체 타입으로부터 특정 프로퍼티 만을 골라내는 타입이다. 예를 들어 Pick 타입에 T가 name, age가 있는 객체 타입이고 K가 name 이라면 결과는 name만 존재하는 객체 타입이 된다. 예제 다음과 같이 옛날에 작성된 포스트가 하나 존재한다고 가정해보자. interface Post { title: string; tags: string[]; content: string; thumbna...DiscussTypeScriptomit
Jindřich Ivánekjindraivanek.hashnode.dev·Feb 1, 2024F# tips weekly #4: Record typesThe record type is a core feature in F#, but some of its details are not well-known. Let's delve into them. Type Inference Type inference in F# may sometimes deduce a record type differently than expected. For instance, in the following code, r is in...Discuss·3 likes·557 readsF# tips weekly#fsharp
Merge Simpsonletsdev.hashnode.dev·Nov 9, 2023Java 16 Record 💿: 10분 안에 익히는 레코드 레시피 적극 활용🇰🇷 Kor: 지금 보는 중!🗺 Eng: Not yet.🇯🇵 Jap: まだです。⚠️ 💿 What is the Record? 💿 레코드는 불변 객체 생성을 위한 클래스 유형입니다.💿 쉽게 말해 모든 필드가 final 필드가 되죠. record는 비교적 높은 버전에서 공개된 기능인 만큼 꽤 쉽습니다.이러저러한 보일러 플레이트를 작성할 필요도 없구요. 코드를 보죠. // @AllArgsConstructor가 자동으로 생성됩니다. ...Discuss·10 likes·145 readsJava
Abdelbaki BEN ELHAJ SLIMENEbaki.hashnode.dev·May 8, 2023Records in JavaAfter being a preview feature in Java 14 and Java 15, Java records are now part of the Java language starting from Java 16. In this article, we are going to take a deep dive into Java records and look at what this feature provides and how can we use ...Discuss·55 readsJava
Lucian Lazarlucienlazar.hashnode.dev·Aug 3, 2022Working with Collections and Records in OracleI released a new video course for Pluralsight: Working with Composite Data Types. The course is included in the path for the Oracle certification for PL/SQL programming and it will teach you how to use collections and records. The first module is fre...Discuss·1 like·58 readsOracle
