javcasas

35 ms·

451.
by javcasas 6y ago
Without OO as main paradigm, and without being shoehorned into the JVM, Haskell has no chance to be mainstream. Stop trying to make it mainstream, it will only remove from Haskell what makes Haskell great.
452.
Common Advanced React/Redux Mistakes(javiercasas.com)
2 points by javcasas 6y ago|0 comments
453.
Common Intermediate React/Redux Mistakes(javiercasas.com)
2 points by javcasas 6y ago|0 comments
454.
Common Beginner React/Redux Mistakes(javiercasas.com)
2 points by javcasas 6y ago|0 comments
455.
Code Equivalences from the Little Prover(javiercasas.com)
2 points by javcasas 7y ago|0 comments
456.
Dependent Types in TypeScript(javiercasas.com)
2 points by javcasas 7y ago|0 comments
457.
by javcasas 7y ago
I work with Haskell, a language that some people call "pinnacle of type systems". Guess what would happen if I use `unsafeCoerce`? Exactly the same that would happen if I use `<any>` in Typescript. All the type guarantees go
458.
Type Families in TypeScript(javiercasas.com)
2 points by javcasas 7y ago|0 comments
459.
Types as an Afterthought(javiercasas.com)
3 points by javcasas 7y ago|0 comments
460.
by javcasas 7y ago
> Angular unit tests Talking as experienced front-end developer, currently working in an angular project, I must indicate that there are no Angular unit tests in existence. A unit test that requires a full browser to run is not a unit te
461.
The Rule of Seven: how to overload the brain of a programmer for no good reason(javiercasas.com)
61 points by javcasas 7y ago|9 comments
462.
Constructing a Generic Data Loader Component with Good Typechecking(javiercasas.com)
1 points by javcasas 7y ago|0 comments
463.
Typechecking state transitions in a React/Redux app(javiercasas.com)
10 points by javcasas 7y ago|5 comments
464.
Using TypeScript to make invalid states irrepresentable(javiercasas.com)
3 points by javcasas 7y ago|0 comments
465.
by javcasas 7y ago
Location: Quito, Ecuador (GMT-5) Remote: Yes Willing to relocate: For the right opportunity Technologies: Fullstack Web Typed Functional Programming (Haskell, PureScript, React/Redux, TypeScript, JavaScript), Python/Django Web Dev
466.
Improving Your React with TypeScript ADTs(javiercasas.com)
2 points by javcasas 7y ago|0 comments
467.
Sensible Path to Microservices(javiercasas.com)
2 points by javcasas 7y ago|0 comments
468.
Patterns of Functional Programming: Functional Core – Imperative Shell(javiercasas.com)
2 points by javcasas 7y ago|0 comments
469.
Codata in action, or how to connect FP and OOP(javiercasas.com)
1 points by javcasas 7y ago|0 comments
470.
Plutus Smart Contracts: Pay $10 in Ada(javiercasas.com)
2 points by javcasas 8y ago|0 comments
471.
Show HN: Plutus-yesod-starter-app: a tool for researching Plutus User Interfaces
1 points by javcasas 8y ago|0 comments
472.
Plutus Pub-Sub: A Way to Communicate Using Cardano and Plutus Smart Contracts(dssti.com)
2 points by javcasas 8y ago|1 comments
473.
by javcasas 8y ago
Location: Ecuador Remote: Yes Willing to relocate: No Technologies: Haskell, PureScript, TypeScript, React/Redux, Python/Django, PostgreSQL, Cardano/Smart Contracts, Docker, Ansible Résumé/CV: http://www.dssti
474.
by javcasas 8y ago
You are thinking of OCaml and Coq.
475.
by javcasas 8y ago
After being deeply burned by the .NET framework, I consider OCaml significantly superior to F# just because it doesn't depend on .NET or Microsoft. And yes, somehow the OCaml guys have managed to implement generics and AOT compilation
476.
by javcasas 8y ago
For us, hiring .NET core developers is very hard. The pool of programming talent is gigantic, but it's also full of ultra-low quality developers. It has taken us almost half a year to find a decent C# .NET developer, with an average of
477.
by javcasas 11y ago
Location: Ecuador Remote: Yes Willing to relocate: No Technologies: Python, OCaML, Embedded, HTML, CSS, Javascript, Elm, Django, DjangoCMS Résumé/CV: http://www.dssti.com/cv_en.pdf Email: javcasas@dssti.com Full-stack
478.
by javcasas 11y ago
Dear Mr Ed Bott For your information, HTTP(S) can be used to send data, not only to receive it. See this weird stuff called POST, which is actually part of the HTTP protocol, is used mainly to send data to the server. So we can't disca
479.
by javcasas 11y ago
Sure, I will not use Karnaugh maps when I design a processor. They are awesome for teaching logic gates, but useless for building big logic. It's like pretending to build a skyscrapper with just bricks and mortar. Given enough effort y
480.
by javcasas 11y ago
Well, if you are able to predict that random voltage generator (we have seen recently some failures in pseudo-random generators that allow attackers to predict next numbers) we can correlate again time with data. So now you have to ensure y

More ›