Jaki jest najlepszy sposób odczytu kodu z już zdefiniowanej funkcji (szczególnie z kontekstu Systemu)?

Question

Od czasu do czasu lubimy sprawdzać, jak zdefiniowane są niektóre funkcje System` (gdy są napisane w Mathematica). To pytanie dotyczy najlepszego sposobu na zrobienie tego.

Punkty do pamiętać:

• couse ReadProtected musi najpierw zostać usunięte.

• Winsins zazwyczaj muszą być użyte przynajmniej raz, zanim zostaną załadowane do jądra. Czy pojedyncze proste wywołanie zwykle wystarcza do tego, gdy mają rozszerzoną funkcjonalność (np. Poprzez opcje)?

• Information (??) nadaje definicję w trudnym do odczytania formacie (bez wcięcia, a wszystkie prywatne nazwy kontekstowe zostały dodane). Jaki jest najlepszy sposób na pozbycie się nazw kontekstowych i uzyskanie sformatowanego kodu?

  ^{Jednym z pomysłów na pozbycie się pewnych kontekstów jest Block[{$ContextPath = Append[$ContextPath, "SomeContext`Private`"], Information[symbol]]. Kod może być automatycznie formatowany za pomocą Workbencha. Niektóre problemy pozostają, np. Information nie cytuje ciągów znaków, uniemożliwiając skopiowanie kodu do Workbencha.}

Ogólnie, jestem zainteresowany tym, jak ludzie to zrobić, jakich metod używają, aby kod builtins jak łatwe do odczytania, jak to możliwe.

Przypadek użycia: Na przykład niedawno wykopałem kod RunThrough, gdy dowiedziałem się, że po prostu nie działa on w systemie Windows XP (okazuje się, że nie podaje nazw plików tymczasowych, gdy ścieżka do nich zawiera spacje).

---

Aktualizacja:It appears że kiedyś funkcja definicje drukowania bez kontekstu poprzedzany, Developer`ContextFreeForm, ale to nie działa dłużej w nowszych wersjach.

Answer 1

Odnośnie ładnego drukowania: Poniżej znajduje się kod, który bardzo schematyczny pokazać opiera się na odpowiedź od @ Mr.Wizard że kilka prostych zasad może przejść długą drogę w kierunku poprawy czytelności kodu:

Internal`InheritedBlock[{RunThrough}, 
    Unprotect[RunThrough]; 
    ClearAttributes[RunThrough, ReadProtected]; 
    Block[{$ContextPath = Append[$ContextPath, "System`Dump`"]}, 
     With[{boxes = ToBoxes@ DownValues[RunThrough]}, 
     CellPrint[Cell[BoxData[#], "Input"]] &[ 
      boxes /. 
      f_[left___, "\[RuleDelayed]", right___] :> 
       f[left, "\[RuleDelayed]", "\n", right] //. 
      { 
      RowBox[{left___, ";", next : Except["\n"], right___}] :> 
       RowBox[{left, ";", "\n", "\t", next, right}], 
      RowBox[{sc : ("Block" | "Module" | "With"), "[", 
       RowBox[{vars_, ",", body_}], "]"}] :> 
       RowBox[{sc, "[", RowBox[{vars, ",", "\n\t", body}], "]"}] 
      }]]]] 

to na pewno nie jako ogólne rozwiązanie (w szczególności nie będą dobrze pracować głęboko zagnieżdżony kod funkcjonalnego bez wiele oddzielne oświadczenia), ale jestem pewien, że można to poprawić i uogólnić bez większych problemów, aby objąć wiele spraw S zainteresowania.

Answer 2

Dobre pytanie, ponieważ nie sądzę, abym już to widział.

Zasadniczo robię to samo co opisane. Można uzyskać nieco inny wydruk z Definition, a więcej informacji o FullDefinition:

Unprotect[RunThrough]; 

ClearAttributes[RunThrough, ReadProtected] 

Block[{$ContextPath = Append[$ContextPath, "System`Dump`"]}, 
    Print @ FullDefinition @ RunThrough 
]