padator

5 ms·

1.
by padator 4mo ago
Thx a lot for the nice words pona-a. Here is my presentation of principia at the IWP9 workshop if you are interested: https://www.youtube.com/watch?v=blVTDhr4QN8
2.
by padator 3y ago
What is the difference with ATD: https://atd.readthedocs.io/en/latest/atd-project.html which also was designed with algebraic data types in mind?
3.
by padator 5y ago
Not sure you really need GADTs for the instruction set. A separate arg8 and arg16 ADT types would be enough, so you would have | Add8 of arg8 * arg8
4.
by padator 5y ago
Why OCaml? It's a great language to write programs that works on complex data structures, e.g. ASTs. This choice was actually not very original: people in academia at stanford, berkeley, Microsoft research used OCaml for program analys
5.
by padator 5y ago
Shameless plug, but this was also showing the content of the file! https://github.com/facebook/pfff/wiki/CodeMap There are lots of examples of OSS projects visualized here: https://github.com/
6.
by padator 5y ago
I think it's more related to Prolog than functions. In prolog you can use a predicate in many ways. For example append(L1, L2, L3) declared that the concatenation of the list L1 and L2 result in L3, but you can use it in a "revers
7.
by padator 9y ago
OCaml uses green threads where you can cooperate (yield()) or be preempted every 50ms.
8.
by padator 10y ago
Suicide seems a bit extreme. Could she not just quit? Also everyday people commit suicide. Why do we blame CEOs for that?
9.
by padator 10y ago
There is one such tool for C: coccinelle http://coccinelle.lip6.fr/
10.
by padator 10y ago
So? Is it shorter? How much shorter? How does Go improve over C? Just curious.
11.
by padator 10y ago
I count more than 30 000 LOC at https://github.com/JeffBezanson/femtolisp
12.
by padator 10y ago
You can use mk, the successor to make, which does not have the TAB requirement (you can use TAB or spaces interchangeably). Regarding JSON, it is more verbose than Make. You need to use quote around strings, commands, everything. Compare: f
13.
by padator 10y ago
What about an Emacs-like editor fully written in OCaml: https://github.com/aryx/fork-efuns Easy to write an Emacs plugin then ...
14.
by padator 10y ago
Regarding the tangle barrier issue, there is a tool that helps: https://github.com/aryx/syncweb It allows to modify both the original WEB document and code and keep them in sync.
15.
by padator 10y ago
99% of the computer graphics you see on your screen everyday are made of simple lines, circles, curves, and text in 2D. 3D is useful mostly for games, movies, and CAD software. I don't understand this over focus on 3D. I think the late
16.
by padator 10y ago
There is one book doing that: http://the-knowledge.org/en-gb/the-book/ It's a great book.
17.
by padator 10y ago
An old solution to this problem was the Logic File System https://en.wikipedia.org/wiki/Logic_File_System (disclaimer: I am one of the author).
18.
by padator 11y ago
So I guess this medium post will eventually be part of his own list.
19.
by padator 11y ago
Look at the ulix-book-0.13.nw file. It is the literate document. It contains all the code for the kernel.
20.
by padator 11y ago
There are many ways to avoid the boilerplate you mention. The deriving ppx extension is one of them. I personaly used my own poor's-man-deriving called ocamltarzan which I used in pfff to factorize boilerplate by using auto-generated v
21.
by padator 11y ago
> Using a not very popular programming language can actually make it harder for you to hire people. Some evidence this is just not true: http://gazagnaire.org/pub/SSGM10.pdf
22.
by padator 11y ago
OCaml had a time-traveling debugger for 20 years now. Good job catching on. (to be fair it got full stack back trace only since 2000 so far later than Perl for that).
23.
by padator 11y ago
I use CodeMap[1] which is a kind of google maps but where the countries are the code, and CodeGraph[2] which helps to understand code dependencies at different granularities (package, module, files, functions). [1] https://github
24.
by padator 11y ago
Seems similar to what ocamldebug does in ocaml (which itself was copied from the SML debugger).
25.
by padator 11y ago
One thing to consider though is the grepability of a codebase. By relying more on nested modules, module aliases, opens, local opens, then many constructors have more than one way to be written and it makes it harder for grep to find what y
26.
by padator 11y ago
or to pfff: https://github.com/facebook/pfff
27.
by padator 12y ago
A similar effort by Facebook open sourced 4 years ago: (I'm one of the author) http://github.com/facebook/pfff/wiki/Main with indexers for PHP, C, Java, Ocaml, and preliminary support for many other lang
28.
by padator 12y ago
You should try Dependency Structure Matrix. In my experience they are more scalable than other forms of software visualization. See https://github.com/facebook/pfff/wiki/CodeGraph
29.
by padator 12y ago
Wow nice. Found http://comments.gmane.org/gmane.emacs.orgmode/32814 but I'm not sure the workflow is as convenient as syncweb. Syncweb has a unison interface to synchronize which allows to very quickly synchronize
30.
by padator 12y ago
Do you have a link explaining this org-mode feature?

More ›