saityi

14 ms·

1.
by saityi 1mo ago
I was able to fix the System/in issue (I didn't actually need that, just *in*) and load it with jolt. This is quite neat! I see now it just follows all of the `:clj` conditionals and covers everything you'd need.
2.
by saityi 1mo ago
It's neat! How does this fit into the ecosystem compared to something like Babashka? I tried running a cross-platform (JVM, CLR, JS) Clojure project I'm working on, but it failed trying to load the JVM's `System/in`. Doe
3.
by saityi 6mo ago
Even if open source operating systems comply and add such a feature, what's to stop individual people from removing this and blocking the API requests before they install the OS? Or providing dummy responses? They're open source,
4.
by saityi 4y ago
I thought William Dunham's Journey through Genius: The Great Theorems of Mathematics did a great job of presenting the very real people and world behind several of results from history, from 400 BC (Hippocrates' Quadrature of th
5.
by saityi 5y ago
SuccessorML[1], 1ML[2], etc. are pretty close to this in spirit. I've been trying to keep up with the publications around the future of ML, but academic research moves kinda slowly. I'm hopeful we'll see a new definition of S
6.
by saityi 5y ago
Introduction to Graph Theory - Richard J. Trudeau A History of Pi - Petr Beckmann Journey through Genius: The Great Theorems of Mathematics - William Dunham How to Bake Pi - Eugenia Chang These are all sort of 'pop-math' b
7.
by saityi 5y ago
I think it goes back to the neverending quest to find ways of representing computation that allows of ease of composition, changing implementation details, eliminating classes of errors by construction, etc. Monads have had some success in
8.
by saityi 5y ago
I'd missed those -- thank you!
9.
by saityi 5y ago
So I would say this echoes my experience with it so far -- it is definitely a work in progress! However, I tend to approach Koka as if it were Standard ML with an effect system (up to a point), so the lack of a full imperative API hasn&#x27
10.
by saityi 5y ago
> Edit: Can someone tell me... Is it necessary to have a new type system or could this be done with dependent types? I played around with trying to implement an effect library (via the research) in dependently typed languages (Idris, Agd
11.
by saityi 5y ago
How does this compare to other effect-oriented languages like Koka, Frank, and Eff? I've been doing some work with Koka lately, but I briefly looked into the other three (including Effekt) and it mostly came down to, 'Koka seems m
12.
by saityi 6y ago
My backyard this year is an experiment in doing my best to encourage something that takes care of itself and is more supportive of local fauna. I laid down clover and what the local university's agriculture dept recommends for native-f
13.
by saityi 6y ago
>Most people keep this sort of thing quiet, and I think silence is part of the problem. For the sake of this, I post about it online on occasion when the topic comes up -- an SNRI, Effexor XR, was life-changing for me, too. I suffered fr
14.
by saityi 6y ago
>Are you not also absorbed by your phone in other ways? Honestly, no, and I feel very disconnected from modern culture as a result. I use my phone like a hitchhiker's guide to the galaxy: to have access to everything we know as huma
15.
by saityi 6y ago
In Standard ML, it would be a type error to do that specifically: - if true then "abc" else 2.01; stdIn:1.2-1.30 Error: types of if branches do not agree [tycon mismatch] then branch: string else branch: real
16.
by saityi 6y ago
Jan Corazza has some really great write-ups about writing bindings to SDL and writing a video game in Idris using them. The source is available on Github https://flowing.systems/2020/01/13/a-game-in-a-pure-lan
17.
by saityi 6y ago
There's even a page in the Idris 2 docs with updates to the book for Idris 2 -- https://idris2.readthedocs.io/en/latest/typedd/typedd.html The book is otherwise still totally relevant for Idris 2 and is
18.
by saityi 6y ago
My take: sum and product types exist in various type theories (enums with their elimination rule being pattern matching). Some of the first type theories to feature them were for the lambda calculus, which functional programming is based on
19.
by saityi 6y ago
In case anyone is curious about [1], there is a paper called Lightweight higher-kinded polymorphism -- http://ocamllabs.io/higher/lightweight-higher-kinded-polymor... -- that goes into some of the possible encodings.
20.
by saityi 6y ago
Unfortunately, on the Canadian JustWatch, I find the answer is frequently 'this is totally unavailable for you to legally view or purchase digitally in Canada', at which point I end up pirating it.
21.
by saityi 6y ago
Now complete -- thanks again for the suggestion! I never liked having to include that bit of JS.
22.
by saityi 6y ago
No reason at all; I think I will go look into doing that now. I think it should be a quick fix :) Thank you for the idea!
23.
by saityi 6y ago
I tried to apply the philosophy of keeping things as simple as possible while writing https://saityi.github.io/sml-tour Initially, I wanted no JS and for it to look good in a text-based browser like links, too, but I'v
24.
by saityi 7y ago
The first article that comes to mind for me is Programming Sucks, although it's not quite the same as your description. https://www.stilldrinking.org/programming-sucks
25.
by saityi 7y ago
It works best if you follow up the compiler assistance with a human-readability pass. Use the techniques in this post to guide you to a solution, which I find immeasurably helpful, then rewrite it by pulling it out piece by piece to make it
26.
by saityi 7y ago
Paul Snively (the author of the linked reddit post) also gave a great talk entitled 'Typed FP on the Job - Why Bother?' at LambdaConf a couple years back, that spoke strongly to me: https://www.youtube.com/watch?v=
27.
by saityi 7y ago
TIL. Pretty neat to check out: https://github.com/clojure/clojure/blob/89fc0caa43811c7dfcb4...
28.
by saityi 7y ago
The last time I gave Mill a shot, I couldn't find a way to authenticate into private artifactory repositories, which made it kind of a nonstarter. Do you know if this has since been added?
29.
by saityi 7y ago
Scala is interesting in this sense; I'd consider it to be an ML-like language. It attempts to unify object systems and module systems, and they are fairly first class in Scala. Modules (objects) can be used as normal values; you can en
30.
by saityi 7y ago
The only thing I find clunky about SML syntax are infix operators, since fixity specifications aren't exported. http://mlton.org/InfixingOperators Otherwise, I love SML syntax, and would be curious to see the answer to

More ›