Michael Bylstra mbylstra

## 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

  
## 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

  
## scratchpad.py
import os
import sys

project_dir = os.path.realpath(__file__)
sys.path.append(project_dir)
os.environ['DJANGO_SETTINGS_MODULE'] = 'main.settings'
import django
from django.conf import settings
django.setup()

## gist:7727307
killall -SIGKILL uwsgi

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


## gist:8050451
pv sqlfile.sql | mysql dbname

## print Exception stack trace
import traceback
try:
    #some code
except Exception, e:
    print ''.join(traceback.format_exception(*sys.exc_info()))

## mysql command line stuff
mysql> pager less;    # use less for paging
mysql> SELECT * FROM something \G      #one field per line (good for wide tables)

## create_utf8_mysql_db
CREATE DATABASE some_db DEFAULT CHARACTER SET utf8 DEFAULT COLLATE utf8_general_ci;

## disable_mysql_foreign_key_checks
SET foreign_key_checks = 0;
DELETE FROM users where id > 45;
SET foreign_key_checks = 1;
	import os
	import sys

	project_dir = os.path.realpath(__file__)
	sys.path.append(project_dir)
	os.environ['DJANGO_SETTINGS_MODULE'] = 'main.settings'
	import django
	from django.conf import settings
	django.setup()
	#!/usr/bin/python
	# -- coding: utf-8 --
	#
	# MixinParent
	# \|
	# Mixin A
	# └--┐ \|
	# B
	import traceback
	try:
	#some code
	except Exception, e:
	print ''.join(traceback.format_exception(*sys.exc_info()))
	mysql> pager less; # use less for paging
	mysql> SELECT * FROM something \G #one field per line (good for wide tables)
	SET foreign_key_checks = 0;
	DELETE FROM users where id > 45;
	SET foreign_key_checks = 1;