The document describes a generic arithmetic system that allows uniform access to number packages with different data representations. It defines generic arithmetic procedures like add, sub, mul, and div that apply the corresponding operation for the specific number package. A scheme-number package for integer arithmetic is also installed. Generic tags are attached to values to identify their representation, and a mapping table is used to dispatch operations to appropriate handler procedures based on tags.

1. SICP

2.
2.5

3. 일반화된

4. 연산

5. 시스템
cecil

6. 한

7. 데이터의

8. 표현이

9. 서로

10. 다를

11. 때는

12. 물론이고,

13. 아예

14. 인자의

15.
종류가

16. 다른

17. 경우라도

18. 이를

19. 모두

20. 처리하는

21. 연산을

22. 정의

23. packages to be accessed uniformly by programs that use numbers. Any
individual arithmetic package (such as the complex package) may itself be
accessed through generic procedures (such as add-complex) that combine
packages designed for different representations (such as rectangular and
polar). Moreover, the structure of the system is additive, so that one can
design the individual 일반화된arithmetic packages

24. 산술separately

25. 연산
and combine them
to produce a generic arithmetic system.
Figure 2.23: Generic arithmetic system.

26. 일반화된

27. 산술

28. 프로시저

29. 정의
•2.4

30. 절의

31. Mapping

32. Table

33. 구조를

34. 사용

35.
(define

36. (add

37. x

38. y)

39. (apply-generic

40. ’add

41. x

42. y))

43.
(define

44. (sub

45. x

46. y)

47. (apply-generic

48. ’sub

49. x

50. y))

51.
(define

52. (mul

53. x

54. y)

55. (apply-generic

56. ’mul

57. x

58. y))

59.
(define

60. (div

61. x

62. y)

63. (apply-generic

64. ’div

65. x

66. y))

67. 정수

68. 연산을

69. 위한

70. 패키지
(define

71. (install-scheme-number-package)

77. (define

78. (tag

79. x)

87. (attach-tag

88. ’scheme-number

89. x))

95. (put

96. ’add

97. ’(scheme-number

98. scheme-number)

109. (lambda

110. (x

111. y)

112. (tag

113. (+

114. x

115. y))))

121. (put

122. ’sub

123. ’(scheme-number

124. scheme-number)

135. (lambda

136. (x

137. y)

138. (tag

139. (-

140. x

141. y))))

147. (put

148. ’mul

149. ’(scheme-number

150. scheme-number)

161. (lambda

162. (x

163. y)

164. (tag

165. (*

166. x

167. y))))

173. (put

174. ’div

175. ’(scheme-number

176. scheme-number)

187. (lambda

188. (x

189. y)

190. (tag

191. (/

192. x

193. y))))

199. (put

200. ’make

201. ’scheme-number

212. (lambda

213. (x)

214. (tag

215. x)))

221. ’done)
Number를

222. 위한

223. 연산을

224. 제공하기

225. 때문에

227.
scheme-number

228. scheme-number

229. 인덱스

230. 사용

231. 유리수

232. 연산을

233. 위한

234. 패키지
define

235. (install-rational-package)

236.
;;

237. internal

238. procedures

245. (define

246. (numer

247. x)

248. (car

249. x))

255. (define

256. (denom

257. x)

258. (cdr

259. x))

265. (define

266. (make-rat

267. n

268. d)

276. (let

277. ((g

278. (gcd

279. n

280. d)))

290. (cons

291. (/

292. n

293. g)

294. (/

295. d

296. g))))

302. (define

303. (add-rat

304. x

305. y)

306.
(make-rat

307. (+

308. (*

309. (numer

310. x)

311. (denom

312. y))

328. (*

329. (numer

330. y)

331. (denom

332. x)))

345. (*

346. (denom

347. x)

348. (denom

349. y))))

350.
(define

351. (sub-rat

352. x

353. y)

356. (make-rat

357. (-

358. (*

359. (numer

360. x)

361. (denom

362. y))

378. (*

379. (numer

380. y)

381. (denom

382. x)))

395. (*

396. (denom

397. x)

398. (denom

399. y))))

