I'm taking down this post. I just posted this as a side comment to explain a sentence on my latest blog post. This wasn't meant to be #1 on HN to start a huge war on functional programming... The thoughts are not well formed enough to have a huge audience. Sorry for all the people reading this. And please, don't dig through the history...
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[0] => "#785 { \xe2\x80\x93}" | |
[1] => "#813 { \xe2\x80\x94}" | |
[2] => "#1346 { \xe2\x80\x9c}" | |
[3] => "#1768 { \xe2\x80\x9e}" | |
[4] => "#2683 {----------------}" | |
[5] => "#3178 {.\xe2\x80\x9d}" | |
[6] => "#3995 {,\xe2\x80\x9d}" | |
[7] => "#4189 {********}" | |
[8] => "#4291 {:\xe2\x80\x89}" | |
[9] => "#4936 {========}" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
JedWatson/classnames (2650855 dls, 1465 stars) | |
yannickcr/eslint-plugin-react (2077066 dls, 710 stars) | |
rackt/react-router (1833204 dls, 9050 stars) | |
facebook/react-dom (782024 dls, 33044 stars) | |
gaearon/react-hot-loader (708042 dls, 3250 stars) | |
rackt/redux (568969 dls, 10743 stars) | |
rackt/react-redux (495498 dls, 1509 stars) | |
jsdf/coffee-react-transform (463488 dls, 380 stars) | |
JedWatson/react-input-autosize (455277 dls, 107 stars) | |
reflux/reflux (393281 dls, 4316 stars) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
>> node difficulty.js qDkVXW6pEqrwH0WP86jilQW4uZ8 | |
{ rankAT: 629, rankGold: 4332, rankSilver: 7256, rankBronze: 8158 } | |
>> node difficulty.js qDkVXW6pEqrwH0WP86jilQW4uZ8 | |
$i$o$s$c30Vashj'ir { rankAT: 629, rankGold: 4332, rankSilver: 7256, rankBronze: 8158 } | |
>> node difficulty.js 5yg9Ga2Kh11Ow2b4E9f4_viMo_h | |
$o$s$n$fffT$0ffhe $fffB$0ffank $fffR$0ffobbery { rankAT: 423, rankGold: 5425, rankSilver: 7641, rankBronze: 8913 } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(517) >> yarn test | |
Using globally installed version of Yarn | |
yarn run v1.12.1 | |
$ jest src/* | |
(node:37909) UnhandledPromiseRejectionWarning: Error: Callback didn't resolve | |
(node:37909) UnhandledPromiseRejectionWarning: Unhandled promise rejection. This error originated either by throwing inside of an async function without a catch block, or by rejecting a promise which was not handled with .catch(). To terminate the node process on unhandled promise rejection, use the CLI flag `--unhandled-rejections=strict` (see https://nodejs.org/api/cli.html#cli_unhandled_rejections_mode). (rejection id: 1) | |
(node:37909) [DEP0018] DeprecationWarning: Unhandled promise rejections are deprecated. In the future, promise rejections that are not handled will terminate the Node.js process with a non-zero exit code. | |
(node:37909) UnhandledPromiseRejectionWarning: Error: Callback didn't resolve | |
(node:37909) UnhandledPromiseRejectionWarning: Unhandled promise rejection. This error originated either by throwing inside of an async function |
tldr of https://serokell.io/blog/2018/12/17/why-dependent-haskell
He basically wants a language with a type system that lets you ensure that reading an element at an arbitrary position is safe and cannot crash because the index is always within the range of the array. He goes through all the mainstream languages and finds out that none would work.
He gives an example of a language that has this property, Agda. It's actually not a traditional language but a proof assistant. The way lookup is defined is the following way:
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/modules/nuclide-commons-ui/styles/Table.less b/modules/nuclide-commons-ui/styles/Table.less | |
index 8e672829a..2c73ab617 100644 | |
--- a/modules/nuclide-commons-ui/styles/Table.less | |
+++ b/modules/nuclide-commons-ui/styles/Table.less | |
@@ -30,8 +30,7 @@ | |
width: 100%; | |
} | |
-.nuclide-ui-table-header-cell, | |
-.nuclide-ui-table-body-cell { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/modules/nuclide-commons-ui/styles/Checkbox.less b/modules/nuclide-commons-ui/styles/Checkbox.less | |
index 729a6d725..48ab20fc9 100644 | |
--- a/modules/nuclide-commons-ui/styles/Checkbox.less | |
+++ b/modules/nuclide-commons-ui/styles/Checkbox.less | |
@@ -1,7 +1,8 @@ | |
@import "ui-variables"; | |
.nuclide-ui-checkbox-label, .nuclide-ui-toggle-label { | |
- margin-bottom: 0; // This is to override a default in bootstrap. | |
+ margin-bottom: 0; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(592) >> find ../apollo-client/ -name '*.ts' | xargs bin/prettier.js --parser typescript --debug-check | |
../apollo-client//benchmark/index.ts | |
../apollo-client//benchmark/util.ts | |
../apollo-client//fetch-mock.typings.d.ts | |
prettier(input) !== prettier(prettier(input)) | |
Index: | |
=================================================================== | |
--- | |
+++ | |
@@ -27,5 +27,5 @@ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(521) >> find . -name '*.ts' | xargs ~/random/prettier/bin/prettier.js --parser typescript --debug-check | |
./benchmark/index.ts | |
./benchmark/util.ts | |
ast(input) !== ast(prettier(input)) | |
Index: | |
=================================================================== | |
--- | |
+++ | |
@@ -1599,27 +1599,26 @@ | |
"operator": "||", |
NewerOlder