옵셔널 값에 대해 배우면서 궁금해진 건데 
애플에서 제공하는 가이드의 예문에서

 (ex, var optionalString: String? = "Hello" //optionalString type 변수 지정. 
optionalString == nil //optionalString에 無의 값을 적용한다.
 var optionalName: String? = "John Appleseed" //optionalName에 대해 type 변수 지정 
var greeting = "Hello!" //greeting에 대해 type 변수 지정 
if let name = optionalName { //name에 대한 상수가 optionalName과 같다면 조건문 실행 
greeting = "Hello, \(name)"

이라는 예문이 있을때 마지막줄의 name의 타입변수는 어디서 가져오는 건가여 그리고 첫줄의 옵셔널스트링을 옵션이 아닌 옵셔널로 주었는데 왜 nil의 값을 붙이나요