Julia: repl에서 함수 소스 코드 표시

대화 형으로 실행할 때 각 메서드 정의의 소스 (압축)를 저장하면 소스 파일이 변경되거나 소스 행 주석이 완벽하지 않은 경우에도 다소 쉽게 수행되고 올바르게 작동 할 수 있습니다. 소스를 사용하여 재 컴파일 할 수 있으므로 # 265 ( 이 토론 참조)에도 도움

아니요, # 265에는 도움이되지 않습니다. 우리는 이미 모든 정보를 가지고 있으며 더 이상 소스 코드처럼 보이지 않습니다. 원본 코드를보고 싶은 경우 가장 좋은 방법은 파일에서 읽는 것입니다.

@JeffBezanson 과 동의하면 R에서 괄호없이 함수를 입력하면 소스 코드가 출력되지 않습니다. 소스의 길이가 몇 줄 이상이면 사용할 수 없게됩니다 (출력 afaik을 스크롤 할 방법이 없음).

+1 파일에서 읽음.
더 나은 수정 https://github.com/JuliaLang/julia/issues/2594 , start 이 기본 cmd 명령이고 notepad 가 구문을 강조 표시 할 수없는 경우 실제로 Windows 사용자를 죽입니다. 줄 번호로 표시 / 점프하지 않습니다.
edit 는 우리가 그것을 고치고 더 좋게 만들 수 있다면 정말 유용한 함수입니다.

이해하기 위해서, 메소드의 소스 코드를 반영하는 함수가 아니라 그 목적을 위해 '편집'에 의존해야한다는 느낌이 있습니까? 원격 Julia 커널과 상호 작용하는 IPython 웹 노트북에서는 잘 작동하지 않을 수 있습니다. 파일이 클라이언트 대신 커널 컴퓨터에서 열릴 것이라고 생각하기 때문입니다.

그만한 가치가있는 것은 대화 형 모드에서 파일에있는 내용에 의존하는 대신 소스 코드를 유지하고 싶습니다. repl을 통해 입력 된 것들의 소스 코드도 볼 수 있기를 바랍니다. # 3988도 참조하십시오.

호출기 지원 # 6921은 이것의 유용성에 대한 일부 우려를 무효화 할 수 있습니다.

나는 (를 통해 ipython이 매우 편리 찾을 수 func?? 줄리아의 경우가 될 수는 달리 - -하지만,) 일부 기능 (예 : 내장 / 사이 썬 기능) 숨겨져 있습니다.

또한 <strong i="5">@less</strong> func(x) 는 @astrieanna 가 요청하는 작업 (페이징 포함)을 거의 정확하게 수행하지만 외부 $PAGER 의존합니다.

<strong i="5">@less</strong> func(x) 는 대화 형 기능에서 작동하지 않지만 다른 문제에서 다시 표현해야하는 문제인 것 같습니다.

다음 두 기능을 사용할 수있는 경우

• repl에서 또는 런타임에 미리 낮은 AST 코드를 가져옵니다.
• 변수 / 유형 / 함수 / 유형 재정의 / 지우기

그런 다음 런타임 코드 목록 / 순회 / 조작 / 생성을 수행 할 수 있습니다.

julia> q=:( function a(i::Int) ; return i+4 ; end ; b=4 ; println(a(b))  )
quote 
    function a(i::Int) # none, line 1:
        return i + 4
    end
    begin 
        b = 4
        println(a(b))
    end
end

julia> function exprdescend(ex) ; if (isa(ex,Expr)) ; println("Descending Expr:",ex) ; println("head:",ex.head); println("args:",ex.args) ; println("type:",ex.typ)  ; for i in ex.args ; exprdescend(i) ; end ; else ; println("*:",typeof(ex),":",ex)  ; end  ;  end
// # ''try it ... long output''

댓글에 대한 응답 : JeffBezanson이 2013 년 3 월 20 일에 댓글을 달았습니다.
"아니요, # 265에서는 도움이되지 않습니다. 우리는 이미 모든 정보를 가지고 있지만 더 이상 소스 코드처럼 보이지 않습니다. 원본 코드를보고 싶다면 가장 좋은 방법은 파일에서 읽는 것입니다. . "

그래서 이것이 가능하다고 생각하십니까? include / require 문 및 기타 사항이있는 경우 어떻게됩니까?

// # str = read_whole_file_into_a_string(filename)
julia> str="for i in [1,2,3,4] ; println(i) ; end "
julia> s=parse(str)
:(for i = [1,2,3,4] # line 1:
        println(i)
    end)
julia> exprdescend(s)
Descending Expr:for i = [1,2,3,4] # line 1:
    println(i)
end
head:for
args:{:(i = [1,2,3,4]),quote  # line 1:
    println(i)
end}
type:Any
Descending Expr:i = [1,2,3,4]
head:=
args:{:i,:([1,2,3,4])}
type:Any
*:Symbol:i
Descending Expr:[1,2,3,4]
head:vcat
args:{1,2,3,4}
type:Any
*:Int64:1
*:Int64:2
*:Int64:3
*:Int64:4
Descending Expr:begin  # line 1:
    println(i)