400.
(define

401. (mul-rat

402. x

403. y)

406. (make-rat

407. (*

408. (numer

409. x)

410. (numer

411. y))

424. (*

425. (denom

426. x)

427. (denom

428. y))))
(define

429. (div-rat

430. x

431. y)

434. (make-rat

435. (*

436. (numer

437. x)

438. (denom

439. y))

452. (*

453. (denom

454. x)

455. (numer

456. y))))

457.
;;

458. interface

459. to

460. rest

461. of

462. the

463. system

465.
(define

466. (tag

467. x)

468. (attach-tag

469. ’rational

470. x))

471.
(put

472. ’add

473. ’(rational

474. rational)

480. (lambda

481. (x

482. y)

483. (tag

484. (add-rat

485. x

486. y))))

487.
(put

488. ’sub

489. ’(rational

490. rational)

496. (lambda

497. (x

498. y)

499. (tag

500. (sub-rat

501. x

502. y))))

503.
(put

504. ’mul

505. ’(rational

506. rational)

512. (lambda

513. (x

514. y)

515. (tag

516. (mul-rat

517. x

518. y))))

519.
(put

520. ’div

521. ’(rational

522. rational)

528. (lambda

529. (x

530. y)

531. (tag

532. (div-rat

533. x

534. y))))

535.
(put

536. ’make

537. ’rational

543. (lambda

544. (n

545. d)

546. (tag

547. (make-rat

548. n

549. d))))

550.
’done)

552. 유리수

553. 연산을

554. 위한

555. 패키지
define

556. (install-rational-package)

557.
;;

558. internal

559. procedures

566. (define

567. (numer

568. x)

569. (car

570. x))

576. (define

577. (denom

578. x)

579. (cdr

580. x))

586. (define

587. (make-rat

588. n

589. d)

597. (let

598. ((g

599. (gcd

600. n

601. d)))

611. (cons

612. (/

613. n

614. g)

615. (/

616. d

617. g))))

623. (define

624. (add-rat

625. x

626. y)

627.
(make-rat

628. (+

629. (*

630. (numer

631. x)

632. (denom

633. y))

649. (*

650. (numer

651. y)

652. (denom

653. x)))

666. (*

667. (denom

668. x)

669. (denom

670. y))))

671.
(define

672. (sub-rat

673. x

674. y)

677. (make-rat

678. (-

679. (*

680. (numer

681. x)

682. (denom

683. y))

699. (*

700. (numer

701. y)

702. (denom

703. x)))

716. (*

717. (denom

718. x)

719. (denom

720. y))))

721.
(define

722. (mul-rat

723. x

724. y)

727. (make-rat

728. (*

729. (numer

730. x)

731. (numer

732. y))

745. (*

746. (denom

747. x)

748. (denom

749. y))))
(define

750. (div-rat

751. x

752. y)

755. (make-rat

756. (*

757. (numer

758. x)

759. (denom

760. y))

773. (*

774. (denom

775. x)

776. (numer

777. y))))

778.
;;

779. interface

780. to

781. rest

782. of

783. the

784. system

786.
(define

787. (tag

788. x)

789. (attach-tag

790. ’rational

791. x))

792.
(put

793. ’add

794. ’(rational

795. rational)

801. (lambda

802. (x

803. y)

804. (tag

805. (add-rat

806. x

807. y))))

808.
(put

809. ’sub

810. ’(rational

811. rational)

817. (lambda

818. (x

819. y)

820. (tag

821. (sub-rat

822. x

823. y))))

824.
(put

825. ’mul

826. ’(rational

827. rational)

833. (lambda

834. (x

835. y)

836. (tag

837. (mul-rat

838. x

839. y))))

840.
(put

841. ’div

842. ’(rational

843. rational)

849. (lambda

850. (x

851. y)

852. (tag

853. (div-rat

854. x

855. y))))

856.
(put

857. ’make

858. ’rational

864. (lambda

865. (n

866. d)

867. (tag

868. (make-rat

869. n

870. d))))

871.
’done)

873. 복소수

874. 연산을

875. 위한

