Skimmed Laucher & Snively’s talk on types again. I think a useful puzzle: come up with N tactics/techniques to improve a program’s correctness. (Or robustness, etc.) “Use static typing” is a freebie for one’s list.

@ghadi enlighten me on Graal + Python 🙂

it's been awhile since I've read up on it

their current approach is building LLVM IR interpreter as a language using the Truffle interpreter framework

they used to convert C into a Truffle interpreter

now it's LLVM IR

no java bytecode actually

ah I see

they take the Truffle "tree" and then apply partial evaluation to it, then feed it through Graal

so they can inline across Python <---> C

or Ruby <---> c ext

but the same problem in the end. Python extensions assume a certain object layout, calling convention and memory model

yup, just talking mechanics

they even assume reference counting. It

right, cool

they can catch bad accesses and through something like a SegFaultException in userspace

lol yeah

or compile numpy to IR

including the Fortran if there's a LLVM backend for fortran

oh, btw, this link came up in Cognitect chat:

their latest party trick is demoing an SSL connection using the OpenSSL library interpreted in userspace

they open a socket with OpenSSL!!!!

https://godbolt.org/#g:!((g:!((g:!((h:codeEditor,i:(j:1,source:'int+square(int+n)%0A%7B%0A++int+k+%3D+0%3B%0A++while+(true)%0A++%7B%0A++++if(k+%3D%3D+n*n)%0A++++%7B%0A++++++return+k%3B%0A++++%7D%0A++++k%2B%2B%3B%0A++%7D%0A%7D%0A%0Aint+square2(int+n)%0A%7B%0A++++return+n*n%3B%0A%7D'),l:'5',n:'0',o:'C%2B%2B+source+%231',t:'0')),k:49.85950122936425,l:'4',n:'0',o:'',s:0,t:'0'),(g:!((g:!((h:compiler,i:(compiler:g72,filters:(___0:(),b:'0',binary:'1',commentOnly:'0',demangle:'0',directives:'0',execute:'1',intel:'0',jquery:'3.2.1',length:1,prevObject:(___0:(sizzle1500998781462:(undefined:(legend:!(5,0,'1')))),length:1,prevObject:(___0:(jQuery321084065838076119451:(display:''),sizzle1500998781462:(undefined:(legend:!(5,0,'1')))),length:1)),trim:'0'),libs:!(),options:'-O2',source:1),l:'5',n:'0',o:'x86-64+gcc+7.2+(Editor+%231,+Compiler+%231)',t:'0')),k:37.763272410792,l:'4',m:50,n:'0',o:'',s:0,t:'0'),(g:!((h:compiler,i:(compiler:clang500,filters:(b:'0',binary:'1',commentOnly:'0',demangle:'0',directives:'0',execute:'1',intel:'0',trim:'0'),libs:!(),options:'-O2',source:1),l:'5',n:'0',o:'x86-64+clang+5.0.0+(Editor+%231,+Compiler+%232)',t:'0')),header:(),l:'4',m:50,n:'0',o:'',s:0,t:'0')),k:50.14049877063576,l:'3',n:'0',o:'',t:'0')),l:'2',n:'0',o:'',t:'0')),version:4

bleh, sorry abuot the wall of text

but the optimizations there are amazing