Allan Jorge hails

Achieving warp speed with Rust

In a recent discussion I had with a friend about Haskell and Scala, they brought up the fact that they sometimes miss Scala's partial functions. In Scala, these are a trait of their own somewhat different from what Haskellers usually understand by "partial function". In particular, you can check if a value is in the domain of the partial function before applying it to the function.

Interestingly enough, partial functions are also supported in Haskell - they just happen to be hidden away in some more obscure parts of the base library. What follows is my attempt to make a module that brings this functionality out and makes it more accessible. Since this is meant to be a literate Haskell source, let's start with some preamble.

{-# LANGUAGE TypeOperators, NoImplicitPrelude, GeneralizedNewtypeDeriving #-}

module Data.Function.Partial where

import Prelude hiding (id, (.), ($))

Server Price Breakdown: DigitalOcean, Amazon AWS LightSail, Vultr, Linode, OVH, Hetzner, Scaleway/Online.net:

Permalink: git.io/vps

$5/mo

Provider	Type	RAM	Cores	Storage	Transfer	Network	Price

Por: Paulo Torrens
Originalmente portado no facebook em 2014-03-08

#["LÓGICA DE PROGRAMAÇÃO" É BOBAGEM, e explicarei porquê.]

Se preparem que o texto é longo.

Várias vezes chegam novatos aqui perguntando como começar, e a galera diz "estuda lógica primeiro, depois vai pra linguagem X". Vivo dizendo que é bobagem. Ontem, em particular, falei isso, e vieram várias pessoas por inbox me perguntar porquê (e uma pra me xingar, achando que falei por arrogância).

Pra facilitar, eu vou escrever uma boa explicação de porquê "lógica de programação" é furada, doa a quem doer, e postar na APDA e no fórum da EnergyLabs (para futuras referências, porque esse assunto vai voltar, ctz).

This document has moved!

It's now here, in The Programmer's Compendium. The content is the same as before, but being part of the compendium means that it's actively maintained.

	-- List all existing indexes and include some useful info about them (incl. the index's definition)

	SELECT
	schemaname AS schemaname,
	t.relname AS tablename,
	ix.relname AS indexname,
	regexp_replace(pg_get_indexdef(i.indexrelid), '^[^\(]\((.)\)$', '\1') AS columns,
	regexp_replace(pg_get_indexdef(i.indexrelid), '.* USING ([^ ]) \(.', '\1') AS algorithm,
	indisunique AS UNIQUE,
	indisprimary AS PRIMARY,

	{ config, pkgs, lib, ... }:

	{
	# IOMMU configuration
	boot.kernelParams = [ "amd_iommu=on" "pcie_aspm=off" ];
	boot.kernelModules = [ "kvm-amd" "vfio_virqfd" "vfio_pci" "vfio_iommu_type1" "vfio" ];
	boot.extraModprobeConfig = ''
	options vfio-pci ids=10de:13c2,10de:0fbb
	options kvm ignore_msrs=1
	'';

	/*
	* If you're an end user (i.e. you don't know what to do with this file):
	* You'll probably want to download Kaldaien's mod, which includes these changes.
	*
	* http://steamcommunity.com/app/524220/discussions/0/135512104777399045
	*
	*/

	HRESULT __stdcall CreateBufferHook(void This, D3D11_BUFFER_DESC pDesc,
	D3D11_SUBRESOURCE_DATA *pInitialData,

	/*<?php
	///public class PhpJava { public static void main(String[] args) { System.out.printf("/%s",
	//\u000A\u002F\u002A
	class PhpJava {
	static function main() {
	echo(//\u000A\u002A\u002F
	"Hello World!");
	}}
	//\u000A\u002F\u002A
	PhpJava::main();

Allan Jorge hails

Achieving warp speed with Rust

Contents:

Server Price Breakdown: DigitalOcean, Amazon AWS LightSail, Vultr, Linode, OVH, Hetzner, Scaleway/Online.net:

$5/mo

This document has moved!