end
head:block
args:{:( # line 1:),:(println(i))}
type:Any
*:LineNumberNode: # line 1:
Descending Expr:println(i)
head:call
args:{:println,:i}
type:Any
*:Symbol:println
*:Symbol:i

@hgkamath 질문을 이해하지 못하는 것 메타 프로그래밍 및 리플렉션 섹션을 읽으십시오.

또 다른 사용 사례는 @generated 함수 (https://groups.google.com/d/topic/julia-users/4pkWhcap1Zg/discussion)입니다.

아, # 22007에서이 문제를 해결 했나요?

일종의 – 나는 여전히 REPL 모드에서 우리가 표시 할 기능을 위해 원래 소스를 숨겨야한다고 생각합니다.

익명 함수를 표시하는 문제도 있는데, 원래 AST를 표시 할 수 있으면 좋을 것입니다.

julia> x -> x+1
(::#5) (generic function with 1 method)

별로 유용하지 않습니다. (또한 담화 참조.)

REPL 모드에서

우리는 이미 기본적으로하고 있습니다.

let h = Base.active_repl.interface.modes[1].hist,
    replno = match(r"REPL\[(\d+)\]", $filename)

    replno === nothing || h.history[h.start_idx + parse(Int, replno[1])]
end

"접근하기 귀찮음"== "해결 된 것으로 간주 될만큼 유용하지 않음"

유용 할 것임을 인정합니다. 함수를 수정하고 서로 다른 REPL에서 서로 다른 변형을 실행하여 비교하는 방식으로 자주 디버그합니다. 때때로 어떤 REPL이 어떤 변형에 해당하는지 추적하지 못합니다. 현재 정의 된 함수를 인쇄하면 좋을 것입니다.

https://github.com/MasonProtter/LegibleLambdas.jl 에서 제공하는 Yao의 사용 사례

모든 블록에는 큐 비트 수의 인수가 있으며 반복적으로 작성하고 싶지 않으므로이 숫자를 입력하지 않을 때 자동 커리 될 수 있습니다.

julia> using Yao

julia> control(2, 1=>X)
(n -> control(n, 2, 1 => X gate))

따라서 사용자는 이것이 블록이 아니라는 것을 알 수 있으며 추가 평가를 위해이 큐 비트 수가 필요합니다. LegibleLambdas를 사용하기 전에는 #42 와 같은 숫자만으로는 매우 혼란 스럽습니다. 이것은 최적화 프로그램이 이전에 람다를 반환 할 때 Flux에도 발생합니다.

그러나 LegibleLambdas에서 지원할 수없는 코너 케이스가 많이 있습니다. extern 패키지 대신 컴파일러의 지원을 통해 REPL에서 이러한 정보를 직접 가져올 수 있다는 점이 좋을 것입니다.

우리가 이것을지지하는 것이 여전히 저에게는 비뚤어진 것 같습니다.

julia> <strong i="6">@code_native</strong> 1 + 2
    .section    __TEXT,__text,regular,pure_instructions
; ┌ @ int.jl:53 within `+'
    leaq    (%rdi,%rsi), %rax
    retq
; └
; ┌ @ int.jl:53 within `<invalid>'
    nopw    %cs:(%rax,%rax)
; └

이

julia> <strong i="10">@code_llvm</strong> 1 + 2

;  @ int.jl:53 within `+'
define i64 @"julia_+_13402"(i64, i64) {
top:
  %2 = add i64 %1, %0
  ret i64 %2
}

이

julia> <strong i="14">@code_typed</strong> 1 + 2
CodeInfo(
1 ─ %1 = Base.add_int(x, y)::Int64
└──      return %1
) => Int64

이

julia> <strong i="18">@code_lowered</strong> 1 + 2
CodeInfo(
1 ─ %1 = Base.add_int(x, y)
└──      return %1
)

하지만 이건 아니야

julia> <strong i="23">@code_source</strong> 1 + 2
ERROR: LoadError: UndefVarError: <strong i="24">@code_source</strong> not defined
in expression starting at REPL[23]:1

Julia를 사용하는 모든 사람이 읽고 쓰는 방법을 알고있는 것을 제외하고 가능한 모든 버전의 메서드를 검사 할 수 있습니다. 함수의 소스 표현을 기억하는 선택적 모드를 갖는 것이 언어에 환영받는 추가라는 것을 나타 내기 위해 이것을 "도움이 필요함"으로 표시 할 것입니다. 대화 형 모드에서는 기본적으로 켜질 수 있지만 비대화 형 모드에서는 기본적으로 끌 수 있습니다.

비슷한 기능이 이제 Revise.jl의 일부인 https://github.com/timholy/CodeTracking.jl 에 의해 구현됩니다. 나는 그것을 조금 가지고 놀았고 완벽하지는 않지만 더 자주 작동합니다. 설명서에는 Revise를 사용할 때 훨씬 더 좋습니다.

이것은 이 토론에서 제안

자동 미분 (예 : https://github.com/FluxML/Zygote.jl)과 함께 사용하면 미분을 줄리아 코드로 표시 할 수 있으므로이 기능이 우수 할 수 있습니다.