Michael Bylstra mbylstra

## elm-typescript-types-comparison.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                mbylstra
                / elm-typescript-types-comparison.md
            
            
              Created
              April 9, 2019 04:46
                — forked from damncabbage/elm-typescript-types-comparison.md
            
          
    Elm and Typescript: comparison of type checking features

Each of these examples assume the usage of --strict mode in Typescript
Enums

Elm

Can be implemented using “Custom Types”
https://guide.elm-lang.org/types/custom_types.html

  
## elm-typescript-types-comparison.md

      
              1 file
            
          
              1 fork
            
          
              6 comments
            
          
              5 stars
            
          
                mbylstra
                / elm-typescript-types-comparison.md
            
            
              Last active
              November 11, 2021 19:38
            
          
    Elm and Typescript: comparison of type checking features

Each of these examples assume the usage of --strict mode in Typescript
Enums

Elm

Can be implemented using “Custom Types”
https://guide.elm-lang.org/types/custom_types.html

  
## gist:aae6eac98d162a5cc9c2
#!/usr/bin/python
# -*- coding: utf-8 -*-
#
#          MixinParent
#             |
#           Mixin    A
#             └--┐   |
#                  B


## gist:385fa8cbf22e58b3aa62
import os
import django
os.environ.setdefault("DJANGO_SETTINGS_MODULE", "myapp.settings")
django.setup()
################################################################################

## gist:c33077198227115ae590
\pset pager

## gist:813d1a9c25cf671bb1a4
env TZ=Australia/Melbourne ls -al

## django_manage_daemon.yml
---

- hosts: django
  user: root

  vars:
    - runit_app_dir: /etc/sv
    - runit_enabled_dir: /etc/service
    - dj_manage_daemons:
        - slug: "unique_name_slug_1"

## gist:9412f80ffcaad3d76474
find . -name "*.pyc" -exec rm '{}' ';'

## gist:415501b38544d1e6db02
awk '{ print $9, $7}' access.log | grep -C 10 '^500'

## gist:1409f46992c81b6f0e6e
find . -name '*.py' | xargs wc -l | sort -k1 -rg | less
	#!/usr/bin/python
	# -- coding: utf-8 --
	#
	# MixinParent
	# \|
	# Mixin A
	# └--┐ \|
	# B
	import os
	import django
	os.environ.setdefault("DJANGO_SETTINGS_MODULE", "myapp.settings")
	django.setup()
	################################################################################
	---

	- hosts: django
	user: root

	vars:
	- runit_app_dir: /etc/sv
	- runit_enabled_dir: /etc/service
	- dj_manage_daemons:
	- slug: "unique_name_slug_1"