mojo 언어 타입추론 - 프로그래밍 갤러리

mojo 언어 타입추론앱에서 작성

발명도둑잡기

2025.08.26 21:24:33

조회 44 추천 0 댓글 0

챗지피티

좋은 주제 집으셨어요

Mojo는 “파이썬스러운 문법 + 정적/고성능 시스템 언어”를 목표로 만든 최신 언어라서, 타입 추론(type inference) 기능도 강력합니다.

Mojo의 타입 시스템 개요

정적 타입 + MLIR/LLVM 기반 최적화

함수/변수 선언 시 타입을 명시할 수도 있고, 타입을 생략하면 추론합니다.

파이썬처럼 동적 느낌을 주면서도, 내부적으로는 정적 타입 컴파일이 일어납니다.

변수 타입 추론

let a = 10 # a: Int로 추론 let b = 3.14 # b: Float64로 추론 let s = "hi" # s: String로 추론

→ 초기화 식의 타입을 보고 변수 타입을 자동 결정합니다.

함수 반환 타입 추론

fn add(x: Int, y: Int): return x + y # 반환 타입은 Int로 추론

반환 타입을 생략해도 본문에서 유도 가능.

하지만 공용 API 함수에는 타입을 명시하는 게 권장됩니다.

제네릭과 타입 매개변수 추론

fn identity[T](x: T) -> T: return x let i = identity(42) # i: Int로 추론 let s = identity("abc") # s: String로 추론

→ 호출 시 인자로부터 T의 타입이 추론됩니다.

(Haskell/ML의 Hindley-Milner 추론처럼 “가장 일반적인 타입”을 찾습니다.)

복합 타입 추론 (리스트/튜플 등)

let nums = [1, 2, 3] # List[Int] let pair = (1, "hi") # Tuple[Int, String]

→ 컬렉션 내부 요소의 타입도 자동 추론.

타입 추론 한계

Mojo도 완전한 “전역 타입 추론”은 제공하지 않고, 보통 로컬 추론(local inference) 중심입니다.

함수 시그니처에서 매개변수 타입을 생략하면 모호성이 생길 수 있어 대부분 매개변수 타입은 명시해야 합니다.

Rust/Swift와 유사하게 → 변수/반환 타입은 생략해도 되지만, 인자 타입은 가급적 써줘야 안전.

✅ 요약

Mojo는 파이썬처럼 보이지만 정적 타입 언어.

변수/반환 타입은 자동 추론, 제네릭도 호출 인자 기반 추론.

다만 함수 인자 타입은 명시하는 게 기본 스타일.

추론 스타일은 Rust/Swift에 가까움.

원하시면 제가 같은 함수를 파이썬 vs Mojo vs Rust로 보여드리면서 “타입 추론이 어디까지 되나”를 비교해드릴 수도 있어요. 그럴까요?

고정닉 0

전체 댓글 0개

등록순 최신순 답글순

본문 보기

타인의 권리를 침해하거나 명예를 훼손하는 댓글은 운영원칙 및 관련 법률에 제재를 받을 수 있습니다.
Shift+Enter 키를 동시에 누르면 줄바꿈이 됩니다.

