Monads should and can be tranformed into different other monads. This article guides you through this process.
#haskell
#haskell
- Stricter Generators
- More Accurate Array Spread
- Improved UX Around Promises
- Better Unicode Support for Identifiers
- import.meta Support in SystemJS
- get and set Accessors Are Allowed in Ambient Contexts
- Ambient Classes and Functions Can Merge
- APIs to Support --build and --incremental
#js
- More Accurate Array Spread
- Improved UX Around Promises
- Better Unicode Support for Identifiers
- import.meta Support in SystemJS
- get and set Accessors Are Allowed in Ambient Contexts
- Ambient Classes and Functions Can Merge
- APIs to Support --build and --incremental
#js
Nice talk about turning unit tests into property-based tests. That's something every developer should think about: properties of your code, not specific implementation.
#haskell
#haskell
YouTube
John Hughes - Building on developers' intuitions (...) | Lambda Days 19
This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019
Get involved in Lambda Days' next conference http://www.lambdadays.org
---
BUILDING ON DEVELOPERS' INTUITIONS TO CREATE EFFECTIVE PROPERTY-BASED TESTS
by John Hughes
…
Get involved in Lambda Days' next conference http://www.lambdadays.org
---
BUILDING ON DEVELOPERS' INTUITIONS TO CREATE EFFECTIVE PROPERTY-BASED TESTS
by John Hughes
…
nushell: everything inside your shell is data! Written in #rust: http://www.jonathanturner.org/2019/08/introducing-nushell.html
WTF is a personal information dashboard for your terminal, developed for those who spend most of their day in the command line: https://wtfutil.com/
#cli
#cli
Bloat is an endemic problem in software, but there are a few things that make it a particular challenge for #rust:
Cargo makes it so easy to just reach for a crate.
Generics, particularly monomorphization.
Poor support for dynamic libraries.
Cargo makes it so easy to just reach for a crate.
Generics, particularly monomorphization.
Poor support for dynamic libraries.
standard.js maintainer decided to include ads in the terminal output.
All internet is now going on him. But, his point was missed. He spent more than 3000 unpaid hours to create and maintain popular projects that thousands of people use everyday.
So, maybe that's not so wrong?
All internet is now going on him. But, his point was missed. He spent more than 3000 unpaid hours to create and maintain popular projects that thousands of people use everyday.
So, maybe that's not so wrong?
Legendary github issue from 2013. When one user suggested that it is better to use Category Theory for bulding #js
> Totally ignore reality in favor of typed-language fantasy land
We all know that in 2019
Promises. His request was declined due to "API simplicity", because monads:> Totally ignore reality in favor of typed-language fantasy land
We all know that in 2019
Promises in #js are monadic and API was changed. Simple is really hard.py-spy: sampling #python profiler written in #rust. Generates flame graphs and visualizes execution: https://github.com/benfred/py-spy
Demo: https://raw.githubusercontent.com/benfred/py-spy/master/images/console_viewer.gif
GitHub
GitHub - benfred/py-spy: Sampling profiler for Python programs
Sampling profiler for Python programs. Contribute to benfred/py-spy development by creating an account on GitHub.
Nominal types are coming to TypeScript!
Discussion: https://github.com/microsoft/TypeScript/issues/202
Pull Request: https://github.com/microsoft/TypeScript/pull/33038
Discussion: https://github.com/microsoft/TypeScript/issues/202
Pull Request: https://github.com/microsoft/TypeScript/pull/33038
Sampler is a tool for #shell commands execution, visualization and alerting. Configured with a simple YAML file: https://github.com/sqshq/sampler
Golden article about function color and
async/await syntax problems.mdr is a program and markup designed to facilitate documentation and testing.
Written in #haskell, suitable for all languages: https://github.com/fennecdjay/mdr
Written in #haskell, suitable for all languages: https://github.com/fennecdjay/mdr
First impressions on #github sponsors from
> It can become a job and for many Open Source contributors it does become their second job. The problem? Nobody really has the time to do this job and to make things worse barely any Open Source contributor is being paid to do it. As a result many contributors flip the table and quit. This is the reason why I am very happy to see GitHub Sponsors!
dry-rb creator.> It can become a job and for many Open Source contributors it does become their second job. The problem? Nobody really has the time to do this job and to make things worse barely any Open Source contributor is being paid to do it. As a result many contributors flip the table and quit. This is the reason why I am very happy to see GitHub Sponsors!
Pony is an object-oriented, actor-model, type-safe, memory-safe, exception safe, data-race free, deadlock free, capabilities-secure programming language. https://tutorial.ponylang.io/
#pony
#pony
A battle-tested PostgreSQL client with strict types, detailed logging and assertions: https://github.com/gajus/slonik
#js
#js
#tarantool is forked by the main contributor, the project future is now unclear: https://groups.google.com/forum/#!topic/tarantool/XjnDemkP3RY
#lua
#lua
Pulumi 1.0 is released!
Pulumi is a modern infrastructure as code tool that lets you declare infrastructure using real languages, with a SaaS management console for configuring identities, organizations, and related policies.
https://www.pulumi.com/blog/pulumi-1-0/
#ops #iac
Pulumi is a modern infrastructure as code tool that lets you declare infrastructure using real languages, with a SaaS management console for configuring identities, organizations, and related policies.
https://www.pulumi.com/blog/pulumi-1-0/
#ops #iac
YouTube
Introduction to Pulumi: Modern Infrastructure as Code
Learn about Pulumi by following this demo on creating and deploying infrastructure with TypeScript, specifically an AWS S3-based static site along with all of the related infrastructure.
Pulumi is free, open source, supports familiar languages, and many…
Pulumi is free, open source, supports familiar languages, and many…