Skip to content

Latest commit

 

History

History
31 lines (24 loc) · 611 Bytes

NOTES.md

File metadata and controls

31 lines (24 loc) · 611 Bytes

NOTES

erlang

  1. Undefined F18A behaviour:

    • write
    • channel resets/fails
    • write does what ?????

    Options:

    • raise ''chip'' error ?
    • reset channel from write process only (on reset/stop) ?

go

  1. Rob Pike''s talk on Go/Ivy http://go-talks.appspot.com/github.com/robpike/ivy/talks/ivy.slide#17

coq

  1. http://research.microsoft.com/en-us/um/people/nick/coqasm.pdf

misc

  1. Some ideas (particular the debugging the why rather than the what): http://lighttable.com/2014/05/16/pain-we-forgot/
  2. Google''s new language tools framework: http://www.kythe.io