| type never = | | |
| type ('a, 'b) equal = Refl : ('x, 'x) equal | |
| type ('l, 'r) dec_equal = | |
| | D_refl : ('l, 'l) dec_equal | |
| | D_neq : (('l, 'r) equal -> never) -> ('l, 'r) dec_equal | |
| let ( let* ) v f = Option.bind v f | |
| module Nat = struct |
I've been writing Rust full-time with a small team for over a year now. Throughout, I've lamented the lack of clear best practices around defining error types. One day, I'd love to write up my journey and enumerate the various strategies I've both seen and tried. Today is not that day.
Today, I want to reply to a blog post that almost perfectly summarised my current practice.
Go read it; I'll wait!
Ler e entender um pouco desse artigo. https://wiki.c2.com/?FeynmanAlgorithm
| use std::{collections::HashSet, fmt::Display, rc::Rc}; | |
| /// The AST. This thing describes | |
| /// the syntatic tree of the program. | |
| #[derive(Debug)] | |
| pub enum Syntax { | |
| Lambda { | |
| param: String, | |
| body: Rc<Syntax>, | |
| }, |
Aviso: Muitas vezes detalhes de várias operações podem variar de banco para banco. Em questões onde fiquei em dúvida, este documento segue o funcionamento do PostgreSQL, pois é o banco que conheço melhor.
Antes de começar a escrever SQL, você precisa entender o modelo de como um banco de dados relacional funciona. Não precisa se aprofundar muito, mas você precisa entender como que dados e relacionamentos entre eles são representados. (Nota importante: Relacionamento e relação não são a
| { | |
| "colors": { | |
| "BORDER": [ | |
| "Border", | |
| "#D8DEE9", | |
| "#434C5E", | |
| "--border" | |
| ], | |
| "BURIED_FG": [ | |
| "Buried Foreground", |
Onde comprar crypto sem precisar abrir conta: https://swap.vanna.app
A melhor corretora atualmente é a Binance. Melhor liquidez, mais produtos, melhor app.
Meu link de referral com desconto de taxas: https://accounts.binance.com/en/register?ref=D22SSKRM
| #!/bin/sh -ux | |
| # This is a small script to setup the PulseAudio equalizer as a desktop | |
| # application that runs just when the 'qpaeq' GUI is open. | |
| # This is free and unencumbered software released into the public domain. | |
| # | |
| # Anyone is free to copy, modify, publish, use, compile, sell, or distribute | |
| # this software, either in source code form or as a compiled binary, for any | |
| # purpose, commercial or non-commercial, and by any means. |
