Static Typing

// TypeScript 정적 타이핑 예제

// 1. 기본 타입 선언
let username: string = "홍길동";
let age: number = 25;
let isActive: boolean = true;

// 타입 불일치 - 컴파일 에러!
// username = 123;  // Error: Type 'number' is not assignable to type 'string'

// 2. 인터페이스로 객체 타입 정의
interface User {
    id: number;
    name: string;
    email: string;
    role: 'admin' | 'user' | 'guest';  // 유니온 타입
    createdAt?: Date;  // 선택적 프로퍼티
}

// 3. 함수 타입 선언
function createUser(name: string, email: string): User {
    return {
        id: Date.now(),
        name,
        email,
        role: 'user'
    };
}

// 4. 타입 추론 - 타입 명시 없이도 타입 안전
const numbers = [1, 2, 3];  // number[]로 추론
const doubled = numbers.map(n => n * 2);  // number[]로 추론

// 5. 제네릭을 활용한 재사용 가능한 타입
interface ApiResponse<T> {
    data: T;
    status: number;
    message: string;
}

async function fetchUser(id: number): Promise<ApiResponse<User>> {
    const response = await fetch(`/api/users/${id}`);
    return response.json();
}

// 6. 타입 가드로 런타임 안전성 확보
function processValue(value: string | number): void {
    if (typeof value === 'string') {
        console.log(value.toUpperCase());  // 문자열 메서드 안전하게 사용
    } else {
        console.log(value.toFixed(2));  // 숫자 메서드 안전하게 사용
    }
}

// Java 정적 타이핑 예제

public class StaticTyping {

    // 1. 클래스로 타입 정의
    public class User {
        private final Long id;
        private String name;
        private String email;
        private UserRole role;

        public User(Long id, String name, String email) {
            this.id = id;
            this.name = name;
            this.email = email;
            this.role = UserRole.USER;
        }

        // Getter/Setter - 타입 안전한 접근
        public String getName() { return name; }
        public void setName(String name) { this.name = name; }
    }

    // 2. Enum으로 제한된 값 정의
    public enum UserRole {
        ADMIN, USER, GUEST
    }

    // 3. 제네릭으로 타입 안전한 컬렉션
    public List<User> findActiveUsers(List<User> users) {
        return users.stream()
            .filter(user -> user.getRole() != UserRole.GUEST)
            .collect(Collectors.toList());
    }

    // 4. Java 17+ 레코드 - 불변 데이터 클래스
    public record ApiResponse<T>(
        T data,
        int status,
        String message
    ) {}

    // 5. 타입 안전한 메서드 - 잘못된 타입은 컴파일 에러
    public void processUser(User user) {
        // user.getName() 은 확실히 String 반환
        String upperName = user.getName().toUpperCase();
        System.out.println(upperName);
    }

    public static void main(String[] args) {
        // 컴파일 타임 타입 체크
        String name = "홍길동";
        int age = 25;

        // name = 123;  // 컴파일 에러: incompatible types
        // age = "25";  // 컴파일 에러: incompatible types
    }
}