갤러리 리스트
번호	제목	글쓴이	작성일	조회	추천
설문	존재만으로도 웃음주는 최고의 '웃수저' 스타는?	운영자	25/08/25	-	-
이슈	느린 여행으로 삶의 속도를 찾는 유튜버 꾸준	운영자	25/08/26	-	-
AD	MD's pick 상반기 인기 노트북	운영자	25/08/26	-	-
2885136	[애니뉴스](스포일러) 귀인환등초 2호잡지 - 노마리 관련되어 -	프갤러(121.172)	08.28	12	0
2885135	속보) 극좌배급견들 집단충격 배급쿠폰 없다	♥냥덩이♥	08.28	26	0
2885134	우울하다 [4]	주아	08.28	39	0
2885133	저장용	♥냥덩이♥	08.28	18	0
2885132	속보) 개딸들 성병 퍼뜨려 충격	♥냥덩이♥	08.28	22	0
2885131	유퀴즈보바라 빌게이츠의 위대함을 느껴라 ㅇㅇ	타이밍뒷.통수한방(1.213)	08.28	24	0
2885130	아키텍트 읽을때마다 느끼지만 내가 느끼는게 아키텍트 없는게 더 많더라.	ㅆㅇㅆ(124.216)	08.28	32	0
2885129	30대 무경력 고졸 2트국비충 [1]	프갤러(106.101)	08.28	72	0
2885128	극좌내란 광우뻥 근황 ㄹㅇ..	♥냥덩이♥	08.28	21	0
2885127	언론장악 입틀막 가짜정권 찢재명을 찢어버리고 당선된 장동혁	♥냥덩이♥	08.28	23	0
2885125	cto가 프로세스랑 스레드 개념을 아예 모르는데 [4]	ㅇㅇ(211.234)	08.28	58	0
2885124	웹 만들면서 느끼는데 게임은 돈 진짜 말도 안되게 드는거였구나 [2]	ㅆㅇㅆ(124.216)	08.28	59	0
2885123	울 어머니가 타로 앱 만들었으면 하는것도 있고 [2]	ㅆㅇㅆ(124.216)	08.28	38	0
2885122	내가 느끼는게 대가리 박으면 뭐든 되더라 [2]	ㅆㅇㅆ(124.216)	08.28	46	0
2885121	가문의 대소사를 서열 위의 인간들이 해야죠.	gy	08.28	45	0
2885120	지금 방송애서 빌게이츠 개씹새끼 유퀴즈 나오고 있네 [1]	뒷통수한방(1.213)	08.28	37	0
2885119	20대 중반에 "마무리 잘해야지" 발언 나오는게 정상인가요?	gy	08.28	29	0
2885118	대국민 사기가 진짜 한두번도 아니고... [1]	프갤러(49.165)	08.28	47	0
2885117	타로 스키마 작성 어떻게 해야할까 [3]	ㅆㅇㅆ(124.216)	08.28	48	0
2885116	난 냉정하다 법 위에 군림하는 윤석열과 다르다.	넥도리아(223.38)	08.28	19	0
2885115	냥덩아 정신좀 차려라 ㅇㅅㅇ	류류(125.141)	08.28	32	0
2885111	C#할땐 ORM으로 하지 말라고하는데 타입스크립트는 프리즈마 쓰네 [2]	ㅆㅇㅆ(124.216)	08.28	55	0
2885110	노가다 인력소 [4]	손발이시립디다	08.28	62	0
2885109	이 사람들이 아침에 잠잠하냐? [1]	넥도리아(223.38)	08.28	43	0
2885108	나 루리웹에서 겁나 뛴다고 욕하던데	넥도리아(223.38)	08.28	23	0
2885107	비뇨기과가는길...	넥도리아(223.38)	08.28	25	0
2885106	UX는 어떻게 설정해야 유저의 이목이 뜰까 [1]	ㅆㅇㅆ(124.216)	08.28	26	0
2885105	몸살 한번 걸리고나니, 너무 건강하고 싶은데 어떻게 하면 되냐?? [2]	ㅇㅇ(223.38)	08.28	33	0
2885104	저희집 옥상방수공사 하고 있으세요.	넥도리아(222.233)	08.28	18	0
2885103	그건 말할 수 없다냥!	♥냥덩이♥	08.28	42	1
2885102	죄명이 한국에서처럼 거짓말치면 통할줄 알았나봄 ㅋㅅㅋ	♥냥덩이♥	08.28	31	0
2885101	찢재명 덮기 위해 눈돌리기용	♥냥덩이♥	08.28	21	0
2885100	러스트는 설계 결함 및 버그를 숨기기 위해 가스라이팅을 합니다.	나르시	08.28	37	0
2885099	공장이 화이트칼라상위 직장이될날이 머지않았군	네오커헠(121.157)	08.28	44	0
2885097	러스트의 심각한 결점 / 버그	나르시	08.28	34	0
2885096	나도 러스트 접기로 했다	나르시	08.28	33	0
2885095	나님 등장	프갤러(49.174)	08.28	17	0
2885094	나도 .. 하기로 했다..ㅇㅅㅇ	헤르 미온느	08.28	19	0
2885093	그냥월급쟁이계속할라면 FA윈폼질이 제일인듯	네오커헠(121.157)	08.28	68	0
2885092	c# 을 써야한다 [3]	ㅇㅇ(211.193)	08.28	49	0
2885091	나도 러스트 접기로했다 [5]	헬마스터	08.28	60	0
2885090	애플 이벤트 D - 13	헤르 미온느	08.28	25	0
2885088	태연 ㅇㅅㅇ [1]	헤르 미온느	08.28	25	0
2885087	하루 한 번 헤르미온느 찬양	헤르 미온느	08.28	28	0
2885086	나 대기업 프리 4년차인데. [1]	찍먹	08.28	57	0
2885085	프갤러들 중에서 키 180 넘는 [10]	루도그담당(58.239)	08.28	68	0
2885084	러스트 지금 생각해보면 게거품인거 같음	프갤러(223.57)	08.28	38	0
2885071	❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤	♥냥덩이♥	08.28	29	0
2885056	개발 블로그 같은거 쓰는거 생각해보니 좀 대단한데	프갤러(106.241)	08.28	55	0
2885055	헌혈 하면 안되는 이유.jpg [5]	야옹아저씨	08.28	85	5
뉴스	양구문화재단, 배꼽축제와 함께 즐기는 야외 조각전	디시트렌드	08.28