Skip to content

Instantly share code, notes, and snippets.

🤔
All is one

ShalokShalom ShalokShalom

🤔
All is one
Block or report user

Report or block ShalokShalom

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View gist:00776c49a7761016adb9b8625ce5c357
To install this plasmoid for your user run:
plasmapkg2 -i /usr/share/plasma/plasmoids/com.librehat.yahooweather
Fill in your city WOEID* in the configuration dialog under General Settings
View gist:1764247904fb8352f71b3097bd877fbf
1) What do I aim to achieve?
2) What are the basic types?
3) How to interact with them?
1) Documentation
2) Design
3) Dance
View gist:ae679216c770c5742651eb7b0a5bcd81
Declarative programming is interesting to
*) Scientists
*) Engineer
*) Newbies
View the problem with elm
user sees opportunity > gets rejected while got promised to be able to contribute > hates
View second-layer-type-system.md

Hi there 🤗

While watching this talk by Rich Hickey suddenly I reminded an idea of how to increase our type safety and traceability.

I call it the second step in type systems since it offers individual types on the surface while still preserving the performance of the built-in types that the type checker already inferences in compiled and already written code.

Motivation

View PKGBUILD.sh
pkgname=elm
pkgver=0.18.0
pkgrel=1
pkgdesc="Bundle of all core development tools for the Elm language."
arch=('x86_64')
url="http://elm-lang.org"
license=('BSD3')
depends=('nodejs' 'gmp' 'zlib')
makedepends=('stack-static' 'patchelf')
View test.hs
==> Erstelle Paket: elm 0.18.0-1 (So 26 Mai 2019 19:18:49 CEST)
==> Prüfe Laufzeit-Abhängigkeiten...
==> Prüfe Buildtime-Abhängigkeiten...
==> Empfange Quellen...
-> elm-compiler-0.18.0.zip gefunden
-> stack.yaml gefunden
==> Überprüfe source Dateien mit sha256sums...
elm-compiler-0.18.0.zip ... Durchgelaufen
stack.yaml ... Durchgelaufen
==> Entpacke Quellen...
View gist:285efcc7bcc9e716dff0861b88c2be28
Name: elm-compiler
Version: 0.18
Synopsis:
Values to help with elm-package, elm-make, and elm-lang.org.
Description:
Elm aims to make client-side web-development pleasant. It is a
statically/strongly typed, functional reactive language that compiles to
View gist:9f9b95da8ac4bafe68d83d36dc340338
The system is: Linux - 5.0.9-1 - x86_64
Compiling the C compiler identification source file "CMakeCCompilerId.c" succeeded.
Compiler: /usr/bin/cc
Build flags: -march=x86-64;-mtune=generic;-O2;-pipe;-fstack-protector;--param=ssp-buffer-size=4
Id flags:
The output was:
0
View gist:f6d4ed12451b1c4c11cf889f45709f64
_pkgname=AppImageLauncher
pkgname=appimagelauncher
pkgver=1.2.2
pkgrel=1
pkgdesc="A Helper application for running and integrating AppImages."
arch=('x86_64')
url="https://github.com/TheAssassin/AppImageLauncher"
license=('MIT')
depends=('binutils'
'boost'
You can’t perform that action at this time.