예를 들어 \\f => \\x => f (f x)같은 식이 있으면
\\ => \\ => $1 ($1 $0)처럼 표현해서
문자열 이름을 없애고 모든 변수를
현재 스코프로부터 몇겹 밖에서 바인딩되었는지로
정의하는 방식이 있었는데
이거 이름이 뭔지 아무리 생각해도 기억이 안남
혹시 아는분 있음?
\\ => \\ => $1 ($1 $0)처럼 표현해서
문자열 이름을 없애고 모든 변수를
현재 스코프로부터 몇겹 밖에서 바인딩되었는지로
정의하는 방식이 있었는데
이거 이름이 뭔지 아무리 생각해도 기억이 안남
혹시 아는분 있음?
- dc official App
아 글 올리자 마자 찾았다 de brujin 인덱스임 - dc App
근데 de bruijn임 ㅋㅋㅋ
내가 대답해줄 수 있는 거였는데 ㄲㅂ