876. 패키지
(define

877. (install-complex-package)

878.
;;

879. imported

880. procedures

881. from

882. rectangular

883. and

884. polar

885. packages

892. (define

893. (make-from-real-imag

894. x

895. y)

903. ((get

904. ’make-from-real-imag

905. ’rectangular)

906. x

907. y))

913. (define

914. (make-from-mag-ang

915. r

916. a)

924. ((get

925. ’make-from-mag-ang

926. ’polar)

927. r

928. a))

929.
;;

930. internal

931. procedures

938. (define

939. (add-complex

940. z1

941. z2)

949. (make-from-real-imag

950. (+

951. (real-part

952. z1)

953. (real-part

954. z2))

983. (+

984. (imag-part

985. z1)

986. (imag-part

987. z2))))

993. (define

994. (sub-complex

995. z1

996. z2)

1004. (make-from-real-imag

1005. (-

1006. (real-part

1007. z1)

1008. (real-part

1009. z2))

1038. (-

1039. (imag-part

1040. z1)

1041. (imag-part

1042. z2))))

1048. (define

1049. (mul-complex

1050. z1

1051. z2)

1059. (make-from-mag-ang

1060. (*

1061. (magnitude

1062. z1)

1063. (magnitude

1064. z2))

1091. (+

1092. (angle

1093. z1)

1094. (angle

1095. z2))))

1096.
(define

1097. (div-complex

1098. z1

1099. z2)

1107. (make-from-mag-ang

1108. (/

1109. (magnitude

1110. z1)

1111. (magnitude

1112. z2))

1139. (-

1140. (angle

1141. z1)

1142. (angle

1143. z2))))
;;

1144. interface

1145. to

1146. rest

1147. of

1148. the

1149. system

1156. (define

1157. (tag

1158. z)

1159. (attach-tag

1160. ’complex

1161. z))

1167. (put

1168. ’add

1169. ’(complex

1170. complex)

1181. (lambda

1182. (z1

1183. z2)

1184. (tag

1185. (add-complex

1186. z1

1187. z2))))

1193. (put

1194. ’sub

1195. ’(complex

1196. complex)

1207. (lambda

1208. (z1

1209. z2)

1210. (tag

1211. (sub-complex

1212. z1

1213. z2))))

1219. (put

1220. ’mul

1221. ’(complex

1222. complex)

1233. (lambda

1234. (z1

1235. z2)

1236. (tag

1237. (mul-complex

1238. z1

1239. z2))))

1245. (put

1246. ’div

1247. ’(complex

1248. complex)

1259. (lambda

1260. (z1

1261. z2)

1262. (tag

1263. (div-complex

1264. z1

1265. z2))))

1271. (put

1272. ’make-from-real-imag

1273. ’complex

1284. (lambda

1285. (x

1286. y)

1287. (tag

1288. (make-from-real-imag

1289. x

1290. y))))

1296. (put

1297. ’make-from-mag-ang

1298. ’complex

1309. (lambda

1310. (r

1311. a)

1312. (tag

1313. (make-from-mag-ang

1314. r

1315. a))))

1321. ’done)

1323. 현재까지

1324. 진행된

1325. 것들…⋯

1326.
서로

1327. 다른

1328. 패키지를

1329. 설치하여

1330. 전혀

1331. 다른

1332. 타입

1333.
(정수,

1334. 유리수,

1335. 복소수)에

1336. 대해서도

1337. 동일한

1338. 인터페이스

1339.
(add,

1340. sub,

1341. mul,

1342. div)를

1343. 사용하여

1344. 산술

1345. 연산

1346. 가능

1347.
그럼.

1348. 타입이

1349. 다른

1350. 데이터를

1351. 같이

1352. 쓰려면??(cross-type)

1353. 동일한

1354. 방법으로

1355. 복소수,

1356. 정수

1357. 연산
;;

1358. to

1359. be

1360. included

1361. in

1362. the

1363. complex

1364. package

1370. (define

1371. (add-complex-to-schemenum

1372. z

1373. x)

1380. (make-from-real-imag

1381. (+

1382. (real-part

1383. z)

1384. x)