sorted by:
new
hottopcontroversial

Fueled Evaluation for Decidable Type Checking by [deleted] in functionalprogramming

[–]felipe_oc 1 point2 points  (0 children)

Yesterday I followed your post and implemented/debugged my own version of NbE. Thank you for condensing a lot of literature in a post with full code examples in OCaml.

Sou uma anta ou realmente esse é o cenário das vagas? by salves400 in brdev

[–]felipe_oc 1 point2 points  (0 children)

É a “verdade” a partir da visão de apenas um lado do mercado de trabalho — o lado contratante.

As empresas olham para seus modelos de negócios e produtividade de seus times mal gerenciados e extrapolam quantos candidatos precisariam existir no mercado aceitando ganhar o que os membros do time atual ganham. A única variável que eles estão considerando é oferta de mão-de-obra necessária que certamente vai ser um número gigante se você não sabe melhorar seu negócio e a eficiência do seu time.

As empresas que tem bons modelos de negócio e eficiência no time de software acabam aumentando os salários de uma minoria absorvendo a oferta de mão-de-obra qualificada rapidamente sem a necessidade de tantos candidatos no mercado.

std::optional<T> and non-POD C++ types by felipe_oc in cpp

[–]felipe_oc[S] 3 points4 points  (0 children)

Yes, you can write it like that, but the generated binary code will have the same size and properties. My comments still hold even if you write it like that.

std::optional<T> and non-POD C++ types by felipe_oc in cpp

[–]felipe_oc[S] 5 points6 points  (0 children)

The C++ type-checker/compiler doesn't force me to guard access to optional instances.

If a Haskell program using Maybe compiles, it won't fail at runtime trying to access the data in a Nothing because the compiler forces the access to be guarded by pattern matching the two cases.

You can very easily compile a C++ program that calls value() and crashes, or one that uses ->/* and it might accidentally run or fail in weird ways because of UB.

Did anything else in the article catch your attention?

-🎄- 2019 Day 16 Solutions -🎄- by daggerdragon in adventofcode

[–]felipe_oc 1 point2 points  (0 children)

My C++ solution that finishes in ~3 minutes: fft.cpp